AI正在加速数学定理的发现
evilrabbit_ · x · 2026-07-12
作者观察到近期数学领域（尤其是组合数学）的新定理产出正在加速。这背后的驱动力包括AI直接证明、AI辅助证明、AI启发新证明，以及人类数学家在AI全面接管前抓紧证明的紧迫感。
「漫话AGI」频道最新
- Transformer 论文八位作者全部离职，Google 白送竞争对手万亿价值 — signulll · 2026-10-27
- Anthropic S-1 写明两大 AI 愿景：治愈疾病与覆盖 46 亿缺医人口 — petergyang · 2026-10-27
- 高盛：美企 AI 采纳率与就业增长呈显著负相关 — ben_j_todd · 2026-10-27
- a16z：改变世界的技术都先「混乱入场」，Agent 正走同样的路 — a16z · 2026-10-27
- 断网也得会看病：NEJM AI 警告医学教育不能丢掉脱离 AI 的基本功 — BraydonDymm · 2026-10-27
- 程序员警告:模型「消融版」将冲击软件供应链,千级依赖无人设防 — nitarshan · 2026-10-27