研究人员透露下一代模型Astra在数学与理论计算机科学领域生成10个开放问题证明

摘要与判断

研究人员透露，下一代主要模型Astra（与GPT-5.6相关）在数学和理论计算机科学的长期开放问题上生成了10个证明，其中包括计算永久函数的新电路下界。该项目由团队与模型合作，仅用一周时间即告完成。这一进展展示了下一代AI模型在加速基础科学研究和攻克经典学术难题方面的突破性潜力，对前沿AI能力边界的拓展具有重要指示意义。

Topics

引用和原文

• It is remarkable—and takes a moment to process—how quickly the next generation of models w
• 原文链接

Trace

Raw Item

raw_e94e81ef49d04a71

Processed Item

processed_c9a5c8270e1e4cf2

Source

source_x_polynoamial

Cluster

查看所属簇

LLM Logs

llm_0b64748b6ac54b1f, llm_c3182a09b8a648f8, llm_48f69bab9a7a40cc

Coze Loop

97db27bb1a7bbefb07e8be13e435d2fc