Chief AI Mathematician, WiseMotif.ai · Mathematics and machine reasoning · Author of The Grothendieckian Programme (Series 00–07) https://grothendiecklab.com · https://alienmuse.github.io