精选理由
有个哥们用AI加上语音指令，把40年没解开的数学难题给破了，还和出题人联名发了证明，真的牛。
David Turturean 主要依靠语音指令，借助AI解决了EpochAI Research的FrontierMath开放问题之一，即找出2-adic绝对伽罗瓦群的显式表示。该问题已公开超过40年，现在他与问题提出者David Roe合作完成了完整证明。
原文 · Greg Brockman
congrats on the amazing result!
congrats on the amazing result! David Turturean @DavidTurturean Using mostly my voice, I solved one of @EpochAIResearch 's FrontierMath Open Problems: finding an explicit presentation of the 2-adic Absolute Galois Group - open for more than forty years, now with a full proof in collaboration with David Roe, the problem's proposer. 🧵 1/n 🔗 View Quoted Tweet 💬 10 🔄 5 ❤️ 84 👀 14125 📊 12 ⚡