搜索关键词 Erdos问题
AI & Enterprise
Anthropic未公开模型助推黎曼猜想研究：已验证成立范围下界大幅提高
Anthropic一款尚未公开的AI模型在黎曼猜想研究中取得新进展，大幅提高了该猜想已验证成立范围的下界。尽管这一成果尚不足以构成对黎曼猜想的一般性证明，但显示出大模型已具备接近真实科研的推进能力。研究过程中，模型在约一天半内自主调度任务，测试650种思路，调用60个子代理，并累计消耗3100万token。
AI & Enterprise
OpenAI内部模型Astra解出10个多年未决难题并公开可机器验证的形式化证明
OpenAI表示，旗下尚未公开的内部模型Astra已在数学、量子复杂性和理论计算机科学领域，针对10个悬而未决至少10年的问题给出新结果，并同步公开可机器验证的形式化证明。公司已在GitHub以Apache 2.0许可证开源249页论文草稿、模型推理过程及基于Lean 4的证明证书。不过，这些结果仍需学界进一步核验其是否准确对应原本的未决问题，以及其学术价值和影响。
AI & Enterprise
Google DeepMind披露AlphaEvolve最新进展：DNA变异误检和漏检率降低30%
Google DeepMind披露，发布一年来的生成式AI工具AlphaEvolve已在基因数据分析、电网调度、自然灾害预测、量子电路设计及Google内部基础设施等场景取得进展。该系统通过“生成候选方案—自动评估—迭代优化”的方式持续改进算法，其中在DNA分析模型DeepConsensus中，疾病相关变异的误检和漏检率降低30%。