Maryna Viazovska

AI生成的数学证明缺乏人类洞察力，阻碍理解

数学家David Bessis认为，虽然AI可以为数学定理生成形式化证明，但这些证明往往缺乏对人类理解至关重要的解释性洞察。他强调，发现过程和由此产生的清晰度比定理本身更有价值，而AI生成的证明无法提供这种好处。Bessis以Math Inc对Maryna Viazovska工作的自动形式化为例，说明AI产生了技术上正确但难以理解的结果，这可能会阻碍而非促进数学进步。