OpenAI заявила, что флагманская модель GPT-5.6 нашла доказательство гипотезы о двойном покрытии циклами. Модель справилась менее чем за час, задействовав 64 параллельных сабагента, но доказательство еще проходит проверку математиками.

OpenAI сообщила, что ее флагманская модель GPT-5.6 нашла доказательство гипотезы о двойном покрытии циклами — одной из известных открытых задач теории графов, которая оставалась нерешенной около полувека. По словам сотрудника OpenAI Итана Найта, модель справилась менее чем за час, используя 64 параллельных сабагента. При этом само доказательство пока проходит проверку математиками, поэтому сейчас особый интерес представляет примененный OpenAI подход к решению задачи.

Источники 1
  • GPT-5.6 от OpenAI нашла доказательство математической гипотезы о двойном покрытии циклами Habr AI
    Слишком просто, чтобы быть правдой? GPT-5.6 выдал доказательство 50-летней математической гипотезы
    
    10 июля, на следующий день после публичного запуска GPT-5.6 Sol Ultra, OpenAI заявила, что ее флагманская модель нашла доказательство гипотезы о двойном покрытии циклами — одной из самых известных открытых задач теории графов, стоявшей около полувека. По словам сотрудника OpenAI Итана Найта, модель справилась меньше чем за час, задействовав 64 параллельных сабагента. Сразу стоит отметить, что пока доказательство только проходит проверку математиками — и на данном этапе больше интересен подход, который OpenAI применила при решении задачи. Читать далее
    
    #openai #gpt_5_6 #gpt_5_6_sol | @habr_ai