Synthetic data. It's already being done with code. And once we fully solve code – with autoformalization and automated code compilation proofs – it will open up a whole new level of intelligence for us.

→ View original post on X — @tunguz