阿诚｜AI实战
@byCanen
前360增长运营｜亲手投放2000万+广告费｜做过8万粉小红书账号
AI超级个体实践中｜分享AI工具、工作流、产品与商业机会
记录网站开发、GEO、内容增长和真实踩坑经验
公众号：阿诚AI实战
가입 November 2024
1.9K 팔로잉 중 2.7K 팬
我去，OpenAI 这次把 AI 做数学研究的账单直接摊开了：
约 2000 美元，10 项新结果，每一项论证都配了 Lean 形式化证书。
用的还是没发布的下一代模型 Astra。
这 10 项结果横跨球面堆积、编码理论、群论、量子复杂性、格密码学等领域。
准确说，不是 10 道世界难题全部被破解。官方原话是：有的解决了长期开放问题，有的取得了重大进展。
他们还把论文手稿和模型的推理讲解一起放了出来。
以后再看到“AI 解决科学难题”，我觉得先看三样就够了：花了多少钱、到底产出了什么、证明材料能不能公开检查。
더 보기
An internal version of our next major model produced 10 new results on long-standing open problems in mathematics and theoretical computer science, using roughly $2,000 worth of tokens at GPT-5.6 Sol API rates.
더 보기
