The Model Proposes, the Kernel Decides.
2026-07-22 Daily Report — ChatGPT and Claude produced counterexamples to open conjectures of Erdős and Grothendieck within weeks, some verified in the Lean proof language, and Terence Tao spent a post digesting the Jacobian result — but the result says less about neural reasoning than about a specific orchestration pattern: offloading hallucination control onto a symbolic kernel, made affordable the same day Flash-tier inference dropped.