A startup says it broke through a math bottleneck in LLMs. Independent tests partly back the claim. — type0 | type0