Компания OpenAI объявила о значительном достижении в области фундаментальной науки: их новая модель рассуждений смогла представить оригинальное математическое доказательство, опровергающее известную гипотезу в геометрии. Эта задача, остававшаяся нерешенной с 1946 года, была впервые сформулирована легендарным математиком Паулем Эрдёшем. Как сообщает TechCrunch, текущий успех выглядит гораздо убедительнее предыдущих попыток компании заявить о себе в мире высшей математики.
Скепсис научного сообщества вполне объясним историческим контекстом. Всего семь месяцев назад бывший вице-президент OpenAI Кевин Вейл публично заявлял, что GPT-5 якобы нашла решения для десяти нерешенных проблем Эрдёша. Однако триумф оказался преждевременным: при детальном анализе выяснилось, что модель лишь воспроизвела уже существующие в литературе выкладки. В этот раз, чтобы избежать ироничных комментариев со стороны коллег из Google DeepMind и Meta, компания подкрепила анонс мнениями авторитетных экспертов.
Путь от имитации к автономному рассуждению
На протяжении почти восьми десятилетий математики полагали, что оптимальные решения данной геометрической задачи структурно напоминают квадратные сетки. Однако алгоритм OpenAI обнаружил совершенно новое семейство конструкций, которое демонстрирует лучшие показатели. Это достижение претендует на звание первого случая, когда ИИ автономно решил значимую открытую проблему, занимающую центральное место в целой области математики.
Важно отметить, что доказательство было получено не узкоспециализированной системой, а новой универсальной моделью рассуждений. Для разработчиков это служит подтверждением того, что современные нейросети становятся способны выстраивать длинные и сложные логические цепочки, связывая идеи из разных областей знаний так, как этого не делали исследователи-люди. Подобная способность к глубокому синтезу может найти применение в биологии, физике и инженерии.
Мы видим мощный вычислительный рычаг, который нашел брешь в старой гипотезе, однако стратегическая неопределенность того, как именно ИИ будет верифицировать более абстрактные теории без участия человека, сохраняется. Это блестящая победа грубой логики над интуицией, но до момента, когда ИИ начнет самостоятельно ставить вопросы, а не только отвечать на них, еще очень далеко.
Подтверждение экспертов и будущие перспективы
В поддержку текущего открытия выступили такие видные ученые, как Нога Алон и Мелани Вуд. Даже Томас Блум, хранитель сайта Erdos Problems, который ранее называл заявления Вейла «драматическим искажением фактов», в этот раз признал успех проекта. По его словам, искусственный интеллект помогает более полно исследовать «собор математики», возведенный человечеством за столетия, обнаруживая в нем скрытые доселе архитектурные элементы.
Для индустрии этот кейс становится важным маркером перехода от простых чат-ботов к системам, способным генерировать новое знание. Если раньше LLM критиковали за склонность к галлюцинациям и отсутствие логической строгости, то теперь мы наблюдаем рождение инструментов, чья работа выдерживает проверку ведущими математиками мира. Остается лишь наблюдать, какие еще «невидимые чудеса», по выражению Блума, ожидают своего часа в тени нерешенных уравнений.
Оставить комментарий