Axiom Math vrea să păstreze AI-ul departe de matematică

Startup-ul Axiom Math se concentrează pe verificarea dovezilor în matematică, într-un context în care inteligența artificială produce dovezi necontrolate. Agenții săi AI au verificat recent cu succes proiectul Stacks, o bibliotecă importantă în domeniu.