https://news.ycombinator.com/item?id=48983382
https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/
Fupio çevrimiçi paylaşmanın en kolay yolu Daha fazla bilgi »
Fupio'ya katılHacker News
https://news.ycombinator.com/item?id=48983382
https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/
XenaHuman mathematicians are being outcounterexampledIt’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…
