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.

read later

For all the tabs you promised to read.
Save to read. Read to clear.

Close tabs. Keep links.