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.
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.