RDLTR

Short for Read Later. Save links from any browser or phone. Click to save, read to clear. The full tour

One line. Many voicesSeek and you shall find

xenaproject.wordpress.com faviconHuman mathematicians are being outcounterexampled

kept by

AI tools have rapidly generated and formalized counterexamples to longstanding conjectures such as Erdős’ unit distance, Grothendieck’s group scheme problem, and the Jacobian conjecture, showing machines now out‑counterexample humans.