OpenAI 放出 722 篇数学手稿，162 篇机器验过

秋天 OpenAI 先放话、数学界追着要细节，才有了这批手稿；顾问组收了 600 多份反馈，写下五条发布要求。手稿都还没经过人工复核。 1 2 3 4 5 #AI 数学 #Lean #形式化验证 #OpenAI #数学证明

This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.

Comments

1/6

2026-10-08

秋天 OpenAI 先放话、数学界追着要细节，才有了这批手稿；顾问组收了 600 多份反馈，写下五条发布要求。手稿都还没经过人工复核。 1 2 3 4 5 #AI 数学 #Lean #形式化验证 #OpenAI #数学证明

This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.