AI科研评估瓶颈：6月论文53.6%聚焦验证难题

2026 年 5 月，OpenAI 的模型反证了一个离散几何核心猜想。这件事在数学圈是大事——AI 第一次做出真正意义的数学发现，不是刷 benchmark 分数，是反证一个开放猜想。同一周，DeepMind 发了Co-Scientist（multi-agent AI research partner）和AlphaEvolve（Gemini 驱动的算法设计 agent）。Google 发Empirical Research Assistance（AI 协助科研工作流）。Anthropic 完成 65 亿美