Axiom is zes maanden geleden gelanceerd met één overtuiging: wiskunde is de juiste basis voor het bouwen van systemen die redeneren. Vandaag kondigen we de Series A van Axiom aan. We hebben $200M opgehaald bij een waardering van $1,6B+, geleid door @MenloVentures, om onze voorsprong in formele wiskunde uit te breiden naar Verified AI.

1/ VRIJGEVEN VAN DE AS: de Axiom Lean Engine ⚙️ We bieden onze kerninfrastructuur voor formeel bewijs op schaal. Dit zijn dezelfde Lean metaprogrammeringstools die achter AxiomProver zitten, waarmee het in staat is om Putnam te winnen en onderzoeksconjecturen te doorbreken. Vandaag beschikbaar voor iedereen!

1/ AxiomProver heeft Fel's open conjectuur over syzygies van numerieke semigroepen opgelost, autonoom een formeel bewijs in Lean genererend zonder menselijke begeleiding. Dit is de eerste keer dat een AI-systeem een onopgelost onderzoeksprobleem in de theoriebouwende wiskunde heeft opgelost en zichzelf verifieert.