Alphazero, trained on synthetic data, was able to discover novel knowledge that enabled it to defeat real world human Go players. Likewise, number theorists can create new knowledge, though perhaps it was “implicit” all along. Going from implicit to explicit is valuable.

→ View original post on X — @erikbryn,