ИИ самостоятельно доказал сложную теорему и удивил даже математиков
Искусственный интеллект сделал шаг, который ещё недавно казался фантастикой: новая версия ChatGPT самостоятельно справилась с одной из сложных математических задач, относящихся к разряду «открытых».Пепелац Ньюс
Результаты эксперимента оказались неожиданно сильными: последняя версия ChatGPT смогла уверенно оперировать сложными концепциями и продемонстрировала уровень рассуждений, который раньше считался недоступным для ИИ.Пепелац Ньюс
Модель также опиралась на идеи, опубликованные в 2013 году на платформе MathOverflow, где американский математик Ноам Элкис предлагал решение близкой по смыслу задачи.Мой Брянск
Спустя примерно15 минут система выдала развёрнутое решение, которое Сомани затем проверил и формализовал с помощью математического инструмента Harmonic — и убедился, что доказательство оказалось корректным.Пепелац Ньюс