算法论文8

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

量子位2025-11-04

AI 摘要

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

关注公众号

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

公众号专辑

OpenAI发722篇数学成果搅乱学界

OpenAI公开722篇由内部未发布前沿模型生成的数学成果，覆盖多数学方向，部分附带形式化证明，发布后引发数学界巨大冲击，消化验证需数年，不少青年学者研究项目遭毁灭性打击，本文梳理各方反应与争议。

本文报道OpenAI被指截胡纽约大学数学家破解纳维-斯托克斯方程的研究成果，菲尔兹奖得主陶哲轩发文怒批，指出AI暴力介入正在摧毁数学界百年开放科学传统，引发学界热议。

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

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