OpenAI zveřejnila deset nových výsledků z matematiky a teoretické informatiky, které získal její interní model. Mezi nejvýraznější patří konstrukce explicitní non-sofic grupy, čímž padá otázka, zda každá spočetná grupa připouští konečné permutační aproximace. Model zároveň vyvrátil Connesovu domněnku o rigiditě, když našel nekonečně mnoho neizomorfních grup se stejnou grupovou von Neumannovou algebrou. Další výsledky se týkají hustoty kulového uspořádání, binárních a sférických kódů, složitosti aritmetických obvodů pro permanent, kvantové paralelní repetice, problému nejbližšího vektoru, Ehrhartovy objemové domněnky, vícebarevných Ramseyových čísel či dvou domněnek z extremální teorie grafů. Všechny důkazy jsou formalizované v systému Lean a OpenAI za ně přebírá odpovědnost. Jde o další ukázku toho, že modely dokážou přispívat nejen k řešení, ale i k formulaci nových matematických problémů.
