As of: 2026-10-10 14:45 CEST.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code). Human editor: Adam Bicz.
Canonical page: https://postcutoff.com/news/science/2/

# AI news: Science & math, page 2

199 events in Science & math of 1,105 in the log, newest first. Page 2 of 4, 50 events per page, grouped by the day each event happened.

## Monday 21 September 2026

- [Grad's 1967 conjecture on 3D plasma equilibria falls](https://postcutoff.com/e/2026-09-21-grad-conjecture-counterexamples/) (Science & math; University of Maryland, OpenAI, Anthropic; historic). It removes a long-standing theoretical doubt about smooth non-symmetric equilibria, which is relevant to stellarator design and gives exact test cases for equilibrium codes. Source: https://arxiv.org/abs/2609.24739
- [Courtade–Kumar 'most informative Boolean function' conjecture (2013) proved three times in two days, all with AI: Ky & Tran (ChatGPT), Google + CUHK (Gemini, Lean-verified end-to-end), Mahdavifar & Beirami](https://postcutoff.com/e/2026-09-21-courtade-kumar-conjecture-proved/) (Science & math; Google, Chinese University of Hong Kong, FPT University, OpenAI; major). A central 2013 conjecture of information theory, that one input bit (a dictator) keeps the most information through noise, fell to three independent proofs on 21–22 Sep 2026. All three teams disclose AI help; Google's 250-page proof says 'the overwhelming majority of the novel ideas' came from AI and is checked end-to-end in Lean. Source: https://arxiv.org/abs/2609.24931
- [OpenAI says an internal model resolved 100+ long-standing open problems in 24 days of training (list released 6 Oct: 722 manuscripts)](https://postcutoff.com/e/2026-09-21-openai-100-open-problems-claim/) (Science & math; OpenAI). If substantiated, it would mean open problems are being resolved at industrial scale. Source: https://github.com/openai/math

## Saturday 19 September 2026

- [FutureHouse and Edison Scientific publish twelve 'Millennium Problems for Biology', pitched as the 'last reasonable eval' for AI in biology](https://postcutoff.com/e/2026-09-19-millennium-problems-for-biology/) (Science & math; FutureHouse, Edison Scientific). Rodriques called them "the 'last reasonable eval' for AI in biology"; the launch post had ~508k views on X, and cash prizes and a judging panel were promised. Source: https://millenniumproblems.bio

## Thursday 17 September 2026

- [ζ(5) proved irrational](https://postcutoff.com/e/2026-09-17-zeta-5-irrational-fauzan-lean-verified/) (Science & math; Aalto University, Google DeepMind, Anthropic; historic). It is the most famous number-theory result of the AI-assisted 2026 wave: a problem experts had worked on for about 48 years. Source: https://zenodo.org/records/22826419
- [Claude speeds up 30+ open-source biology models about 4x and folds 10,000+ token complexes on one GPU node](https://postcutoff.com/e/2026-09-17-claude-biomolecular-modeling-speedups/) (Science & math; Anthropic, Adaptyv Bio). Expert engineers normally need weeks per model to make such optimizations, and the work rarely transfers between models. Source: https://www.anthropic.com/research/claude-uplifts-biomolecular-modeling
- [Science: Stanford's 'Virtual Biotech' of 37,000 AI agents mines ~50,000 clinical trials and designs a lung-cancer ADC later matched by pharma](https://postcutoff.com/e/2026-09-17-stanford-virtual-biotech-37000-agents/) (Science & math; Stanford University). It is one of the largest multi-agent scientific systems published in a top journal, and an early test of whether "AI companies of agents" can do drug-discovery work. Source: https://med.stanford.edu/news/all-news/2026/09/virtual-biotech-company.html

## Wednesday 16 September 2026

- [Chvátal's 1972 conjecture proved (Chang–Liu–Liu, ChatGPT-assisted), then a GPT-6 Astra 'proof from The Book' and a Codex-built Lean formalization](https://postcutoff.com/e/2026-09-16-chvatal-conjecture-proved/) (Science & math; Institute for Basic Science, OpenAI; major). It is a clear example of the late-2026 pattern in mathematics. Source: https://arxiv.org/abs/2609.19123
- [Lean-verified 'Liouville Goldbach' theorem goes viral as a GPT-6 Astra 'Goldbach breakthrough'; the AI role is unconfirmed and it is not the Goldbach conjecture](https://postcutoff.com/e/2026-09-16-liouville-goldbach-lean-proof/) (Science & math; Captain Sude (pseudonymous)). The mathematics is formally verified and does answer a small open question. Source: https://github.com/CaptainSude/Liouville-Goldbach

## Tuesday 15 September 2026

- [Erdős–Hajnal high-girth problem (Erdős #108) disproved with ChatGPT/Codex help and a Lean proof, via the Conjectures.io bounty; experts sharpen it with GPT-6 Astra](https://postcutoff.com/e/2026-09-15-erdos-108-high-girth-problem-disproved-conjectures-io/) (Science & math; Conjectures.io, Purdue University, OpenAI; major). This is a well-known problem from Erdős's list, and the counterexample comes with a machine-checked proof. Source: https://jenwin.io/papers/erdos108-arc-graphs.pdf
- [OpenAI Foundation launches Public Data for Health with $125M+ in grants for open biomedical datasets](https://postcutoff.com/e/2026-09-15-openai-foundation-public-data-for-health/) (Science & math; OpenAI Foundation). This is one of the first large disbursements from what may become the richest charity in the world, funded by its stake in OpenAI. Source: https://openaifoundation.org/news/public-data-for-health
- [Periodic Labs introduces Periodic Neon, a 1T-parameter lab-trained model that beats GPT-6 Astra at X-ray diffraction analysis](https://postcutoff.com/e/2026-09-15-periodic-labs-neon/) (Science & math; Periodic Labs). It shows a startup taking a Chinese open-weight frontier model and, with modest compute and proprietary experimental data, beating the best closed models on a narrow scientific task. Source: https://periodic.com/news/building-labs-that-learn

## Monday 14 September 2026

- [The k-server conjecture, the 'holy grail' of online algorithms, is proved at Oxford](https://postcutoff.com/e/2026-09-14-k-server-conjecture-proved/) (Science & math; University of Oxford, Christian Coester, Elias Koutsoupias, Marek Zbysiński, OpenAI; major). The k-server conjecture is one of the best-known open problems in algorithms, and Koutsoupias co-proved the previous best bound in 1995. Source: https://arxiv.org/abs/2609.15979
- [FDA grants priority review to Takeda's zasocitinib, a computationally designed TYK2 inhibitor, with a decision due Q1 2027](https://postcutoff.com/e/2026-09-14-takeda-zasocitinib-fda-priority-review/) (Science & math; Takeda, Nimbus Therapeutics, Schrödinger). It could become the first FDA-approved drug widely described as computationally or AI-designed, just ahead of Insilico's rentosertib. Source: https://www.takeda.com/newsroom/newsreleases/2026/fda-priority-review-zasocitinib-psoriasis/
- [Friedgut's 2004 influential-coalitions conjecture resolved](https://postcutoff.com/e/2026-09-14-friedgut-coalition-conjecture-resolved/) (Science & math; Cornell University, Weizmann Institute of Science, OpenAI). It is the first sublinear bound independent of alphabet size for collective coin flipping. Source: https://arxiv.org/abs/2609.16401

## Friday 11 September 2026

- [Fields Medallists' open letter 'A Severe Misalignment of AI in Mathematics' criticises labs' race for famous problems](https://postcutoff.com/e/2026-09-11-fields-medalists-letter-ai-mathematics/) (Science & math; mathandai.org). It marked open tension between AI labs and the mathematical community at the moment AI began producing major results, and shaped norms for credit and verification. Source: https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/
- [Medvedev's logic of finite problems (1962) shown undecidable](https://postcutoff.com/e/2026-09-11-medvedev-logic-undecidable/) (Science & math; Rodrigo Nicolau Almeida, Søren Brinck Knudstorp, OpenAI, Anthropic). It answers a well-known question in non-classical logic, and other logicians already build on it: on 30 September Han Xiao derived the undecidability of the logic Cheq from it, citing "the AI-generated proof". Source: https://arxiv.org/abs/2609.13359

## Thursday 10 September 2026

- [First Phase III trial of a generative-AI-discovered drug doses first patient](https://postcutoff.com/e/2026-09-10-insilico-rentosertib-phase-3/) (Science & math; Insilico Medicine; major). If positive (results likely 2027+), it would be the first approved generative-AI-discovered drug — the key proof point for AI drug discovery's promise to cut time and cost. Source: https://insilico.com/news/isn1009261-insilico-medicine-doses-first-patient-genesis-ipf-3
- [GPT-6 Astra's Epoch AI run adds more Lean-checked results](https://postcutoff.com/e/2026-09-10-astra-leanopenproblems-september-results/) (Science & math; OpenAI, Epoch AI). Autonomous formal proof search now turns out a steady stream of mid-level resolved conjectures, not one-off headlines. Source: https://arxiv.org/abs/2609.11500

## Wednesday 9 September 2026

- [Pierce–Birkhoff conjecture disproved by a multi-agent GPT + Claude harness](https://postcutoff.com/e/2026-09-09-pierce-birkhoff-conjecture-disproved/) (Science & math; University of Chicago, Lek-Heng Lim, Zehua Lai, Junyu Ren, OpenAI, Anthropic; major). Pierce–Birkhoff is a classic problem in real algebraic geometry and ordered rings, open for 70 years. Source: https://arxiv.org/abs/2609.10420
- [Google and NASA JPL release MAPL-EMIT, an AI model that maps methane plumes worldwide](https://postcutoff.com/e/2026-09-09-google-nasa-jpl-mapl-emit-methane/) (Science & math; Google Research, NASA JPL). Methane is a strong short-term warming gas (Google cites about 30x the warming potential of CO2 over 100 years). Source: https://blog.google/innovation-and-ai/models-and-research/google-research/mapping-global-methane-emissions-from-space/

## Tuesday 8 September 2026

- [OpenAI claims a Millennium Prize problem](https://postcutoff.com/e/2026-09-08-openai-navier-stokes-blowup/) (Science & math; OpenAI; historic). It is the first credible AI claim on a Clay Millennium Prize problem, even if only a technically permitted variant. Source: https://openai.com/index/navier-stokes-solution/
- [AlphaGenome Atlas predicts the effect of all ~9 billion possible single-letter human DNA variants](https://postcutoff.com/e/2026-09-08-alphagenome-atlas/) (Science & math; Google DeepMind). Like the AlphaFold database for proteins, it turns a model into a lookup resource that could speed up rare-disease diagnosis. Source: https://deepmind.google/blog/alphagenome-ai-for-better-understanding-the-genome/

## Monday 7 September 2026

- [Pre-release GPT-6 Astra disproves the Köthe conjecture with a Lean-verified counterexample](https://postcutoff.com/e/2026-09-07-koethe-conjecture-disproved/) (Science & math; OpenAI, Epoch AI; major). If it survives review, it resolves one of the most famous open problems in ring theory, found autonomously and verified formally. Source: https://arxiv.org/abs/2609.07996
- [Caltech team (Anandkumar) reports a stable self-similar singularity candidate for the unforced 3D Euler equations on R³, found with PINNs and LLM help](https://postcutoff.com/e/2026-09-07-anandkumar-euler-singularity-r3/) (Science & math; Caltech). Unforced Euler blow-up on R³ is a famous open problem in its own right, and it is a stepping stone toward the unforced Navier–Stokes question. Source: https://arxiv.org/abs/2609.10867

## Saturday 5 September 2026

- [The I3322 Bell inequality needs infinite dimensions](https://postcutoff.com/e/2026-09-05-i3322-bell-inequality-infinite-dimensions/) (Science & math; Andrea Coladangelo, University of Washington, OpenAI). It settles a basic question about how much entanglement quantum correlations can require, in the smallest possible Bell scenario. Source: https://arxiv.org/abs/2609.06038

## Friday 4 September 2026

- [Claude produces the first complete machine-checked proof of Fermat's Last Theorem in Lean, in 11 days](https://postcutoff.com/e/2026-09-04-claude-formalizes-fermats-last-theorem/) (Science & math; Anthropic; historic). Formalising FLT had been a flagship multi-year human project. Source: https://www.anthropic.com/research/formalizing-fermats-last-theorem
- [Reed–Solomon codes list-decoded up to capacity and proximity gaps settled, with GPT-5.6 Sol and ChatGPT 5.6 Pro (Brakensiek–Chen–Putterman–Zhang–Zheng; Jeronimo)](https://postcutoff.com/e/2026-09-04-reed-solomon-list-decoding-capacity-ai/) (Science & math; Simons Institute, OpenAI, Ethereum Foundation; major). In early September 2026 two preprints settled long-standing problems about Reed–Solomon codes, the most widely used error-correcting codes. Source: https://eccc.weizmann.ac.il/report/2026/164/

## Thursday 3 September 2026

- [Claude-written Lean proof claims the dying percolation conjecture θ(p_c)=0 in every dimension](https://postcutoff.com/e/2026-09-03-dying-percolation-theta-pc-zero/) (Science & math; Anthropic, OpenAI; historic). If the formal statement matches the intended theorem, a famous problem in mathematical physics is settled by machine-written formal mathematics. Source: https://github.com/anthropics/formal-math/blob/795efb86f191735c5481675763537cfb4ff37e55/percolation/README.md
- [GPT-6 Astra proves the Erdős–Sós conjecture with a short counting argument](https://postcutoff.com/e/2026-09-03-erdos-sos-conjecture-proved-gpt-6-astra/) (Science & math; OpenAI, Epoch AI; historic). Erdős–Sós is one of the best-known conjectures in extremal graph theory, and this is among the clearest cases of an AI finding a genuinely new, short idea that experts call "ingenious" and "surprising". Source: https://github.com/tadamcz/erdos548
- [Pre-release GPT-6 Astra disproves Erdős's 'first serious problem' (1931, $500) and proves the rational-exponents conjecture, all Lean-verified, in Epoch's FrontierMath Erdős runs](https://postcutoff.com/e/2026-09-03-frontiermath-erdos-astra-disproves-erdos-problem-1/) (Science & math; OpenAI, Epoch AI; historic). Problem #1 is probably the longest-standing open Erdős problem. Source: https://arxiv.org/abs/2609.25050
- [Google DeepMind's WeatherNext 3 learns from live satellite data](https://postcutoff.com/e/2026-09-03-weathernext-3/) (Science & math; Google DeepMind, Google Research; major). It is a step from AI emulating weather simulators to AI forecasting from raw observations, with global 5 km detail that regions without supercomputing budgets have lacked. Source: https://blog.google/innovation-and-ai/models-and-research/google-deepmind/introducing-weathernext-3/
- [Complete male fruit fly nervous-system connectome (166,000 neurons), reconstructed with Google AI, published in Cell](https://postcutoff.com/e/2026-09-03-male-fruit-fly-connectome/) (Science & math; Google Research, HHMI Janelia, MRC Laboratory of Molecular Biology, University of Cambridge). Connectomics is one of the clearest cases where AI turns an impossible manual task into a feasible one. Source: https://research.google/blog/a-connectomics-milestone-mapping-the-complete-male-fruit-fly-brain/
- [PPPL's PACMAN framework lets multiple AI models control a tokamak in ~20 ms, preventing a tearing mode](https://postcutoff.com/e/2026-09-03-pppl-pacman-fusion-ai-control/) (Science & math; Princeton Plasma Physics Laboratory, General Atomics). It is a step toward the AI-supervised operation that future power-plant tokamaks such as SPARC and ITER are expected to need. Source: https://www.pppl.gov/news/2026/pacman-ai-framework-controlling-fusion-systems-safely-makes-key-decisions-milliseconds

## Wednesday 2 September 2026

- [Nature: 'Designing physics experiments with artificial intelligence' (Krenn group) on AI-found setups that beat human designs](https://postcutoff.com/e/2026-09-02-krenn-nature-designing-physics-experiments-ai/) (Science & math; University of Tübingen, TU Wien, University of Vienna). It shows AI in science moving from analysing data to designing the instruments and experiments themselves. Source: https://www.nature.com/articles/s41586-026-10898-6

## September 2026, day not recorded

- [NVIDIA's Nemotron-3-Ultra-CC outscores every human at IOI 2026](https://postcutoff.com/e/2026-09-02-nvidia-nemotron-ioi-2026/) (Science & math; NVIDIA). Top-human performance in olympiad programming, previously only approached by closed frontier models, came from NVIDIA's Nemotron family rather than from a chatbot-focused frontier lab. Source: https://x.com/NVIDIAAI/status/2096032566310789528

## Sunday 30 August 2026

- [GPT-6 Astra lowers the bounded prime gaps record from 246 to 186](https://postcutoff.com/e/2026-08-30-bounded-prime-gaps-186/) (Science & math; OpenAI; major). Bounded prime gaps were one of the celebrated stories of 2013–14. Source: https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/short_gaps.pdf

## Friday 28 August 2026

- [Matrix Spencer conjecture proved](https://postcutoff.com/e/2026-08-28-matrix-spencer-conjecture-proved/) (Science & math; Emrullah Akbas, Suvrit Sra, OpenAI; major). Matrix Spencer was one of the headline open problems in discrepancy theory. Source: https://arxiv.org/abs/2608.28816

## Thursday 27 August 2026

- [Google's Antigravity 'Teamwork' multi-agent framework with Gemini 3.7 Flash solves seven open CS/math problems, incl. part of Knuth's cycles problem](https://postcutoff.com/e/2026-08-27-antigravity-teamwork-open-problems/) (Science & math; Google, Google DeepMind). It is another data point in the summer-2026 wave of AI-assisted results on open problems. Source: https://antigravity.google/blog/teamwork-when-ai-becomes-a-research-partner

## Wednesday 26 August 2026

- [GPT-5.6 improves the Erdős–Rankin / Ford–Green–Konyagin–Maynard–Tao bound for large prime gaps](https://postcutoff.com/e/2026-08-26-erdos-rankin-large-prime-gaps-improved/) (Science & math; OpenAI; major). Large prime gaps were famously advanced by Maynard and by Ford–Green–Konyagin–Tao in 2014–2018, and experts treated the FGKMT bound as hard to beat. Source: https://arxiv.org/abs/2609.15597

## Sunday 23 August 2026

- [Claude-assisted construction claims a complex structure on the 6-sphere, answering Hopf's 1947 problem (pending verification)](https://postcutoff.com/e/2026-08-23-hopf-problem-s6-complex-structure/) (Science & math; Anthropic; historic). The existence of a complex structure on S⁶ is one of the best-known open problems in geometry. Source: https://arxiv.org/abs/2609.26706
- [Claude-assisted search breaks the elliptic curve rank record](https://postcutoff.com/e/2026-08-23-elliptic-curve-rank-record-31/) (Science & math; Anthropic). An elliptic curve over Q with rank at least 30 was reported on 20 Aug 2026 and one with rank ≥31 on 23 Aug. These broke the Elkies–Klagsbrun rank-29 record from 2024. Source: https://icarm.io/news/new-record-breaking-elliptic-curve-reported/

## Wednesday 19 August 2026

- [Peking University preprint claims an AI-found disproof of the Yau–Tian–Donaldson conjecture for constant scalar curvature metrics](https://postcutoff.com/e/2026-08-19-yau-tian-donaldson-cscK-disproof-claim/) (Science & math; Peking University, Jihao Liu, Anthropic, OpenAI; major). The Yau–Tian–Donaldson programme is central to modern complex geometry, and the paper is explicit that its main result is AI-generated. Source: https://arxiv.org/abs/2608.19301

## Tuesday 18 August 2026

- [Claude autonomously designs protein binders that work in the lab against 14 of 15 targets](https://postcutoff.com/e/2026-08-18-claude-protein-binders-wet-lab/) (Science & math; Anthropic, Adaptyv Bio, Twist Bioscience; major). It was among the first wet-lab-validated demonstrations of a general-purpose LLM agent running a whole protein design campaign at or above expert level. Source: https://www.anthropic.com/research/Claude-accelerates-protein-design
- [Palomar launches: a registry of Lean-verified mathematics to curb misrepresented AI proof claims](https://postcutoff.com/e/2026-08-18-palomar-lean-registry/) (Science & math; Lean FRO, ICARM). Formal verification became the main way to trust AI mathematics in 2026. Source: https://palomar-registry.org/

## Monday 17 August 2026

- [AlphaEvolve helps lower the matrix multiplication exponent ω to below 2.371177](https://postcutoff.com/e/2026-08-17-alphaevolve-matrix-multiplication-exponent/) (Science & math; Google DeepMind, MIT). A paper by Alman, Vassilevska Williams and co-authors including DeepMind researchers (arXiv 2608.16884) improved the bound on the matrix multiplication exponent from ω < 2.371339 to ω < 2.371177. Source: https://arxiv.org/abs/2608.16884

## Thursday 13 August 2026

- [Banach's isometric conjecture (1932) completed in the real case with key steps from ChatGPT 5.5/5.6 Pro; complex and quaternionic cases follow five days later](https://postcutoff.com/e/2026-08-13-banach-isometric-conjecture-solved/) (Science & math; Xinbao Lu, Kaiwen Yang, Antonio Acuaviva, Tomasz Kania, OpenAI; major). Banach's conjecture is one of the oldest questions in the geometry of normed spaces, and Gromov's even-dimensional solution had left the remaining odd cases open. Source: https://arxiv.org/abs/2608.13536

## Wednesday 12 August 2026

- [Claude-assisted constructions complete Hadamard matrices for every order below 2000](https://postcutoff.com/e/2026-08-12-claude-hadamard-matrices-below-2000/) (Science & math; Anthropic). It closed a famous "smallest unknown case" that had stood for two decades, with an easily verified result. Source: https://epoch.ai/frontiermath/open-problems/hadamard

## Monday 10 August 2026

- [Claude proves more than two-thirds of Riemann zeta zeros are simple and on the critical line (up from 41.6%)](https://postcutoff.com/e/2026-08-10-claude-riemann-zeta-zeros-two-thirds/) (Science & math; Anthropic; historic). It does not prove the Riemann hypothesis, but it is a dramatic quantitative advance on the most famous problem in mathematics, and it was independently confirmed. Source: https://github.com/anthropics/formal-math

## Thursday 6 August 2026

- [DeepMind open-sources WeatherNext 2 and WeatherNext Cyclones with a Nature paper showing ~1 extra day of hurricane warning](https://postcutoff.com/e/2026-08-06-weathernext-open-source/) (Science & math; Google DeepMind, Google Research). Source: https://deepmind.google/blog/weathernext-ai-model-achieves-breakthrough-in-forecasting-cyclones/

Previous page: https://postcutoff.com/news/science/
Next page: https://postcutoff.com/news/science/3/

Other views: All https://postcutoff.com/news/; Major only https://postcutoff.com/news/major/; Policy & safety https://postcutoff.com/news/policy-safety/; Science & math https://postcutoff.com/news/science/; Business https://postcutoff.com/news/business/; Model releases https://postcutoff.com/news/model-release/; Research https://postcutoff.com/news/research/; Chips & compute https://postcutoff.com/news/hardware-compute/; Products https://postcutoff.com/news/product/; Open source https://postcutoff.com/news/open-source/; Agents https://postcutoff.com/news/agents/; Robotics https://postcutoff.com/news/robotics/; Media generation https://postcutoff.com/news/media-generation/; Benchmarks https://postcutoff.com/news/benchmark/; Culture https://postcutoff.com/news/culture/; Milestones https://postcutoff.com/news/milestone/.
Feeds: https://postcutoff.com/feeds/science.xml