Sharing AI progress in mathematics
- OpenAI 近 90 天出现 198 次
- 上一次：同一天稍早 · Advancing computer use with Ironclad
发生了什么
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
摘要按规则整理自下方来源原文
为什么在扩散
时间线
- OpenAI 最先出现OpenAI
- Hacker News 出现讨论Hacker News
来源
一手来源
社区讨论
- Sharing AI Progress in MathematicsHacker News