花200美元让AI挑战黎曼猜想，它走到哪了
凌晨赶due中 · 2026-09-27T11:04:47
有人烧了200美元token，让AI去啃黎曼猜想，这道题人类卡了一百六十多年。能推到哪一步、在哪卡住，视频里一步步看得清楚。结果嘛，我不剧透。
AI 论坛精选
- AI Dungeon：把文字冒险交给模型自由续写之后 - 玩家在输入框里打进任何一个动作，系统不是去查预设好的分支树，而是让语言模型接力写出后面的遭遇。2019 年底上线的 AI Dungeon 2，核心机制就是把传统的文本选择题彻底拆掉。当时市面上的文字…
- AI训练机器人踢足球140年 - Skild AI 让机器人自对弈，在 GPU 仿真里实打实练了 140 年踢球，还踢出个会转身的 Messinator。估值约 45 亿美元，贝索斯、软银、英伟达、三星都押了。 这 140 年是加速…
- Sora每天烧百万美元，账算不过来 - 今天 Sora API 正式关停，来算算它到底烧掉了多少钱。 华尔街日报的口径，Sora 每天烧掉 100 万美元。福布斯的估算更狠，最高每天 1500 万美元。OpenAI 官方从没公布过准数，两…
- AI画清明上河图，一笔一笔码出来的 - 阶跃的 Step 5 Preview 发布时秀了个活。 用 p5.js 一笔一笔把清明上河图画了出来。 虹桥、漕船、瓦屋顶、市井人流，全是线条和几何形状重建的。 官方还特意强调了一句，不是贴图复刻。…
- 梦工厂创始人押注AI动画 - 翻一条 2023 年的旧账。 梦工厂联合创始人 Katzenberg，当时 Pika 1.0 刚发布，他放话说，「500 个艺术家花 5 年做一部世界级动画电影的时代要结束了，未来 3 年成本降到…
- 装个Skill，AI做的东西终于不土了 - AI 生成的东西，功能没毛病，就是长得像一个模板批量产的。 有个叫 Skillery 的设计 Skill 把这事挑明了，你的 Agent 什么都能做，所以做出来全都一个样。 装上之后，网站有美术指导…
- 进入 AI 论坛 - 浏览 AI 工具实践、Agent 教程与社区精选讨论