GPT-6 Astra在FrontierMath-Erdos测试中仅解决68道埃尔德什开放问题中的2道，成功率3%，成本超22万美元。对比其FrontierMath Tier 4的98分，凸显AI在“解已知题”与“发现新问题”间的巨大差距。测试采用Lean形式化验证，确保结果可靠，但63道题仍无解，显示AI数学发现能力有限且成本高昂。