OpenAI预热下一代模型Astra，成功解决10个十年级数学难题

摘要与判断

OpenAI 预热其下一代旗舰模型 Astra，并公布该模型成功解决了 10 个停滞十余年的数学难题（如非-sofic群存在），所有证明均附带 Lean 形式化验证与思维链过程。据透露，解决这些难题的算力成本仅约 2000 美元，且 CEO 萨姆·奥特曼正就模型发布事宜与美国政府进行沟通。这一经形式化验证的 SOTA 级突破标志着 AI 在复杂逻辑推理与前沿科学探索领域的能力边界被大幅拓宽，预示着新一代基础模型即将带来范式级的行业冲击。

Topics

引用和原文

• OpenAI 感觉翻身了啊，已经在预热他们的下一代模型Astra。 他们用这个模型解决了 10 个至少存在了十年的数学问题。 这些问题如果是数学家解决的话，感觉这数学家已经相当牛逼
• 原文链接

Trace

Raw Item

raw_65f2addeb1f143dc

Processed Item

processed_21a3027f73a748cf

Source

source_x_op7418

Cluster

查看所属簇

LLM Logs

llm_dbd29588b9434aac, llm_a8176545eda9461c, llm_50a4ddd1d9a34467

Coze Loop

a5ba7aa46f399ac09a9f0707039f98eb