OpenAI, 1946년 수학 추측 공략…수학자들은 '시대의 종말' 우려
OpenAI는 단위거리 추측(unit distance conjecture)을 반증했고, 새로운 Astra 모델은 FrontierMath 문제 10개를 해결했습니다. AI가 박사 수준의 능력에 도달해 인간 수학자의 전통적 역할을 위협하는 변화를 예고하는 것입니다.
openai recently disproved the unit distance conjecture from 1946 using ai, and shortly after, human researchers adapted the technique to solve another conjecture. epoch ai announced a second solution to its frontiermath benchmark, while openai's astra model demonstrated the ability to solve ten complex unsolved problems. experts like abhishek saha note that frontier models perform as well as phd students on routine tasks, turning mathematicians into 'conductors.' while some view this as a golden age of productivity, tim gowers predicts the rise of ai theorem provers will completely revolutionize and potentially displace pure mathematical research.