L'AI ha appena superato una soglia nella matematica. @tachim CEO @HarmonicMath su come l'AI sta cambiando la verifica matematica: "Un anno fa, formalizzare le dimostrazioni con l'AI era praticamente impossibile. Ora viene accettato molto rapidamente." "Prima, se risolvevi un problema di Erdős, avevi bisogno di un professore che lo convalidasse, rischiando la propria reputazione e spendendo tempo significativo." "Ora chiunque può tentare una soluzione, formalizzarla e tutti possono essere certi che sia corretta."