搜索: "球填充问题"

AI助力破解首项菲尔兹奖难题，短短两周生成二十万行代码，数学界震撼不已

新智元报道数学界迎来了一场前所未有的变革，顶尖数学家难以推进的证明问题被AI解决了，连菲尔兹奖得主也不可避免地受到了质疑。AI在数学领域引发了一场风暴，它对传统研究方式构成了挑战。在短短五天内，AI就完成了人类历时十五个月才能完成的工作。Viazovska提出的关于8维和24维球填充问题的证明被转换成近二十万行Lean代码，效率惊人地提升了九十多倍。人类智慧与AI技术之间的较量似乎已经分出了胜负，