OpenAI je u utorak na GitHubu objavio 377 novih matematičkih rezultata, tvrdeći da je dokazana puna Birch-Swinnerton-Dyer formula za eliptičke krive nad ℚ, ali samo kada njihova q-power Selmer grupa ima korang nula ili jedan. Rezultati su postignuti internim modelom koji još nije javno dostupan, istim onim koji je pre mesec dana proizveo izuzetak protiv Navier-Stokesovih jednačina.
OpenAI je u blog postu naveo da želi da osnaži naučnike i da radi na odgovornom objavljivanju modela, uz protokole za reviziju i citiranje. Kompanija sarađuje sa AGMAI sa Instituta za napredne studije, koji se ranije protivio testiranju naprednih matematičkih problema na privatnim modelima. OpenAI tvrdi da su AGMAI preporuke uvažene.
