OpenAI представила новую модель GPT-5.6 Sol, которая смогла доказать гипотезу о двойном...
OpenAI представила новую модель GPT-5.6 Sol, которая смогла доказать гипотезу о двойном покрытии циклов (Cycle Double Cover Conjecture). Эта математическая задача из теории графов оставалась нерешённой более 50 лет. Доказательство было получено одновременно с релизом модели. Гипотезу сформулировали ещё в 1970-х. Она утверждает, что почти любой граф можно покрыть так, чтобы каждое его ребро входило ровно в два замкнутых контура. Ранее математики доказывали это лишь для некоторых типов графов, общего решения не было. Доказательство GPT-5.6 Sol показывает: любой подходящий граф можно покрыть не более чем восемью особыми циклами. Профессор Принстонского университета Нога Алон отметил, что ИИ уже серьёзно влияет на математику. OpenAI использовала специальный промпт: модель распределила задачу между 64 параллельными агентами и не прекращала поиск, даже если задача считалась нерешаемой. Ей дали не менее восьми часов на работу. Математик из MIT Эндрю Сазерленд считает, что такие успехи повторятся. По его словам, некоторые задачи кажутся слишком сложными, и учёные их избегают, а ИИ может комбинировать старые методы, находя простые решения давних гипотез.