标签：数学进展
两位数学家发现素数计数新方法，原来「p²+nq²」形式的素数真有无限多个
数学家们在理解素数的分布模式方面取得了新的进展。牛津大学的Ben Green和哥伦比亚大学的Mehtaab Sawhney证明了一个关于特定形式素数的定理，即存在无穷多个...
陶哲轩新论文“太反直觉”：再战Erdős问题，证明44年数学猜想是错的
陶哲轩在数学领域取得了新进展，特别是在“自然数倒数之和是否为有理数”的问题上。他证明了一个反直觉的猜想，即存在一个递增的自然数级数ak，使得对任意有理...
陶哲轩用AI证明方程理论，19天进度99.99%！论文即将上线
陶哲轩领导的方程理论项目取得了显著进展，目前完成度已达99.9963%。该项目汇集了专业和业余数学家、自动定理证明器、AI工具以及证明辅助语言Lean，旨在描述4...
