如何看待 OpenAI 下一代模型 Astra 大量解决数学猜想？

摘要

OpenAI 以Astra为代号的新模型声称在多个数学猜想上取得验证进展，但目前只有口头报告，没有论文或详细结果。若实现，将把大模型从计算工具推向自动推理和形式化证明领域。适合AI研究和机器学习工程师关注其后续可复现性。