AHM Statement on OpenAI's October 6 Release of Mathematical Documents
a day ago
- 尽管数学家建议不要在专有模型上进行此类测试，OpenAI仍发布了针对重大数学问题的AI生成解决方案。
- 数学家批评这一发布是一种忽视科学规范和人类理解的力量展示，并呼吁抵制OpenAI。
- 评论者们就AI证明的有效性、对领域的影响以及学界是否应接受或拒绝这些结果展开辩论。
- 一些人认为公开发布有助于验证和进步，而另一些人坚持认为证明必须由人类理解才有意义。