TGViewer
螺莉莉的黑板报 螺莉莉的黑板报 @im_roriri · 3.9K subscribers
Post #35099 156
https://www.youtube.com/watch?v=HoldgheX-M8
YouTube AI 88小時解開千禧年難題，AI 就真的懂數學嗎？#張良的發現 #ZLDiscovery #科學 🔔【加入頻道會員】🔔https://www.youtube.com/channel/UCIGR9VZEZL7TYqrXBezIFOA/join 2026 年，OpenAI 宣布：AI 系統在約 88 小時內，找到了納維–斯托克斯方程有限時間爆破的形式化證明。這是著名的千禧年大獎難題之一。 一萬個 AI 代理同時協作，數學證明交給 Lean 4 進行形式化驗證。看起來，AI 正在跨越人類數學研究的極限。 但問題來了：機器檢查通過，就代表人類真正理解了這個證明嗎？ …
Open in Telegram All posts from @im_roriri
More from @im_roriri
  1. Oct 12, 2026https://github.com/microsoft/verona 有趣的语言
  2. Oct 11, 2026https://pages.yqiao.me/six-questions-of-ai/
  3. Oct 11, 2026不能只有我一个人看到……
  4. Oct 11, 2026Это вам за то что не молитесь Надо было еще на ГПТ ГПТ заменить, эх.
  5. Oct 11, 2026ˊ_>ˋ 太爽了，真的太爽了
  6. Oct 11, 2026Opus 太罩了……
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 →