😂"LLMs are not AI" This is just goalpost moving. AI is solving problems in mathematics that have remained unsolved by humans for decades. Other points, worth discussing. Erdős Problem #1196: In April 2026, GPT-5.4 Pro solved this number theory conjecture in roughly 80 minutes using the von Mangoldt function, a strategy previously unconsidered by humans. Jacobian Conjecture: In July 2026, mathematician Levant Alpöge used Anthropic’s Claude Fable 5 to find a counterexample to this 87-year-old problem, marking the most complex problem solved by AI to date. Dinitz-Garg-Goemans Conjecture: Also in July 2026, ChatGPT 5.6 Pro disproved this 30-year-old graph theory conjecture using only four simple prompts.