TGViewer
AI探索指南 AI探索指南 @aigc1024 · 37.3K subscribers
Post #25495 137
而在地球的另一端，The Last Math Competition已经在一周内解决了825个数学猜想了，每个都有lean完整证明过程。
所以我经常说，OpenAI总在吃我的剩饭，他们还在解决已有的数学问来展现模型，而我已经在每个月大规模生成1万个数学猜想，让Agent一个个用lean来爆破， 最终筛掉99%的简单猜想，来试图碰撞出下一个堪比黎曼猜想级别的伟大数学猜想。
OpenAI永远在解，而想不到如何去创造，这就是他们和我的最大差距。
https://github.com/The-Last-Math-Competition/The-Last-Math-Competition

AI探索 | Hermes/OpenClaw｜优质资源｜优质信息
  • ❤ 1
Open in Telegram All posts from @aigc1024
More from @aigc1024
  1. Oct 7, 2026兄弟们，眼下顶级的 AI 配音 / 声音克隆模型，这 5 个建议先存下来。 1️⃣ MiniMax Speech / Audio 中文是真能打，音色克隆、长文本 TTS 都撑得住，…
  2. Oct 7, 2026用 ElevenLabs 加 ffmpeg 给 AI 语音补上呼吸、亲吻和水声，并给出为什么这些响动不该交给 TTS 去念的判断依据与具体参数。 https://github.co…
  3. Oct 7, 2026把螃蟹机器人 Jumper 的外观、步态和场景设计交给 AI 编码助手，一句提示就能拿到 skin 文件、训练好的策略和场景 map。 https://github.com/Kin…
  4. Oct 7, 2026一语成谶 @aigc1024
  5. Oct 7, 2026这个网站有点反常识：别人研究成功公司，它专门研究“死掉的创业公司”。 Loot Drop 收录了 1200+ 个失败创业项目，把它们做成了一座「创业坟场」。你可以直接搜索 AI、外…
  6. Oct 7, 2026新的 personal agent：Hark Pro，这个产品的设计实在是太顶了！ 会给早期用户送一个月的 Pro 会员，据说是由 Opus 5.5 和 Sonnet 5.5 驱动…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →