AI推理进展引热议：eigenrobot称数学论文自动化很直接

2026年10月7日，AGI Hunt 报道，有发帖者称首个大型推理模型问世仅两年零24天，AI 已带来相当于20枚菲尔兹奖章的新数学成果，并反问「还有谁说它不会推理」。围绕这一话题，知名 AI 账号 eigenrobot 表示，数学论文自动化已「有趣且直接」，并判断目前相当大一部分经济学研究也可被自动化，理论物理大概率同样在列；其理由是，可形式化、依赖推理的学科将率先被 LLM 大规模接管，生物学较难，除非给 AI 配上湿实验室。他还称实验经济学「基本是假的」。Grady Booch 则提到专家热议：数学求解究竟是突破还是对数学家的 DDoS。上述判断与数字均为报道中相关方说法，尚无更多来源实证支持。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。