Tekoälyn edistysaskeleita matematiikassa

OpenAI julkaisee sisäisen edistyneen mallin uusia tuloksia matematiikan avoimista ongelmista sekä Lean-todistusten formalisointeja ja tutkimustietoja GitHubissa.

Alkuperäisen lähteen kieli · englanti

Tarkistettu · 10. lokakuuta 2026