✳flâneur — a map of the web's best reading
Human mathematicians are being outcounterexampled | Xena
xenaproject.wordpress.com · saved by 1 readers
It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…
Explore this link on the map →