模型多源确认88°

OpenAI 数学新成果:7 个千禧年大奖难题已宣称攻破 4 个

阅读原文: https://t.co/f5aMypRbRE

精选理由

OpenAI 用未发布模型挑战千禧年难题,7 个里号称啃下 4 个,每个只花了 3 小时算力,等验证。

OpenAI 宣布其未发布的新模型在 7 个千禧年大奖难题中的 4 个上取得实质性进展,涉及 Navier-Stokes、Riemann 猜想、Hodge 猜想和 Birch-Swinnerton-Dyer 猜想,结果有待验证。据 Deedy 透露,平均每个结果只用了约 3 小时的思考计算量。Poincaré 猜想已于 2003 年被人类解决,剩余 P vs NP 和 Yang-Mills 两个难题尚未突破。作者据此认为按 AGI 定义,AI 在多数认知任务上已达到或超越人类水平。

原文 · AI Will

阅读原文: https://t.co/f5aMypRbRE

阅读原文: x.com/deedydas/statu… Deedy @deedydas OpenAI’s math release is, in the words of Opus, “the single most consequential mathematical release ever” * LLMs have how made substantial progress on 4 of 7 Millenium Prize problems: Navier-Stokes (claimed), Riemann, Hodge and Birch-Swinnerton-Dyer. Poincaré was solved in 2003. The two left are P v NP and Yang Mills. *conditional on verification On average, each OpenAI result used only 3hrs of thinking compute on their new unreleased models. Two years ago, models said 9.11 > 9.9. Today, we have results that the smartest human minds have not been able to achieve in their entire lives. It is clear that data, compute and algorithms scale. Every model generation (3mos) has made substantial intelligence progress. It also becomes incredibly hard to not believe that all knowledge work will change monumentally over time. The things AI can not do in the foreseeable future are very likely context-bound (don’t have access to the right information) than intelligence bound. Some might argue they are also creativity-bound or judgement-bound (what should I work on), although it can be argued that future generations could solve for this (given, say, the advancement in research taste for models over time). AGI is defined as surpassing human capabilities on virtually all cognitive tasks. By most interpretations of that definition, we are there. The domains humans are still better than AI, such as, robotics / physical world control (data-bound?), natural science research (data-bound), some creative domains like writing, movies, music (creativity-bound), super long tasks (context-bound), choosing problems to solve (creativity-bound) and maybe human relationships management (meat-proxy bound?). In many ways, we have achieved AGI. 🔗 View Quoted Tweet 💬 1 🔄 0 ❤️ 0 👀 300 📊 1 ⚡

  • @koltregaskes10-07 07:09原文
  • Mark Chen (OpenAI 研究)10-07 16:53原文
  • rohanpaul_ai10-08 20:52原文
  • kimmonismus10-07 07:10原文
  • Teortaxes10-07 16:46原文
  • The Rundown AI10-07 18:30原文
  • @atomic_chat_hq10-07 20:28原文
  • Simon Willison’s Weblog10-07 20:56原文
  • Ethan Mollick10-07 22:42原文
  • 岚叔10-07 23:19原文