Erdős猜想数据库 article https://gyznsw.cn/knowledge/wiki/entities/erd%C5%91s-%E7%8C%9C%E6%83%B3%E6%95%B0%E6%8D%AE%E5%BA%93.html Erdős猜想数据库 Erdős猜想数据库(Bloom’s Erdős Conjectures)是一个包含约700个未解数学难题的数据库,由数学家Bloom整理。该数据库被Google DeepMind用于评估[[Aletheia]]的数学研究能力。Aletheia在该数据库上自主攻克了4个长期悬而未决的数学问题,标志着AI从解决"已知有解"的问题跨越到探索"未知"领域。 相关页面 [[aletheia]] [[自主数学研究]]