RDLTR

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

One topic. Every takeSeek and you shall find

Reading up on Logos Research

1 deep · digging since jul 21

  • xenaproject.wordpress.com favicon
    Human mathematicians are being outcounterexampled

    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.