Paskelbtas OpenAI Lean kodas dėl keturmačio kvantinio Yang-Mills teorijos egzistavimo įrodymo
Lapkričio 10 dieną fiziko David Gross vadovaujamas komitetas paskelbė OpenAI Lean kodą, susijusį su teigiamu įrodymu apie keturmačio kvantinio Yang-Mills teorijos egzistavimą, taip pat validavimo dokumentą.
Yang-Mills problema yra viena iš Clay Mathematics Institute Millennium Prize Problems. Už šių uždavinių išsprendimą numatytas 1 mln. JAV dolerių prizas.
Paskelbtas kodas buvo formaliai patikrintas, tačiau vertintojai nurodė, kad paties įrodymo jie dar nėra iki galo supratę.
Tuo pat metu Yang-Mills problemos dalis, susijusi su masės tarpu, lieka neįrodyta, todėl 1 mln. JAV dolerių prizas kol kas nebuvo skirtas.
