Ett nytt AI-matematikstartup vid namn Axiom har enligt rapporter knäckt fyra långvariga matematiska problem, vilket visar framsteg inom artificiell intelligens resonemang. Företagets AI hanterade utmaningar inom områden som algebraisk geometri och talteori som förbryllat matematiker i åratal. Denna utveckling belyser AI:s växande förmågor att ta sig an komplexa akademiska pussel.
I ett nyligen annonserat uttalande hävdade Axiom, ett AI-fokuserat startup, att dess teknologi har löst fyra tidigare olösta problem inom matematik. Dessa inkluderar frågor inom algebraisk geometri, kalkyl och talteori, områden som länge utmanat forskare. Ett specifikt exempel rör arbete från för fem år sedan av matematikerna Dawei Chen och Quentin Gendron. De utforskade ett komplext område inom algebraisk geometri som inkluderar differentialer – kalkyl-element som används för att mäta avstånd på kurvade ytor. Under deras arbete med ett särskilt teorem stötte de på en barriär: deras bevis byggde på en obskyr formel från talteorin som de inte kunde lösa eller förklara. Som resultat publicerade Chen och Gendron sina fynd som en gissning snarare än ett fullständigt teorem. Axioms AI har nu tillhandahållit lösningar på sådana gissningar, vilket tyder på ett genombrott inom automatiserat resonemang för ren matematik. Startupens prestation pekar på AI:s potential att påskynda upptäckter inom teoretiska fält, där mänsklig intuition traditionellt dominerat. Experter varnar dock för att även om lovande kommer dessa AI-genererade bevis att kräva rigorös verifiering av den matematiska gemenskapen för att bekräfta deras giltighet. Händelsen understryker korsningen mellan artificiell intelligens och akademin, med implikationer för hur framtida forskning kan integrera maskinell assistans. Publicerad den 4 februari 2026 har nyheten väckt intresse hos AI-laboratorier som utmanar gränserna inom STEM-discipliner.