Jason Zhu(@GoSailGlobal):OpenAI 即将发布的 Astra 模型据传解决了 10 个长期未解的数学和计算机科学难题，并提供了 Lean 形式化证明这是 GPT-4.5 之后最大规模的预训练，内部代号 mewfour，预计下周上线如果数学证明经过同行验证属实，这将是 AI 首次在纯数学研究领域产出原创贡献从解题到出题，AI 在数学领域的角色正在发生根本性转变你相信 AI 能独立发现新的数学定理吗？

2026.08.07 02:48

OpenAI 即将发布的 Astra 模型据传解决了 10 个长期未解的数学和计算机科学难题，并提供了 Lean 形式化证明这是 GPT-4.5 之后最大规模的预训练，内部代号 mewfour，预计下周上线如果数学证明经过同行验证属实，这将是 AI 首次在纯数学研究领域产出原创贡献从解题到出题，AI 在数学领域的角色正在发生根本性转变你相信 AI 能独立发现新的数学定理吗？

leo 🐾@synthwavedd

2026.08.06 14:00

🚨 EXCLUSIVE: OpenAI are preparing to launch Astra imminently, targeting next week. Their next major model, Astra is a new pretrain - the largest model OpenAI have trained since GPT-4.5. Their most recent dogfood checkpoint of the model, internally known as "mewfour", is the Release Candidate.