Adrian Manea10 min read

Autor

Adrian Manea este matematician și profesor, fondator al Poligon Educational, proiect prin care îmbină matematica și științele cu istoria, filosofia, literatura și jocurile. Scrie și pe Substack, Laturi ale științei.

ȘTIINȚĂ|OVERVIEW

Este inteligența artificială gata să demonstreze teoreme?

De
Noul Chat-GPT o1 de la OpenAI e un model AI conceput special pentru raționamente. Demonstrarea teoremelor matematice rămâne însă o problemă deschisă, deși progresul este semnificativ.