The speaker and mathematicians discussed whether an AlphaZero-style, zero-knowledge approach could enable an LLM to recreate mathematics from basic axioms.

“So I was recently talking with some mathematicians at a book launch party for The Proof in the Code, and kind of late into the evening we start talking about whether you could apply the Alpha zero approach, the zero knowledge approach to like having an LLM recreate mathematics if you just give it kind of the basic axioms.”