搜索关键词 数学难题
AI & Enterprise
Anthropic未公开模型助推黎曼猜想研究：已验证成立范围下界大幅提高
Anthropic一款尚未公开的AI模型在黎曼猜想研究中取得新进展，大幅提高了该猜想已验证成立范围的下界。尽管这一成果尚不足以构成对黎曼猜想的一般性证明，但显示出大模型已具备接近真实科研的推进能力。研究过程中，模型在约一天半内自主调度任务，测试650种思路，调用60个子代理，并累计消耗3100万token。
AI & Enterprise
OpenAI因网络安全风险暂停Astra部分开发：或具“严重”级网络攻击能力
OpenAI表示，因无法排除Astra具备“严重（critical）”级网络攻击能力的可能性，已暂停这款未发布模型的部分内部开发工作。公司称将继续评估Astra，对未达到更高安全要求的开发环节维持暂停，并引入更严格的测试环境和全程监控措施。
AI & Enterprise
OpenAI在华盛顿展示新模型“Astra”，主打多智能体长时协同
据报道，OpenAI首席执行官Sam Altman本周在美国华盛顿特区向政策制定者及监管人士展示了新模型“Astra”。知情人士称，OpenAI在演示中强调，该模型具备多智能体长时协同能力，可用于推进复杂项目、求解高难度数学题等棘手任务。目前其发布时间和最终命名尚未确定，但已进入测试阶段。OpenAI还计划近期发布一份报告，披露最新AI求解10道此前未解数学难题的过程。
