AI已能生成数学证明并完成形式化验证，但理解证明为何成立仍需人类消化。目前AI主要承担搜索文献、补缺口、检查草稿等工作。但教育风险浮现：AI抹平困难路径后，学生可能交出正确答案却绕过研究直觉训练。数学进步不等于增加定理，证明之外的理解、解释与传承，正成为更稀缺的劳动。 #AI接连推翻数学猜想##AI真的会取代科学家吗##500个ai与人类同台挑战数学大赛# http://t.cn/AXNvE9t8
网易科技频道
AI已能生成数学证明并完成形式化验证，但理解证明为何成立仍需人类消化。目前AI主要承担搜索文献、补缺口、检查草稿等工作。但教育风险浮现：AI抹平困难路径后，学生可能交出正确答案却绕过研究直觉训练。数学进步不等于增加定理，证明之外的理解、解释与传承，正成为更稀缺的劳动。 #AI接连推翻数学猜想##AI真的会取代科学家吗##500个ai与人类同台挑战数学大赛# http://t.cn/AXNvE9t8