A startup says it cracked the maths bottleneck holding back AI. It finally has the receipts.