AI低成本攻克数学难题引热议

Reddit帖子称，AI以约2000美元算力生成了10个十年未解数学问题的机器可验证证明，并获部分学者积极评价。相关表述带有明显夸张和二手传播色彩，但反映了社区对AI数学能力跃迁的热议。

事件进展（1 篇报道）

1. 2026-08-09 23:18
   Reddit r/artificial Emad Mostaque, on camera: "It's a bad time to be a pure mathematician." AI just solved 10 decade-old math problems for $2,000.

← 返回首页