FrontierMath OpenProblems: новые задачи для ИИ в математике
epoch.ai представила FrontierMath OpenProblems — набор открытых задач из исследовательской математики, которые ранее не удалось решить профессиональным математикам. Для объективной оценки выбраны только те задачи, решения которых можно проверить автоматически.
В пилотном наборе — 14 задач, преимущественно из комбинаторики и теории чисел. Открыта форма для заявок на добавление новых задач.
• Все задачи охватывают различные математические дисциплины.
• Для каждой задачи указано, сколько математиков над ней работали и сколько, по оценке авторов, потребуется времени на решение человеком (до 3–10 лет).
На данный момент ни одна из задач не решена существующими моделями.
https://dzen.ru/id/5c0e38ff46ef5c00aaa80527
