📰00Human mathematicians are being outcounterexampledHacker News·Human mathematicians are being outcounterexampled·about 2 months ago#c6LRrfpL#xenaproject#counterexample#lean#theory#mathematics#workshop+2 more🧰Tag tools✨Add tagIt’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…15s0Read later0Read More
