极道
·
OpenAI两千美金破解10道10年数学难题，数学家饭碗还稳吗？
原文中文，约4400字，阅读约需11分钟。
📝
内容提要
一个2000美金成本的模型，十道十年未解的数学难题全给端了，你服不服？ OpenAI内部模型Astra花了两千美金就解决了十个数学和理论计算机科学领域的开放难题，涵盖高维几何、编码理论、算术电路复杂度、群论、算子代数、量子复杂度、格密码和极值组合数学。这些成果已用Lean证明助手形式化验证，论文和推理过程已公开，引起学界关于AI数学研究透明度和署名规范的激烈讨论。 一台电脑干翻十个数学分支...
🏷️
