数学博士因 LLM 带来多年未见突破,宣布离开数学学术界
mishig25 · x · 2026-10-09
一位数学博士生公开宣布离开数学学术界,原因不是倦怠或就业市场,而是过去几个月借助 LLM 在自己钻研多年的博士课题上取得了多项突破——没有 LLM 这些进展可能要耗费数年学术生涯。转发者评论称:今天最好的平面设计师是最会用 Midjourney 的人、最好的工程师是最会用 coding harness 的人,可以合理预测最好的数学家将是最会用数学 harness 和 Lean 的人。
「漫话AGI」频道最新
- AI 冲击数学界引激烈论战,牛津学者整理「AI 与数学」必读清单 — StefanoGogioso · 2026-10-09
- Yudkowsky:AGI 到「末日」时投入可能还不如一座台积电晶圆厂 — panickssery · 2026-10-09
- AI 投资人：一切行业都可拆成 8 个原语，机会是全 GDP — signulll · 2026-10-09
- Szegedy 语出惊人：别对齐 AI 了，去对齐用户 — ChrSzegedy · 2026-10-09
- 研究者呼吁：AI 数学证明应可用 AI 重写成人类可读版本 — jd_pressman · 2026-10-09
- Elena Verna:AI 时代 IC 应比经理挣更多,个人产能已被放大 — lennysan · 2026-10-09