AI 加形式化工具把数年研究压缩到数小时,社区直播攻整数乘法难题
aran_nayebi · x · 2026-10-09
Christian Szegedy 感叹:去年之前,这类成果还是分散在数年间、经月度同行评审才能发表的论文;如今借助 AI 与形式化工具,整个研究过程能被压缩到几小时。
背景是 Aurelien Prot 建了一个实时追踪器,公开社区用 AI 优化「低于 n log n 的整数乘法」这一数学问题的进展,任何人都能看到最新推进。
所属事件:AI 助力整数乘法首破 n log n 复杂度下界引热议(11 条相关)→
「漫话AGI」频道最新
- 创业者放话:Anthropic 对人类的威胁大于潜在超级智能 — dbasch · 2026-10-09
- 创作者回击 AI 作品批评者:你们根本不懂用 AI 做出好东西的成本 — Uncanny_Harry · 2026-10-09
- 独立研究者发布 AI 加速相变模型，6 个预注册预测窗口全部命中 — sadeyeprophet · 2026-10-09
- AI 冲击数学界引激烈论战,牛津学者整理「AI 与数学」必读清单 — StefanoGogioso · 2026-10-09
- Yudkowsky:AGI 到「末日」时投入可能还不如一座台积电晶圆厂 — panickssery · 2026-10-09
- AI 投资人：一切行业都可拆成 8 个原语，机会是全 GDP — signulll · 2026-10-09