Meta lanserer ATLAS, et åpen kildekode-prosjekt for å automatisk formalisere matematiske lærebøker i maskinlesbart format. Prosjektet kan gi KI-systemer langt bedre grunnlag for matematisk resonnering.

Kilde: https://github.com/facebookresearch/atlas-lean