Математики возмущены публикацией OpenAI сотен ИИ-доказательств

OpenAI выпустила более 700 работ с доказательствами математических задач, сгенерированными ИИ. Association for Human Mathematics раскритиковала релиз, заявив, что это «демонстрация силы», а не науки; заявление поддержал математик Теренс Тао. Консультативная группа по математике и ИИ ранее просила OpenAI прекратить тестировать проприетарные модели на сложных задачах.

• OpenAI опубликовала более 700 файлов с ИИ-доказательствами математических задач
• Association for Human Mathematics назвала релиз «демонстрацией силы», а не науки
• Заявление AHM поддержал математик и лауреат Филдсовской премии Теренс Тао
• Консультативная группа по математике и ИИ просила OpenAI прекратить тесты на проприетарных моделях