Axiom Math launches Lattice Deduction Transformers, claiming its compact models easily outperform frontier LLMs on logical reasoning benchmarks · Digg