ИИ-модель GPT-5.6 Sol компании OpenAI смогла получить доказательство гипотезы о двойном покрытии циклов (Cycle Double Cover Conjecture), которая оставалась открытой математической проблемой более пяти десятилетий. Об этом сообщает журнал Scientific American. По данным компании, решение было найдено одновременно с запуском новой версии модели. Гипотеза относится к теории графов, разделу математики, изучающему объекты, состоящие из вершин и соединяющих их ребер. Гипотеза была сформулирована в 1970-х...