Claude AI 破解80年数学难题 继OpenAI后再获突破
继OpenAI宣布其GPT-5.5模型成功破解一道困扰数学界长达80年的难题后，人工智能领域的竞争再度升温。就在昨日（5月26日），Anthropic公司的工程师Sholto Douglas在X平台发布消息，确认其最新的Claude Mythos模型同样成功解答了同一道数学难题。
这道难题正是由著名数学家保罗·埃尔德什（Paul Erdős）于1946年提出的“平面单位距离猜想”。值得注意的是，就在几天前的5月21日，OpenAI团队刚刚宣布借助其GPT-5.5模型在这一问题上取得了关键性突破。
Douglas在推文中评价称，Claude Mythos所提供的证明“构思巧妙且表述简洁”。他进一步指出，这一成果清晰地表明，人工智能在数学研究与定理证明领域仍然具备巨大的、有待深入挖掘的潜力。
此次测试所采用的方法本身也极具参考价值。Douglas构建了一个多实例协同工作系统：多个具备Mythos访问权限的Claude Code实例首先独立接收问题，并分别探索不同的证明路径。随后，其中一个实例负责汇总这些初步思路，再将整合后的信息分发给其他实例，让它们基于此继续独立深化工作。这种“分治-汇总-迭代”的协作模式，很可能为未来AI协同攻克复杂科学问题提供了一种全新的范式。
当然，不同模型的成果之间也存在比较。数学家Daniel Litt在审阅了Mythos的证明后表示，其成果在某种程度上“略逊于”OpenAI发布的版本。这背后可能涉及证明的完备性、优雅度或逻辑严谨性等专业层面的考量。但无论如何，两大顶尖AI模型在如此短的时间内相继攻克同一历史性难题，这一事件本身已在学术界与科技界引起了广泛关注与热烈讨论。
相关攻略
施工合同是建筑项目顺利进行的法律保障，明确工程概况、双方权责、付款方式及验收标准等核心条款至关重要。借助AI工具可高效生成结构严谨的合同文本，提升规范性并降低法律风险，为各方提供低成本的专业化解决方案。
租赁合同能明确双方权利义务，避免租房纠纷。撰写合同涉及租金、押金等多方面细节，较为复杂。利用AI写作工具可快速生成专业、完整的租赁合同模板，节省时间并减少错误，保障双方权益。
Superpowers是ClaudeCode的插件框架，通过预定义技能规范AI开发流程。其14个核心技能覆盖规划、执行、质检等阶段，强制AI在动手前确认需求、拆解计划，执行中严格遵循步骤并设置检查点。虽然单次任务耗时增加，但通过系统化方法大幅减少了返工，整体效率显著提升。
DeepSeek发布V4-Pro与V4-Flash模型，在架构、训练和注意力机制上全面革新，实现了开源模型性能的显著提升。其在Agent能力、知识储备和推理任务上表现优异，接近顶尖闭源模型。同时，模型大幅优化了长上下文处理效率。阿里云AI网关已全面支持其API，提供企业级调用、多模型容灾等功能，降低了开发者的集成门槛。
ClaudeCode中的Skills通过文件夹整合脚本与配置，帮助Agent完成任务。实践中分为库参考、产品验证、数据获取等九类。制作时应聚焦核心信息、积累常见问题、善用文件系统、优化描述与存储，并提供脚本支持，以提升效率与实用性。
热门专题
热门推荐
止损是保障交易账户生存的刚性底线，必须在开仓前设定并严格执行；止盈则是实现收益的手段，可采用阶梯式或动态策略管理。人性对损失的厌恶使止损执行更为困难，需借助系统工具和复盘纪律来克服。确保生存优先，再追求盈利，是交易中的核心原则。
小米米家除螨仪2Pro近期价格创新低，叠加优惠后入手价约198元。产品采用双尘杯设计，吸力达16kPa，支持高频拍打与智能尘螨感应，宣称除螨除菌率较高。促销期间性价比凸显，适合有需求的消费者关注。
荣耀平板20于5月27日全渠道开售，主打学生市场。其配备12 1英寸3K类纸护眼屏，支持类纸书写体验与七大护眼技术。内置AI备考助手YOYO，可辅助课堂笔记与知识梳理。首销期间国补后起售价1614 15元，并有限时赠李昀锐定制周边礼包等优惠。
具身智能执行长时程任务时，记忆能力是关键瓶颈。为系统评估机器人记忆，多所高校联合推出RoboMemArena基准，涵盖物体转移、遮挡、计数与顺序执行四类场景，包含26项长任务及真机测评。配套基线模型PrediMem通过显式管理记忆缓冲区，在仿真与真实任务中均显著优于传统方法，验证了记忆对机器人长程可靠执。
5月27日，中科星图股价下跌3 01%，收于51 28元。华宝基金旗下华宝上证科创板人工智能ETF重仓该股，一季度末持有50 32万股，为第八大重仓股。按当日跌幅计算，该基金持仓单日浮亏约80 01万元。该基金今年以来收益率27 82%，表现良好。