AI brute‑force solves math conjectures, reshaping research acceleration
Anthropic’s Fable helped Levent Alpöge find a counterexample to the Jacobian conjecture, and ChatGPT enabled Dmitry Rybin to refute another conjecture. These wins show that when experts pair with LLMs for rapid, verifiable experiments, AI can turn brute‑force searches into genuine discovery engines, speeding up scientific progress.