erdis-conjecture

OpenAI的AI模型推翻了埃尔德什单位距离猜想（Erdős unit distance conjecture），这是一个困扰数学家80年的离散几何著名难题，标志着AI数学领域的里程碑。