OpenAI Astra 模型攻克 10 大数学难题
An internal OpenAI Astra model solved 10 major open math and CS problems
OpenAI 内部测试版 Astra 模型刚刚取得了一项突破性进展，成功解决了数学、量子复杂性及理论计算机科学领域的 10 个重大未解问题。这一成就标志着 AI 在科学推理能力上的巨大飞跃，不仅验证了模型处理高难度逻辑证明的潜力，也预示着未来科研范式的转变。从新的电路下界计算到长期悬而未决的猜想，Astra 展现了超越现有工具的推理深度，为科学家提供了强有力的新工具。
我们相信，这将是科学推理领域的一大步。
HN 评论区
47- HarHarVeryFunny
我觉得这种“成果大甩卖”简直是在贬低数学。能不能对那些奠定这些成果基础的前辈，以及那些可能在这些问题上耗费了数年的当代数学家，保持一点基本的尊重？
与其把这些成果捂在手里，攒够十个才搞个“震撼弹”式的发布，不如在每项成果完成并验证后就单独发布，同时也公开那些失败的尝试（这对评估 LLM 的当前能力同样宝贵），并尝试分析一下这些突破性成果究竟是如何产生的。每个问题的提示词（prompt）是什么？OpenAI 雇用的数学家提供了多少指导？最重要的是，模型是如何得出这些结果的……是什么样的推理路径让它探索到了人类此前未曾涉足的思路？
- sajithdilshan
我期待 AI 能帮助解决生物学领域问题的日子到来。特别是在新药研发、酶的设计以及对遗传疾病的理解方面。这绝对是一个令人兴奋的时代。
- sunandsurf
还有其他人和我一样，难以分辨这类新闻（以及那些