OpenAI刚刚爆出了他们的下一代模型：“Astra”！ 
Astra，译为星辰，比Sol更强的模型！ 
它一口气推进了10道至少十年未有关键进展的数学与理论计算机难题，横跨群论、量子复杂性、格密码等领域。 
推理成本据称仅约2000美元，每份证明还附有Lean形式化证书。 
如果这些结果通过数学界检验，将是跨时代的意义。 
AI正在进入科研最核心的环节：寻找新证明、攻克开放问题，再生成可机器检查的形式化证书。 
数学家不会消失，但数学研究的方式，可能要被彻底改写了！ 

 [1000031160.jpg] 
[1000031161.jpg]