陶哲轩专访（后半部分）数学证明与人工智能的未来你可以将理论视为对宇宙的一种压缩

时间：2025-06-17 07:50:25  编辑：翡翠原石网  访问：358

陶哲轩专访（后半部分）：数学、证明与人工智能的未来“你可以将理论视为对宇宙的一种压缩”，陶哲轩:因此，实际上你可以将注意力限定在准素数的一个合适集合上。而且，尽管...我只是无法证明它。陶哲轩:我们大部分的数学都被优化用于解决那些包含模式的...

陶哲轩专访（后半部分）：数学、证明与人工智能的未来“你可以将理论视为对宇宙的一种压缩”，陶哲轩:是的，但这又像一种无限猴子现象。对于任何给定长度的集合，你都不会...陶哲轩:因此，实际上你可以将注意力限定在准素数的一个合适集合上。而且，尽管...