OpenAI · 6. октобар 2026.

Deljenje napretka AI-ja u matematici

OpenAI objavljuje nove rezultate o nerešenim matematičkim problemima iz internog naprednog modela i deli Lean formalizacije dokaza i istraživačke detalje na GitHub-u.

Jezik izvornog sadržaja · енглески

Pročitajte original

Provereno · 10. октобар 2026.