Megosztjuk az AI matematikai előrelépéseit
Az OpenAI új eredményeket tesz közzé egy belső, élvonalbeli modell matematikai nyitott problémákról végzett munkájáról, valamint Lean-bizonyításokat és kutatási részleteket oszt meg a GitHubon.
Az eredeti forrás nyelve · angol
Eredeti megnyitásaEllenőrizve · 2026. október 10.