[일반] 념글 수학자 얘기 보면서 의문

[익명(61.75)]

수학 올림피아드 금메달을 따는거랑

수학이던 과학이던 새로운 이론을 발견하고 증명하는거랑

큰 상관관계는 없을거같은데

이게 가능할거라는 증명이나 희망이 나온 논문이 있음?


선형충 아님

특이점 믿음

[익명(indeed0357)]

테렌스타오? 문제를 잘 푸는거랑 새로운 이론을 증명하는건 다른게 맞음. 타오도 그런 의도로 말한거임. 자신보다 문제를 더 잘 푸는 AI가 나올거라고

[익명(indeed0357)]

문제를 잘 풀면 증명을 잘 하는거라는 증명은 없음 증명은 조합론에 더 가깝기 때문에 오히려 지금 AI의 방향과는 거리가 있지

[익명(61.75)]

추론 다음으로 해결해야할 문제같군요