Isang startup na itinatag ng isang dropout mula sa Stanford na higit sa 15 buwan ang nakalipas ay nag-claim na nagawa nila ang isang bagay na karaniwang kumukuha ng dekada sa mga tao na matematiko: lutasin ang maraming hindi nalulutas na problema sa matematika gamit ang isang AI system, at pagkatapos ay tanggapin ng akademikong komunidad ang kanilang gawa.
Ang Axiom Math, isang kumpanya mula sa Palo Alto na pinamumunuan ng tagapagtatag na si Carina Hong, ay nagsasabing ang kanilang sistema na AxiomProver ay nalutas ang hindi bababa sa apat na dating hindi nalulutas na matematikal na problema. Ang mga patunay ay ipinost sa arXiv noong Pebrero 2026, ngunit hanggang sa huling bahagi ng Mayo 2026, walang mga publikasyon sa peer-reviewed journal ang masumpungan—isang pagkakaiba na inililipat ng pagsasalaysay.
Ano ang talagang nalutas ng Axiom
Hindi trivial ang mga problema na tinutugon ng AxiomProver. Kasama sa mga resulta ang mga solusyon sa mahahalagang konhektura sa alhebraikong heometriya at ang Fel’s Conjecture, isang problema na kaugnay sa gawa ni Srinivasa Ramanujan. Isa sa mga naresolbeng problema ay ang isang 20-taong-kalang na konhektura sa teoriya ng bilang.
Kamakailan ay may isa sa mga patunay na nanggaling sa pakikipag-ugnayan sa mga kilalang matematiko, hindi lamang sa output ng machine.
Gumagamit ang kumpanya ng pormal na pag-verify sa pamamagitan ng Lean proof assistant. Sa halip na magbuo ng teksto na tila isang patunay at umaasa na tama ito, gumagawa ang AxiomProver ng mga patunay na mekanikal na tiniyak ang lohikal na kawastuhan sa bawat hakbang. Ang pormal na layer ng pag-verify na ito ang nagbibigay ng kredibilidad sa gawaing ito na hindi taglay ng karaniwang mga output ng malalaking language model.
Ang pera at ang koponan sa likod nito
Kinabigyan ng $200 milyon ang Axiom Math sa Series A funding na pinamunuan ng Menlo Ventures, na nagpataas ng post-money valuation nito sa $1.6 bilyon. Ito ay idinagdag sa $64 milyon na mga nakaraang seed investment, na nagdudulot ng kabuuang kilalang pondo na $264 milyon. Umalis si Hong sa isang joint J.D./Ph.D. program sa Stanford upang magsimula ng venture noong Marso 2025.
Si Ken Ono, isang kilalang teorista ng bilang na kilala sa kanyang mga gawa tungkol sa pamana ni Ramanujan at modular forms, ay sumali sa Axiom Math bilang isang tagapagtatag na matematiko.
Mas malaking larawan para sa AI at matematika
Hindi nagtatrabaho ang Axiom Math sa isang vacuum. Ang Google’s DeepMind ay patuloy na umuunlad sa matematikal na pag-iisip, lalo na sa kanyang AlphaProof system.
Karaniwang praktika para sa mga matematiko na i-post ang mga preprint sa arXiv habang sinusuri ang mga papel ng mga eksperto, isang proseso na maaaring magtrabaho ng ilang buwan o kahit ilang taon. Ang mga pag-post sa arXiv noong Pebrero 2026 ay kasalukuyang pinagsusuri ng mga eksperto, at wala pang pinatotohanang mga publikasyon na sinusuri ng mga eksperto hanggang sa huling bahagi ng Mayo 2026.