#数学社区

数学界强烈反对OpenAI发布数百份AI生成的数学证明

OpenAI近日发布了数百份由其人工智能生成的数学证明文件，这一举动在数学界引发了强烈反响。继此前关于其AI模型声称解决了Navier-Stokes方程的争议后，这次的批量发布再次激起了专家们的质疑和不满。 许多数学专家对OpenAI的做法表示反感，认为公司在未经充分验证的情况下，利用他们的研究成果，并期望数学界承担起解读和验证这些有时几乎难以理解的AI证明的重任。 人类数学协会（Associat