DeepMind AlphaProof Nexus 解决9个埃尔德什难题
Google strikes back: DeepMind’s AlphaProof Nexus reportedly solved 9 open Erdős…
推荐理由
DeepMind 发布 AlphaProof Nexus 并成功解决多个长期未解的数学难题，这是 AI 在形式化数学证明领域的重要里程碑，值得开发者关注其技术路径。
Google strikes back: DeepMind’s AlphaProof Nexus reportedly solved 9 open Erdős problems and 44 number-sequence conjectures, including two problems unanswered for over 50 years.
Google 反击：据报道，DeepMind 的 AlphaProof Nexus 解决了 9 个开放的 Erdős 问题和 44 个数列猜想，其中包括两个超过 50 年未解的问题。
DeepMind’s AlphaProof Nexus combines existing Gemini models and a simpler Gemini loop; using Lean reproduced all nine reported Erdős successes. Via Daily Star
DeepMind 的 AlphaProof Nexus 结合了现有的 Gemini 模型和更简单的 Gemini 循环；使用 Lean 重现了所有报告的 9 项 Erdős 成功成果。来源：Daily Star
更进一步：量化金融体系
看懂新闻只是起点——沿量化金融路径，把它变成能交付的工程能力