xenaproject.wordpress.com

Human mathematicians are being outcounterexampled | Xena

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…

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.

Open source