[일반] 수학에서 ai를 쓰기위해 넘어야 할 벽

[익명(h1r5enpsrrsq)]

https://v.daum.net/v/20240630120012658

당신이 '='의 의미를 모두 안다고 생각한다면 '착각'

 버자드 교수는 =를 컴퓨터에 이해시키기 어렵다고 설명했다. 수학 증명의 문맥을 이해한 뒤 여기서 쓰인  =의 의미를 밝혀내고 컴퓨터에 입력해야 하기 때문이다.

AI 도구를 이용해 새로운 추측을 제시하고 린의 도움을 받아 정확히 증명하는 미래를 꿈꾸고 있다. 이를 위해서는 컴퓨터가 현재 수학의 내용을 완벽히 이해해야 한다.

- dc official App

[익명(49.169)]

asign, pattern matching

[익명(dread2836)]

assign, cumgong babo

[익명(dread2836)]

왜냐면 수학은 절대적 진리가 아니라 자연규칙에서 인간의 임의적 확증편향으로 뽑아올린 공리를 갖고 노는 것 뿐이거든