数学家喜迎“大统一”理论的计算机辅助证明

辅助证明软件能解决数学研究前沿的抽象理论问题。而此次成功实践可能成为数学家开始接纳计算机辅助的转折点。计算机成功验证了一个复杂的...

启示号 3年前 281 0

#数学#Scholze#数学家