标签：数学进展
陶哲轩新论文“太反直觉”：再战Erdős问题，证明44年数学猜想是错的
陶哲轩在数学领域取得了新进展，特别是在“自然数倒数之和是否为有理数”的问题上。他证明了一个反直觉的猜想，即存在一个递增的自然数级数ak，使得对任意有理...
陶哲轩用AI证明方程理论，19天进度99.99%！论文即将上线
陶哲轩领导的方程理论项目取得了显著进展，目前完成度已达99.9963%。该项目汇集了专业和业余数学家、自动定理证明器、AI工具以及证明辅助语言Lean，旨在描述4...
