AI找出数学反例推翻论文，作者确认！453篇手稿，AI开始自己出题了

思特雅大学研究人员曾仔健开发的AI Has Taste项目，通过构建可持续研究系统，正在改变数学研究范式。项目公开仓库收录了453份数学研究手稿，其中6篇被明确归类为AI提出的数学猜想。

项目从生成答案走向生成研究议程，通过AI主动攻击论文猜想并找到被原作者确认的反例，成功进入研究循环。曾仔健表示，AI不仅复述知识，更能通过失败结构修改命题并提出新猜想。

系统采用四层Agent架构：Supervisor筛选候选问题，Researcher负责证明与反例，Fresh-context Reviewer进行独立审查，Writer整理最终成果。多机协作模式实现证明、反例搜索、计算验证和审稿并行推进。

项目已获得马来西亚科学院院士Ong Seng Huat、Kurunathan Ratnavelu及中国地质大学熊永华教授等学者的验证参与，形成机器内部红队与人类专家抽检的双重审核机制。

典型案例显示，AI在fractional Gaussian trace问题上通过失败分析提出新猜想，虽未最终证明，但成功将原问题转化为更清晰的可证伪命题。6篇AI提出的猜想涵盖组合数学、图论、数论等多个领域。

该项目代表Agent规模化科研雏形，通过拆分复杂数学任务实现多线程研究。AI不再只是执行给定任务，而是开始参与研究方向决策，推动基础研究从'人类想题AI答题'向'AI选题'演进。

尽管成果尚未完全通过外部同行评审，但其研究组织方式已展现AI参与设计下一研究任务的能力，标志着数学研究进入新阶段。