Post 05 · Philosophical Dialogue
A Dialogue Concerning the Future of Mathematics
On Proof, Understanding, and Artificial Intelligence
Blog
Research notes, visual explanations, and ideas in progress.
Post 04 · Quantum Information Science
Gaussian Boson Sampling, Uniform Hiding, and Anticoncentration
From photon interference and the permanent to hafnians, including my results on both uniform hiding and local anticoncentration.
Post 03 · Formal Verification and AI
Lean and the Future of Theoretical Research
From chess and AI coding to scientific discovery: why verification matters, what Lean checks, and how I would organize research with AI and formal proofs.
Post 02 · Mathematics and AI
My First Vibemathing Attempt
A PDF, an overnight argument, and two days learning the geometry behind a problem that had resisted me for months.
Post 01 · Theoretical Research and AI
Entering the Era of Vibemathing
From the lowest-hanging Erdős problems to research at machine speed—and the question of what theoretical researchers should value next.