Как ИИ решил 27-летнюю открытую проблему информатики
Как ИИ решил 27-летнюю открытую проблему информатики Исследователи из OpenAI и Anthropic заявили, что их модели искусственного интеллекта справились с задачей, которая считалась нерешенной в computer science уже 27 лет. Речь идет о так называемой задаче «уникальных [запрещенная организация] игр» — одной из ключевых в теории сложности вычислений. Ранее считалось, что для нее не существует эффективного приближенного алгоритма, но новые ИИ-системы, обученные на больших объемах математических данных, смогли предложить подход, который опровергает это предположение. Если выводы подтвердятся, это станет первым случаем, когда ИИ самостоятельно находит решение фундаментальной проблемы, над которой десятилетиями бились лучшие умы человечества. В отличие от традиционных методов, которые полагаются на строгие математические доказательства, нейросети строят эвристики и паттерны, которые затем проверяются на корректность. Такой подход открывает новую парадигму в науке: ИИ не просто автоматизирует вычисления, а участвует в открытии новых знаний. Однако сообщество относится к заявлению с осторожностью. Для подтверждения результата требуется формальная верификация, которую пока никто не провел. Тем не менее уже сейчас понятно, что применение ИИ к «нерешаемым» задачам может кардинально ускорить прогресс в математике, криптографии и оптимизации. Если метод окажется верным, это изменит представления о пределах вычислимости и роли машин в фундаментальной науке. Главное: • ИИ от OpenAI и Anthropic претендует на решение задачи «уникальных [запрещенная организация] игр» • Задача считалась нерешенной 27 лет и была камнем преткновения • Нейросети находят эвристические решения, отличающиеся от классических • Требуется формальное подтверждение от математического сообщества #ИИ #Информатика #Наука #Математика #OpenAI