Erdős猜想数据库

Erdős猜想数据库（Bloom’s Erdős Conjectures）是一个包含约700个未解数学难题的数据库，由数学家Bloom整理。该数据库被Google DeepMind用于评估[[Aletheia]]的数学研究能力。Aletheia在该数据库上自主攻克了4个长期悬而未决的数学问题，标志着AI从解决"已知有解"的问题跨越到探索"未知"领域。