算法论文8

清华AIM系统人机协同攻克数学难题

量子位2025-11-04

AI 摘要

清华团队用AIM系统，以人机协同攻克均匀化理论难题，形成17页证明。总结五大交互模式，在理论、实践和方法指导上有突破，未来将深化交互模式、优化AIM系统。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

WorkBuddy升级：HTML成AI办公新载体

WorkBuddy升级“资料库”功能，普通用户不用写代码，用自然语言就能生成、编辑和发布HTML页面。用户能做书影音地图、播客可视化网站等，HTML可人机协同编辑，还能实现知识沉淀。

A社官宣未公开的Claude研究模型在黎曼猜想取得重大进展，将满足猜想的黎曼ζ函数零点比例下界从41.6%提高到67.2%。它靠60个智能体、3100万输出Token完成研究，几乎走完科研流程。

Anthropic让内部研究版Claude证明「黎曼猜想」失败，但它将符合猜想的黎曼Zeta函数零点比例下限从41.6%提升到67.2%。此成果意义重大，标志AI进入开放数学研究。

OpenAI下一代主要模型Astra内部版本在多数学领域给出十项新研究结果，让数学界震动。数学家看法不一，有人惊叹，有人迷茫，还有文章指出这或引发数学学科意义的精神危机。