12:59
官方账号Greg Brockman@gdb
官方账号Greg Brockman@gdb精选
推荐理由：有个哥们用AI加上语音指令，把40年没解开的数学难题给破了，还和出题人联名发了证明，真的牛。
AI辅助数学研究
共 1 条相关 AI 资讯
7月28日
12:59
David Turturean 主要依靠语音指令，借助AI解决了EpochAI Research的FrontierMath开放问题之一，即找出2-adic绝对伽罗瓦群的显式表示。该问题已公开超过40年，现在他与问题提出者David Roe合作完成了完整证明。