Он заставил GPT-5.6 Sol работать 33 часа подряд, пытаясь решить теорему Ферма, но система принудительно остановила процесс
Как обычный человек, может ли он дать сложную математическую проблему ИИ и, постоянно говоря «продолжай», в итоге получить решение, выиграть крупный приз или даже изменить ход развития математики? Недавно эксперт Майкл П. Франк поручил GPT-5.6 Sol исследовать, существует ли более простой путь доказательства Великой теоремы Ферма, чем доказательство Уайлса-Тейлора. Задача работала в фоновом режиме около 33 часов, потребляя значительные вычислительные ресурсы, но в итоге была принудительно остановлена системой OpenAI. GPT-5.6 Sol в своем анализе предположил две возможные причины: либо сессия использовала слишком много ресурсов, либо OpenAI уже пытался решить эту проблему с помощью аналогичной модели и потерпел неудачу, поэтому не хотел снова тратить вычислительную мощность. За 33 часа модель выполнила значительную работу, преобразовав многие «звучащие многообещающе» подходы в проверяемые точные утверждения, а затем опровергнув или исключив их. Результатом стала «карта тупиков», а не само доказательство. Некоторые пользователи предположили, что OpenAI может намеренно ограничивать модель, чтобы сохранить конкурентное преимущество или избежать проблем с регулированием. Однако сотрудник OpenAI Ноам Браун отметил, что если бы пользователь решил задачу тысячелетия, просто вводя «продолжить», это было бы лучшей рекламой для компании. Другие считают, что остановка могла быть вызвана техническими причинами, такими как механизм безопасности для предотвращения зависаний или ошибка в версии 5.6, для которой существует временное решение.
marsbit24 мин. назад
