OpenAI утверждает, что GPT-5.6 Sol Ultra с помощью 64 параллельных ИИ-агентов за час нашла доказательство гипотезы о двойном покрытии цикла. Теперь результат предстоит проверить математикам.

OpenAI сообщает, что модель GPT-5.6 Sol Ultra нашла полное доказательство гипотезы о двойном покрытии цикла (Cycle Double Cover Conjecture) — задачи теории графов, которая оставалась нерешённой почти 50 лет. Модель работала с 64 ИИ-агентами параллельно: каждый исследовал свой подход, а затем результаты были объединены в единое доказательство. По сообщению OpenAI, на это ушло менее часа. Теперь доказательство должно пройти длительную экспертную проверку, прежде чем его можно будет считать официально подтверждённым.

Источники 1
  • OpenAI сообщила о решении математической задачи с помощью GPT-5.6 Sol Ultra AI Post
    🤯 GPT-5.6 just did the impossible?
    
    OpenAI says GPT-5.6 Sol Ultra has found a complete proof of the Cycle Double Cover Conjecture, a graph theory puzzle that has stumped mathematicians for nearly 50 years.
    
    It didn’t work alone. The model reportedly deployed 64 AI agents in parallel, each exploring different approaches before combining their findings into a single proof, all in under an hour.
    
    Now comes the real challenge: human mathematicians.
    
    The proof still needs to survive months (or even years) of expert review before it’s officially accepted. If it does, this could become one of the biggest milestones in AI-powered scientific discovery.
    
    Source. 
    
    @aipost 🏴