Competition math, open research problems and formal proofs.https://www.justaparrot.com/enAI Trackerhttps://www.justaparrot.com/e/claude-fable-5-2-release/https://www.justaparrot.com/e/claude-fable-5-2-release/Anthropic released it on 9 November 2026. Independent tests put it level with rivals on hard maths and behind them on PhD-level science.Tue, 10 Nov 2026 00:00:00 GMTbenchmarksmathhttps://www.justaparrot.com/e/myth-ai-cant-create-new-knowledge/https://www.justaparrot.com/e/myth-ai-cant-create-new-knowledge/AI disproved an 80-year-old conjecture and designed antibiotics that worked in mice. Real finds come where answers can be checked.Mon, 09 Nov 2026 00:00:00 GMTmythsmathbiologyhttps://www.justaparrot.com/e/eth-refutation-claim/https://www.justaparrot.com/e/eth-refutation-claim/OpenAI claims an AI-found algorithm refutes the Exponential Time Hypothesis, with a checked proof. The idea's originators are reviewing it.Mon, 09 Nov 2026 00:00:00 GMTmathcomputer-sciencehttps://www.justaparrot.com/e/openai-math-repository-721-manuscripts/https://www.justaparrot.com/e/openai-math-repository-721-manuscripts/An unnamed OpenAI model was set about 4,000 open problems and wrote up the results it claims. Most still await review by human experts.Mon, 09 Nov 2026 00:00:00 GMTmathautonomyhttps://www.justaparrot.com/e/quasi-riemann-hypothesis-ai-proof/https://www.justaparrot.com/e/quasi-riemann-hypothesis-ai-proof/The Riemann Hypothesis says key zeros of a famous function all have real part 1/2. An AI proof shows none lie beyond 7/8, a first.Mon, 09 Nov 2026 00:00:00 GMTmathhttps://www.justaparrot.com/e/navier-stokes-myth-ai-solved-it/https://www.justaparrot.com/e/navier-stokes-myth-ai-solved-it/OpenAI's proof needs a designed outside force pushing the fluid, which the prize rules allow. A fluid left alone is still an open question.Mon, 09 Nov 2026 00:00:00 GMTmythsmathhttps://www.justaparrot.com/e/frontiermath-tier-4-saturated/https://www.justaparrot.com/e/frontiermath-tier-4-saturated/In July 2025 the best AI solved 6% of Epoch AI's hardest, professor-written maths problems. By September 2026 top models scored 97.6–100%.Mon, 09 Nov 2026 00:00:00 GMTmathbenchmarkshttps://www.justaparrot.com/e/openai-navier-stokes-forced-blowup/https://www.justaparrot.com/e/openai-navier-stokes-forced-blowup/OpenAI says its AI proved fluids can break down, part of a $1 million prize problem. The force-free case is still open; credit is disputed.Mon, 09 Nov 2026 00:00:00 GMTmathautonomyhttps://www.justaparrot.com/e/buckmaster-alpoge-forced-euler-blowup/https://www.justaparrot.com/e/buckmaster-alpoge-forced-euler-blowup/Levent Alpöge and Tristan Buckmaster's checked proofs need a smooth outside push. The famous case of a fluid left alone is still open.Mon, 09 Nov 2026 00:00:00 GMTmathhttps://www.justaparrot.com/e/claude-formalizes-fermats-last-theorem/https://www.justaparrot.com/e/claude-formalizes-fermats-last-theorem/Claude agents made Wiles's proof checkable by computer, a job experts expected to take years. It checked a known proof; no new maths.Mon, 09 Nov 2026 00:00:00 GMTmathautonomyhttps://www.justaparrot.com/e/erdos-problems-ai-scorecard/https://www.justaparrot.com/e/erdos-problems-ai-scorecard/Counting every effort, AI has solved 17 of 68 major open Erdős problems. Under Epoch AI's strict test rules, the best model solves 3.Mon, 09 Nov 2026 00:00:00 GMTmathbenchmarkshttps://www.justaparrot.com/e/openai-ten-advances-astra/https://www.justaparrot.com/e/openai-ten-advances-astra/The 10 results include three Erdős problems, and anyone can re-check the proofs by computer. OpenAI reported only its successes.Mon, 09 Nov 2026 00:00:00 GMTmathcomputer-sciencecost-of-intelligencehttps://www.justaparrot.com/e/imo-2026-perfect-scores/https://www.justaparrot.com/e/imo-2026-perfect-scores/AI from Xiaohongshu and Huawei was reported as officially graded 42 of 42. Seven of 666 students also got full marks. In 2024 AI scored 28.Mon, 09 Nov 2026 00:00:00 GMTmathbenchmarkshttps://www.justaparrot.com/e/first-proof-second-batch/https://www.justaparrot.com/e/first-proof-second-batch/Four AI systems tried 10 research problems that had never been published. Referees graded the answers like journal papers.Mon, 09 Nov 2026 00:00:00 GMTmathbenchmarkshttps://www.justaparrot.com/e/deepmind-alphaproof-nexus/https://www.justaparrot.com/e/deepmind-alphaproof-nexus/AlphaProof Nexus also settled 44 of 492 conjectures about number sequences, for a few hundred dollars each. It failed on most it tried.Mon, 09 Nov 2026 00:00:00 GMTmathcost-of-intelligencehttps://www.justaparrot.com/e/erdos-unit-distance-conjecture-disproved/https://www.justaparrot.com/e/erdos-unit-distance-conjecture-disproved/An unreleased OpenAI model found a counterexample few experts expected. Mathematicians checked it the same day; one called it AI's best yet.Mon, 09 Nov 2026 00:00:00 GMTmathhttps://www.justaparrot.com/e/gauss-sphere-packing-dim8-formalized/https://www.justaparrot.com/e/gauss-sphere-packing-dim8-formalized/A team began in 2024 to turn Maryna Viazovska's proof into code a computer can check. Math Inc's AI, Gauss, finished it in February 2026.Mon, 09 Nov 2026 00:00:00 GMTmathhttps://www.justaparrot.com/e/deepmind-unstable-singularities-2025/https://www.justaparrot.com/e/deepmind-unstable-singularities-2025/Researchers at Google DeepMind, Brown, NYU and Stanford used AI to find them. They give mathematicians precise leads, not proofs.Mon, 09 Nov 2026 00:00:00 GMTmathhttps://www.justaparrot.com/e/imo-2025-gold-level/https://www.justaparrot.com/e/imo-2025-gold-level/Two AI systems solved 5 of 6 problems with plain-language proofs, in the time limits. The contest graded Google's; OpenAI chose its graders.Mon, 09 Nov 2026 00:00:00 GMTmathbenchmarkshttps://www.justaparrot.com/e/alphaevolve-algorithm-discovery/https://www.justaparrot.com/e/alphaevolve-algorithm-discovery/AlphaEvolve multiplies 4×4 grids of complex numbers in 48 steps, not 49, and beat the best known answer on about 20% of 50+ open problems.Mon, 09 Nov 2026 00:00:00 GMTmathcomputer-sciencehttps://www.justaparrot.com/e/erdos-gpt5-literature-search-overclaim/https://www.justaparrot.com/e/erdos-gpt5-literature-search-overclaim/In 2025 an OpenAI executive said GPT-5 solved 10 open Erdős problems; it had found old answers. Since 2026, AI solves open ones itself.Mon, 09 Nov 2026 00:00:00 GMTmath