Tiny Pickles: Why are AI companies investing so much in math proofs?

(blog.chaoticgood.computer)

1 points | by spelkington 7 hours ago ago