Deel AI-vordering in wiskunde
OpenAI publiseer nuwe resultate oor onopgeloste wiskundeprobleme uit ’n interne grensmodel en deel Lean-bewysformalisasies en navorsingsbesonderhede op GitHub.
Oorspronklike brontaal · Engels
Lees die oorspronklikeNagegaan · 10 Oktober 2026