
@radokirov @michael_nielsen Sure thing!
timothychow.net/forcing.pdf
michaelnotebook.com/df/index.html
English
Greg Stanton
1.6K posts

@HigherMathNotes
Motivated, accessible math. YouTuber | Open-source developer | Aspiring independent researcher. Prev: @Wikimedia #Eventmath grantee. Views are my own.



Why am I excited about math formalization with AI assistance? Paradoxically, it might free up human time and exposition space for some more human, softer and often neglected aspects of mathematics - intuition, storytelling, experimentation, etc. (From arxiv.org/pdf/2603.26524)




