A GPT-5.6 Sol Ultra nyilvános elérhetővé tétele után a modell ma közölte, hogy 64 alügynök együttes munkájával kevesebb mint egy óra alatt bizonyította a 50 éves Cycle Double Cover Conjecture-t. Az eredmény fontos előrelépés az automatikus tételbizonyítás és a nagy nyelvi modellek matematikai alkalmazása terén.
GPT-5.6 Sol Ultra bizonyította a 50 éves Cycle Double Cover sejtést kevesebb mint egy óra alatt
A GPT-5.6 Sol Ultra nyilvános elérhetővé tétele után a modell ma közölte, hogy 64 alügynök együttes munkájával kevesebb mint egy óra alatt bizonyította a 50 éves Cycle Double Cover Conjecture-t.
