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