继 Claude 被指取得突破后，OpenAI 宣称用1万个AI智能体解决千禧年难题
IT之家报道称，OpenAI 使用一款未公开模型和约1万个协作式AI智能体，在88小时内生成了纳维-斯托克斯存在性与光滑性问题的所谓证明。据称，GPT-6 Astra 进一步用 Lean 完成形式化验证。该说法尚未得到独立确认，并引发了对科学验证、数据使用和功劳归属的质疑。数学家陶哲轩还警告，如果AI无需人类深度参与就能解决重大难题，可能会对人类理解数学产生影响。此次计算成本据估计为1,500万至2,250万美元。
本文来源：IT之家，仅供学习参考，版权归原作者所有。