Az OpenAI újabb mesterséges intelligencia eredményeket mutat be a matematikában
Az OpenAI új kutatási eredményeket tett közzé a matematika nyitott problémáival kapcsolatban egy belső frontier modell segítségével. A kutatás részleteit és a Lean bizonyítási formalizációkat a GitHubon is megosztották.
Relevancia: 3 / 5
Eredeti cikk megnyitása új lapon