搜索
黎曼猜想，差点被攻克了！今天，Anthropic重磅发文，让内部研究版Claude去证明「黎曼猜想」，结果失败了。但Claude却在这一世纪难题，取得了重大突破——它成功将符合猜想的黎曼Zeta函数零点比例下限，从41.6%一口气拔高到了67.2%。
GPT-5.6和Fable 5联手，解决了一道悬置25年的数学难题。微软研究院首席研究员Dimitris Papailiopoulos，证明了一个多项式时间算法，能让MIMO检测精确命中最大似然阈值。
OpenAI宣称下一代AI模型解决了10个世界级难题，其中包括推翻了Connes刚性猜想。
10项数学难题，24小时反转。
今天，OpenAI重磅放出一份长达62页的「核心手稿」，详细展示了GPT的完整推演。传送门：https://cdn.openai.com/pdf/reasoning-walkthroughs.pdf。它的「摘要」只有一小段，但信息量却大得惊人——这份笔记由AI模型独立撰写，OpenAI团队完全没有插手。
在上个月落下帷幕的第 67 届国际数学奥林匹克（IMO 2026）上，包括中国代表队三位选手（邓乐言、刘澈、张柏伦）在内，全球共有 7 名人类选手拿到了 42 分满分金牌。
这个周末，很多数学家都被 OpenAI 的新模型整破防了。
机器之心编辑部 一道困扰学界几十年的开放问题，需要多少成本才能取得关键突破？ OpenAI 给出的答案是，十道题加起来，约 2000 美元。 昨天下午，OpenAI 公布了一份颇为惊人的成绩单。其下一
作为一个普通人，如果你把一道数学难题给到 AI，并一直让它「继续」，它有没有可能真的把这道题解出来，从而帮你赢得一大笔奖金，甚至改写数学发展进程？
7 月 23 日，量子信息领域一道悬了 25 年的难题，还是在同一天出现了两份独立证明！