gpt-6.1 sol攻克FrontierMath Tier4，Astra解出5个Erdős问题

RT @haider1：gpt-6.1 sol 已经使 FrontierMath Tier 4 基准测试饱和，而该基准去年还被认为是即便对研究级数学也异常困难。

这仅仅过去了 10 个月。

此外，Astra 解决了 5 个 erdős 问题，其中 2 个还在预算内。