Axiom
Axiom laat AI-agents het grootste wiskundebewijs controleren
Axiom zette de classificatie van eindige enkelvoudige groepen (15.000 pagina’s) in 24 dagen om naar Lean, met 43,1 miljoen regels code en tientallen AI-agents.
Axiom zette de classificatie van eindige enkelvoudige groepen (15.000 pagina’s) in 24 dagen om naar Lean, met 43,1 miljoen regels code en tientallen AI-agents.