GPT-5.6 Sol beweist eine 50 Jahre alte Mathe-Vermutung — in unter einer Stunde
OpenAI veröffentlicht einen maschinell verifizierten Beweis der Cycle-Double-Cover-Vermutung, erzeugt von GPT-5.6 Sol Ultra mit 64 Subagenten. Beeindruckend — aber noch nicht begutachtet.