⌘ K
… 读取采集状态 同步中...
雷
原文
雨果网·· 2026-08-18经营分70

一个「流浪」数学家的遗产,正在被AI公司疯抢

AI 导读

OpenAI的AI模型推翻Paul Erdős 1946年提出的「单位距离」猜想(困扰数学界80年的经典问题),实现AI首次历史性数学证明。其Astra模型用2000美元解决10项数学进展,包括Erdős另外3个问题。Google DeepMind也解决了多个Erdős问题。英国数学家Thomas Bloom于2023年创建erdosproblems.com整理近1000个问题,吸引了菲尔兹奖得主陶哲轩与客服小哥van Doorn在评论区协作。Erdős问题集中在数论、组合学和图论,难度跨度大,

本文当前提供导读和图片预览,完整图文请查看原文。

来源:雨果网 · aitntnews.com