2026-07-22 [2026-07-22]
✍️source

July 20, 2026

- Jacobian Conjecture Counterexample
- #agent #lm #context
    - Language model harnesses are compositional generalizers
- #agent/idea #math
    - Counterexample Discovery Method
- #math
    - The new counterexample to the Jacobian conjecture
    - A digestion of the Jacobian conjecture counterexample
    - Human mathematicians are being outcounterexampled
- #math #formal
    - Counterexample to the Jacobian conjecture
    - Jacobian conjecture counterexample verification