Nieuws

Axiom haalt perfecte score op Putnam-examen met Verified AI-aanpak

Startup Axiom behaalde in 2025 een perfecte score van 12/12 op het prestigieuze Putnam-wiskunde-examen, beter dan de beste studenten en andere AI-systemen zoals DeepSeek. CEO Carina Hong stelt dat codeervermogen noodzakelijk maar niet voldoende is voor AGI; formele verificatie in Lean is essentieel voor het schalen van intelligentie. Axiom rapporteert een ProofGen-score van 99% op de Verina-benchmark, aanzienlijk hoger dan OpenAI's o3.