Математические способности больших языковых моделей резко улучшились, решая крупные нерешённые проблемы. Но стремление компаний ИИ использовать математические задачи в качестве эталонов вредно для математики и её сообщества. Цели компаний ИИ и математиков серьёзно рассогласованы.

Исследовательская математика занимается пониманием базовых структур. Известные проблемы служат ориентирами. Решение одной из них было признаком новых озарений, изучаемых математиками через доклады, обсуждения, упрощения, идеально приводя к изложению в учебниках. Некоторые идеи становятся инструментами, используемыми всеми.

Математическое сообщество — это человечество в миниатюре, объединённое основными ценностями. Его самые ценные ресурсы — студенты и идеи, взращиваемые с заботой. Для студентов задачи развивают навыки. Идеи распространяются в докладах и тщательных текстах, требуя времени и человеческого взаимодействия.

Успех ИИ в решении крупных проблем попал в заголовки. Но решение задач — лишь инструмент для концептуального понимания. Массовое производство утверждений «истина/ложь» может уничтожить плодородную почву. Решения объявляются в спешке, не оставляя времени на должное написание, выделение новых методов или цитирование предыдущих работ. Это поднимает серьёзные вопросы атрибуции и плагиата. Без желающих математиков идеи, задуманные ИИ, никогда не стали бы полностью живыми.

Ключевые сущности: Компании: OpenAI | Люди: Terry Tao

Часто задаваемый вопрос: В чём рассогласование ИИ в математике?

Компании ИИ используют математические задачи как эталоны, но это противоречит цели математического сообщества в концептуальном понимании, создавая риски проблем с атрибуцией и подрывая область.

Вопрос ЧЗВ: В чём рассогласование ИИ в математике?

Ответ ЧЗВ: Компании ИИ используют математические задачи как эталоны, но это противоречит цели математического сообщества в концептуальном понимании, создавая риски проблем с атрибуцией и подрывая область.