AI har nettopp krysset en terskel i matematikk. @tachim administrerende direktør @HarmonicMath om hvordan KI endrer matematisk verifisering: "For et år siden var det praktisk talt umulig å formalisere bevis med AI. Nå blir det akseptert veldig raskt.» "Før, hvis du løste et Erdős-problem, trengte du en professor til å gå god for det, risikerte ryktet deres og brukte betydelig tid." "Nå kan hvem som helst prøve en løsning, formalisere den, og alle kan være sikre på at den er riktig."