🧮 OpenAI заявила, что её новая модель решает математические задачи быстрее, чем люди успевают проверять доказательства По данным компании, внутренняя модель уже нашла решения более чем 100 открытых математических проблем, над которыми исследователи работали годами. Среди них — задача, связанная с уравнениями Навье — Стокса. Теперь главным ограничением оказался не ИИ, а скорость человеческой проверки. OpenAI собрала независимую группу известных математиков, которая будет разбирать доказательства, оценивать их значимость и решать, какие результаты готовы к публикации. Источник