AxiomProver osiąga 12/12 na Putnam, autonomicznie rozwiązane, używając form lean dowodów bez wskazówek od ludzi. Rok 2026 zaczyna się szalenie mocno