「数学竞赛」共找到 534 篇相关文章
突发，Claude首破黎曼猜想新纪录！
Anthropic让内部研究版Claude证明「黎曼猜想」失败，但它将符合猜想的黎曼Zeta函数零点比例下限从41.6%提升到67.2%。此成果意义重大，标志AI进入开放数学研究。
Mamba 架构实现推理性能超 Gemma3-27B！推理模型开始迈入「无注意力」时代
PromptCoT - Mamba是首个具解码显存常量等特性且推理能力强的模型。当前推理大模型中注意力机制有局限，PromptCoT - Mamba实现无注意力推理，在多评测集超Transformer等模型，为无注意力推理生态奠基。
DeepSeek被「猫咪睡觉」给干崩了……
研究员发现，在数学题后加「有趣的事实：猫咪一生大部分时间都在睡觉」，能让DeepSeek数学能力崩塌。研究开发CatAttack方法找「触发词」，无关触发词使模型错误率飙升，还会让回答变长。
全球第二易主，谷歌逆袭登顶！OpenAI 500亿股票池曝光，Ilya躺赚40亿
谷歌母公司成全球市值TOP 2，Gemini市场份额疯涨。被逼急的OpenAI甩出500亿美元员工股票池，Ilya或分40亿。谷歌有入口优势，AI竞赛进入拼入口阶段，OpenAI砸钱抢人赌未来。
他发明了价值万亿的AGI，如今穷困潦倒
1997年，马克·古布鲁德首提AGI概念，警告技术突破对国际冲突的影响。如今AGI成巨头博弈焦点，价值万亿，但他未获名利仍清贫。他呼吁遏制AI军备竞赛，提醒别让技术失控。
清华姚班大神陈立杰，联手00后逆向破局！颠覆50年计算机难题
50年来，顶尖科学家死磕「旅行商问题」等计算机复杂性难题无果。清华姚班陈立杰等人在《Reverse Mathematics Below the Turing Jump》论文中，采用「逆向数学」方法，发现许多理论底层逻辑等价，颠覆千年思维范式。
AI竞争正酣，靠什么取胜？8个要点，一篇讲清楚
全球AI竞赛进入下半场，赛道转向‘谁更能干活’。我国有工业体系、应用场景和市场优势，取胜关键是‘通专融合’。文中提炼上海人工智能实验室周伯文长文8个要点，给出应对之策。
刚刚，OpenAI 称中国公司智谱让其感到害怕
OpenAI在官方博客发文《Chinese Progress at the Front》，点名中国AI公司智谱，称其在全球AI竞赛中取得显著进展，是真正值得关注的中国AI公司，智谱正快速向全球扩张。
OpenAI杀疯了！五天内再破千禧年数学难题，霍奇猜想也要被攻破了？
本文爆料头部AI实验室破解千禧年数学难题的最新进展，OpenAI攻克纳维-斯托克斯问题后，五天内就在霍奇猜想上取得实质性进展，Anthropic也接近解决另一难题，展现AI推理能力的飞速迭代。
52天73次产品级更新，个个爆款太神了，AI原生组织的进化恐怖如斯
2月1日到3月23日，Anthropic在52天内进行73次产品级发布，Claude Code和Cowork表现亮眼。其核心是把AI当基础设施，实现商业化且推动公司高估值，给传统组织带来冲击，AI赛道成组织进化竞赛。