ended7월 21일· 1 sources
Human mathematicians are being outcounterexampled
Why it matters
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, counterexamples. Uni...
1
Sources
+0
24h
—
Growth
5d
Active