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