Фотография
click to show
click to show
🤯 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 🏴
5K ·