「数学产品是证明」:开发者倡导用 AI 开始 vibe mathing
cgarciae88 · x · 2026-10-11
cgarciae 认为「数学在于理解」混淆了过程与产物——数学的产物始终是证明。他称当下数学从未如此令人兴奋，数学家第一次有自由探索自己创造的数学，号召大家用 AI 把积压的数学问题统统 vibe mathing 一遍,并感叹 Euler 或 Hilbert 若有这种工具能省下多少辈子。
「漫话AGI」频道最新
- 陶哲轩「Math 2.0」讲座引争议：理解机制对人类还重要吗 — NathanpmYoung · 2026-10-11
- 「我们连细胞的完整模型都没有」：生物学的理解困境引热议 — sebkrier · 2026-10-11
- 「AI 耗水危机是伪命题」发布一年后，作者称数据持续验证其判断 — AndyMasley · 2026-10-11
- 前 OpenAI 高管 Brundage：superintelligence 一词迅速被用反了 — Miles_Brundage · 2026-10-11
- Robert Greene:AI 正让写作者重蹈建筑设计退化的覆辙 — david_perell · 2026-10-11
- 测算:2027 年失对齐 AI 智能体预计损失仅 6.24 亿美元 — joshua_saxe · 2026-10-11