AI证明定理引热议：无人问津的数学定理成焦点
pmddomingos · x · 2026-08-01
知名机器学习专家 Pedro Domingos 感叹，当 AI 成功证明那些原本无人问津的数学定理时，它们突然就成了备受瞩目的大事件。
「Fun」频道最新
- 网友用 Grok 出主意，成功复刻马斯克早年游戏 Blastar — Kyrannio · 2026-08-01
- Domingos调侃：Claude、GPT与Gemini谁先拿菲尔兹奖 — pmddomingos · 2026-08-01
- 数学期刊审稿制度遭批：审稿慢、水平不足、任人唯亲 — roydanroy · 2026-08-01
- 开发者用MacBook本地跑扩散模型，打造协作式AI梦境生成器 — MatthewWSiu · 2026-08-01
- 马斯克称Optimus三年内成顶尖外科医生，Gary Marcus百万美元打赌 — anshulkundaje · 2026-08-01
- AI 视频生成翻车：提示词完全失效的 5 秒镜头拆解 — Kyrannio · 2026-08-01