«Пока ИИ не покажет, что может самостоятельно разрабатывать теорию, трудно поверить, чт... — 3 августа 2026 г. в 16:45:34.092
«Пока ИИ не покажет, что может самостоятельно разрабатывать теорию, трудно поверить, что он мог самостоятельно придумать этот [контрпример]», — говорит Фурнье-Фасио. Он отмечает, что многие математические открытия ИИ до сих пор были сосредоточены на поиске контрпримеров, которые можно легко и быстро проверить, а не на разработке новой теории. «При разработке теории гораздо сложнее определить, верна ли она: в конце нет галочки. Как узнать, разработали ли вы правильную теорию, движетесь ли вы в правильном направлении?» — спрашивает Фурнье-Фасио. Абхишек Саха из Лондонского университета королевы Марии говорит, что математики-люди также добились значительного прогресса в области многомерной упаковки сфер, и компания Astra развила эту работу, чтобы найти решение. Тем не менее, по его словам, выпуск этих 10 решений по-прежнему является наиболее впечатляющей демонстрацией математических возможностей ИИ на сегодняшний день. «Любое из них само по себе было бы значительным и впечатляющим достижением», — говорит Саха. «Некоторые из них не являются контрпримерами; некоторые из них — это фактически доказательства, но все они относятся к тому типу, где не нужно строить огромный объем новой теории. Вместо этого необходимо очень технически грамотно объединить уже сделанные вещи, необычными и очень техническими способами, и сделать то, чего никто раньше не делал». Саха с оптимизмом смотрит в будущее моделей ИИ в математике. «Я не удивлюсь, если через два-три года им удастся создать достаточно новой теории, чтобы решить некоторые из более глубоких вопросов», — говорит он. Представители OpenAI не ответили на запрос об интервью для этой статьи. Темы: #Искусственныйинтеллект / #Математика Мэтью Спаркс