{"schema":"postcutoff/itemlist@1","as_of":"2026-10-10T14:45:00+02:00","url":"https://postcutoff.com/news/science/2/","md":"https://postcutoff.com/news/science/2/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"Adam Bicz","policy":"https://postcutoff.com/about/"},"license":null,"item_type":"Event","scope":"science","page":2,"pages":4,"total":199,"per_page":50,"feed":"https://postcutoff.com/feeds/science.xml","items":[{"id":"2026-09-21-grad-conjecture-counterexamples","url":"https://postcutoff.com/e/2026-09-21-grad-conjecture-counterexamples/","date":"2026-09-21","date_precision":"day","short_title":"Grad's 1967 conjecture on 3D plasma equilibria falls","deck":"Two AI-assisted papers give three families of counterexamples","takeaway":"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.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":5,"official":3,"filed":"2026-09-30","updated":"2026-10-07","orgs":["University of Maryland","OpenAI","Anthropic"]},{"id":"2026-09-21-courtade-kumar-conjecture-proved","url":"https://postcutoff.com/e/2026-09-21-courtade-kumar-conjecture-proved/","date":"2026-09-21","date_precision":"day","short_title":"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","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":8,"official":6,"filed":"2026-10-09","updated":"2026-10-09","orgs":["Google","Chinese University of Hong Kong","FPT University","OpenAI"]},{"id":"2026-09-21-openai-100-open-problems-claim","url":"https://postcutoff.com/e/2026-09-21-openai-100-open-problems-claim/","date":"2026-09-21","date_precision":"day","short_title":"OpenAI says an internal model resolved 100+ long-standing open problems in 24 days of training (list released 6 Oct: 722 manuscripts)","deck":null,"takeaway":"If substantiated, it would mean open problems are being resolved at industrial scale.","category":"science","category_label":"Science & math","importance":3,"confidence":"low","status":{"key":"pending","labels":["Awaiting review"]},"sources":11,"official":5,"filed":"2026-09-29","updated":"2026-10-07","orgs":["OpenAI"]},{"id":"2026-09-19-millennium-problems-for-biology","url":"https://postcutoff.com/e/2026-09-19-millennium-problems-for-biology/","date":"2026-09-19","date_precision":"day","short_title":"FutureHouse and Edison Scientific publish twelve 'Millennium Problems for Biology', pitched as the 'last reasonable eval' for AI in biology","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":7,"official":5,"filed":"2026-10-03","updated":"2026-10-03","orgs":["FutureHouse","Edison Scientific"]},{"id":"2026-09-17-zeta-5-irrational-fauzan-lean-verified","url":"https://postcutoff.com/e/2026-09-17-zeta-5-irrational-fauzan-lean-verified/","date":"2026-09-17","date_precision":"day","short_title":"ζ(5) proved irrational","deck":"Aabir Fauzan's Zenodo preprint, the first such result since Apéry's ζ(3) in 1978, is formally verified in Lean within a week, one formalization written by Claude","takeaway":"It is the most famous number-theory result of the AI-assisted 2026 wave: a problem experts had worked on for about 48 years.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":10,"official":5,"filed":"2026-10-05","updated":"2026-10-05","orgs":["Aalto University","Google DeepMind","Anthropic"]},{"id":"2026-09-17-claude-biomolecular-modeling-speedups","url":"https://postcutoff.com/e/2026-09-17-claude-biomolecular-modeling-speedups/","date":"2026-09-17","date_precision":"day","short_title":"Claude speeds up 30+ open-source biology models about 4x and folds 10,000+ token complexes on one GPU node","deck":null,"takeaway":"Expert engineers normally need weeks per model to make such optimizations, and the work rarely transfers between models.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":7,"official":5,"filed":"2026-09-30","updated":"2026-09-30","orgs":["Anthropic","Adaptyv Bio"]},{"id":"2026-09-17-stanford-virtual-biotech-37000-agents","url":"https://postcutoff.com/e/2026-09-17-stanford-virtual-biotech-37000-agents/","date":"2026-09-17","date_precision":"day","short_title":"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","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":1,"filed":"2026-09-30","updated":"2026-09-30","orgs":["Stanford University"]},{"id":"2026-09-16-chvatal-conjecture-proved","url":"https://postcutoff.com/e/2026-09-16-chvatal-conjecture-proved/","date":"2026-09-16","date_precision":"day","short_title":"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","deck":null,"takeaway":"It is a clear example of the late-2026 pattern in mathematics.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":4,"official":4,"filed":"2026-10-01","updated":"2026-10-07","orgs":["Institute for Basic Science","OpenAI"]},{"id":"2026-09-16-liouville-goldbach-lean-proof","url":"https://postcutoff.com/e/2026-09-16-liouville-goldbach-lean-proof/","date":"2026-09-16","date_precision":"day","short_title":"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","deck":null,"takeaway":"The mathematics is formally verified and does answer a small open question.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":7,"official":2,"filed":"2026-09-30","updated":"2026-09-30","orgs":["Captain Sude (pseudonymous)"]},{"id":"2026-09-15-erdos-108-high-girth-problem-disproved-conjectures-io","url":"https://postcutoff.com/e/2026-09-15-erdos-108-high-girth-problem-disproved-conjectures-io/","date":"2026-09-15","date_precision":"day","short_title":"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","deck":null,"takeaway":"This is a well-known problem from Erdős's list, and the counterexample comes with a machine-checked proof.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":7,"official":7,"filed":"2026-10-05","updated":"2026-10-07","orgs":["Conjectures.io","Purdue University","OpenAI"]},{"id":"2026-09-15-openai-foundation-public-data-for-health","url":"https://postcutoff.com/e/2026-09-15-openai-foundation-public-data-for-health/","date":"2026-09-15","date_precision":"day","short_title":"OpenAI Foundation launches Public Data for Health with $125M+ in grants for open biomedical datasets","deck":null,"takeaway":"This is one of the first large disbursements from what may become the richest charity in the world, funded by its stake in OpenAI.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":4,"official":1,"filed":"2026-10-01","updated":"2026-10-01","orgs":["OpenAI Foundation"]},{"id":"2026-09-15-periodic-labs-neon","url":"https://postcutoff.com/e/2026-09-15-periodic-labs-neon/","date":"2026-09-15","date_precision":"day","short_title":"Periodic Labs introduces Periodic Neon, a 1T-parameter lab-trained model that beats GPT-6 Astra at X-ray diffraction analysis","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":4,"official":3,"filed":"2026-10-01","updated":"2026-10-01","orgs":["Periodic Labs"]},{"id":"2026-09-14-k-server-conjecture-proved","url":"https://postcutoff.com/e/2026-09-14-k-server-conjecture-proved/","date":"2026-09-14","date_precision":"day","short_title":"The k-server conjecture, the 'holy grail' of online algorithms, is proved at Oxford","deck":"ChatGPT 6 Astra generalised the authors' k = 3 proof to all k","takeaway":"The k-server conjecture is one of the best-known open problems in algorithms, and Koutsoupias co-proved the previous best bound in 1995.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":2,"official":1,"filed":"2026-09-30","updated":"2026-09-30","orgs":["University of Oxford","Christian Coester","Elias Koutsoupias","Marek Zbysiński","OpenAI"]},{"id":"2026-09-14-takeda-zasocitinib-fda-priority-review","url":"https://postcutoff.com/e/2026-09-14-takeda-zasocitinib-fda-priority-review/","date":"2026-09-14","date_precision":"day","short_title":"FDA grants priority review to Takeda's zasocitinib, a computationally designed TYK2 inhibitor, with a decision due Q1 2027","deck":null,"takeaway":"It could become the first FDA-approved drug widely described as computationally or AI-designed, just ahead of Insilico's rentosertib.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":4,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Takeda","Nimbus Therapeutics","Schrödinger"]},{"id":"2026-09-14-friedgut-coalition-conjecture-resolved","url":"https://postcutoff.com/e/2026-09-14-friedgut-coalition-conjecture-resolved/","date":"2026-09-14","date_precision":"day","short_title":"Friedgut's 2004 influential-coalitions conjecture resolved","deck":"Friedgut then has GPT-6 Astra simplify the proof","takeaway":"It is the first sublinear bound independent of alphabet size for collective coin flipping.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":2,"filed":"2026-10-05","updated":"2026-10-05","orgs":["Cornell University","Weizmann Institute of Science","OpenAI"]},{"id":"2026-09-11-fields-medalists-letter-ai-mathematics","url":"https://postcutoff.com/e/2026-09-11-fields-medalists-letter-ai-mathematics/","date":"2026-09-11","date_precision":"day","short_title":"Fields Medallists' open letter 'A Severe Misalignment of AI in Mathematics' criticises labs' race for famous problems","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":8,"official":3,"filed":"2026-09-29","updated":"2026-10-07","orgs":["mathandai.org"]},{"id":"2026-09-11-medvedev-logic-undecidable","url":"https://postcutoff.com/e/2026-09-11-medvedev-logic-undecidable/","date":"2026-09-11","date_precision":"day","short_title":"Medvedev's logic of finite problems (1962) shown undecidable","deck":"Key idea from ChatGPT Sol 5.6, central argument checked in Lean by Claude Opus 5","takeaway":"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\".","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":2,"filed":"2026-09-30","updated":"2026-10-07","orgs":["Rodrigo Nicolau Almeida","Søren Brinck Knudstorp","OpenAI","Anthropic"]},{"id":"2026-09-10-insilico-rentosertib-phase-3","url":"https://postcutoff.com/e/2026-09-10-insilico-rentosertib-phase-3/","date":"2026-09-10","date_precision":"day","short_title":"First Phase III trial of a generative-AI-discovered drug doses first patient","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":6,"official":3,"filed":"2026-09-29","updated":"2026-10-07","orgs":["Insilico Medicine"]},{"id":"2026-09-10-astra-leanopenproblems-september-results","url":"https://postcutoff.com/e/2026-09-10-astra-leanopenproblems-september-results/","date":"2026-09-10","date_precision":"day","short_title":"GPT-6 Astra's Epoch AI run adds more Lean-checked results","deck":"Dittert conjecture proved, Ibragimov–Iosifescu and eternal-domination conjectures disproved","takeaway":"Autonomous formal proof search now turns out a steady stream of mid-level resolved conjectures, not one-off headlines.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":6,"official":4,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI","Epoch AI"]},{"id":"2026-09-09-pierce-birkhoff-conjecture-disproved","url":"https://postcutoff.com/e/2026-09-09-pierce-birkhoff-conjecture-disproved/","date":"2026-09-09","date_precision":"day","short_title":"Pierce–Birkhoff conjecture disproved by a multi-agent GPT + Claude harness","deck":"Counterexamples Lean-verified","takeaway":"Pierce–Birkhoff is a classic problem in real algebraic geometry and ordered rings, open for 70 years.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":2,"filed":"2026-09-30","updated":"2026-09-30","orgs":["University of Chicago","Lek-Heng Lim","Zehua Lai","Junyu Ren","OpenAI","Anthropic"]},{"id":"2026-09-09-google-nasa-jpl-mapl-emit-methane","url":"https://postcutoff.com/e/2026-09-09-google-nasa-jpl-mapl-emit-methane/","date":"2026-09-09","date_precision":"day","short_title":"Google and NASA JPL release MAPL-EMIT, an AI model that maps methane plumes worldwide","deck":"It reads data from the EMIT space instrument; the paper is in PNAS.","takeaway":"Methane is a strong short-term warming gas (Google cites about 30x the warming potential of CO2 over 100 years).","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":5,"official":4,"filed":"2026-10-01","updated":"2026-10-01","orgs":["Google Research","NASA JPL"]},{"id":"2026-09-08-openai-navier-stokes-blowup","url":"https://postcutoff.com/e/2026-09-08-openai-navier-stokes-blowup/","date":"2026-09-08","date_precision":"day","short_title":"OpenAI claims a Millennium Prize problem","deck":"10,000 AI agents prove forced Navier–Stokes blow-up; priority dispute erupts","takeaway":"It is the first credible AI claim on a Clay Millennium Prize problem, even if only a technically permitted variant.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"disputed","labels":["Disputed"]},"sources":36,"official":4,"filed":"2026-09-29","updated":"2026-10-09","orgs":["OpenAI"]},{"id":"2026-09-08-alphagenome-atlas","url":"https://postcutoff.com/e/2026-09-08-alphagenome-atlas/","date":"2026-09-08","date_precision":"day","short_title":"AlphaGenome Atlas predicts the effect of all ~9 billion possible single-letter human DNA variants","deck":null,"takeaway":"Like the AlphaFold database for proteins, it turns a model into a lookup resource that could speed up rare-disease diagnosis.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":3,"filed":"2026-09-29","updated":"2026-09-30","orgs":["Google DeepMind"]},{"id":"2026-09-07-koethe-conjecture-disproved","url":"https://postcutoff.com/e/2026-09-07-koethe-conjecture-disproved/","date":"2026-09-07","date_precision":"day","short_title":"Pre-release GPT-6 Astra disproves the Köthe conjecture with a Lean-verified counterexample","deck":null,"takeaway":"If it survives review, it resolves one of the most famous open problems in ring theory, found autonomously and verified formally.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI","Epoch AI"]},{"id":"2026-09-07-anandkumar-euler-singularity-r3","url":"https://postcutoff.com/e/2026-09-07-anandkumar-euler-singularity-r3/","date":"2026-09-07","date_precision":"day","short_title":"Caltech team (Anandkumar) reports a stable self-similar singularity candidate for the unforced 3D Euler equations on R³, found with PINNs and LLM help","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Caltech"]},{"id":"2026-09-05-i3322-bell-inequality-infinite-dimensions","url":"https://postcutoff.com/e/2026-09-05-i3322-bell-inequality-infinite-dimensions/","date":"2026-09-05","date_precision":"day","short_title":"The I3322 Bell inequality needs infinite dimensions","deck":"Pál–Vértesi conjecture (2010) proved from an approximate proof by GPT-5.5 Pro","takeaway":"It settles a basic question about how much entanglement quantum correlations can require, in the smallest possible Bell scenario.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":1,"official":1,"filed":"2026-09-30","updated":"2026-09-30","orgs":["Andrea Coladangelo","University of Washington","OpenAI"]},{"id":"2026-09-04-claude-formalizes-fermats-last-theorem","url":"https://postcutoff.com/e/2026-09-04-claude-formalizes-fermats-last-theorem/","date":"2026-09-04","date_precision":"day","short_title":"Claude produces the first complete machine-checked proof of Fermat's Last Theorem in Lean, in 11 days","deck":null,"takeaway":"Formalising FLT had been a flagship multi-year human project.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":4,"official":2,"filed":"2026-09-29","updated":"2026-10-07","orgs":["Anthropic"]},{"id":"2026-09-04-reed-solomon-list-decoding-capacity-ai","url":"https://postcutoff.com/e/2026-09-04-reed-solomon-list-decoding-capacity-ai/","date":"2026-09-04","date_precision":"day","short_title":"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)","deck":null,"takeaway":"In early September 2026 two preprints settled long-standing problems about Reed–Solomon codes, the most widely used error-correcting codes.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":7,"official":7,"filed":"2026-10-07","updated":"2026-10-07","orgs":["Simons Institute","OpenAI","Ethereum Foundation"]},{"id":"2026-09-03-dying-percolation-theta-pc-zero","url":"https://postcutoff.com/e/2026-09-03-dying-percolation-theta-pc-zero/","date":"2026-09-03","date_precision":"day","short_title":"Claude-written Lean proof claims the dying percolation conjecture θ(p_c)=0 in every dimension","deck":null,"takeaway":"If the formal statement matches the intended theorem, a famous problem in mathematical physics is settled by machine-written formal mathematics.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":11,"official":5,"filed":"2026-09-29","updated":"2026-10-07","orgs":["Anthropic","OpenAI"]},{"id":"2026-09-03-erdos-sos-conjecture-proved-gpt-6-astra","url":"https://postcutoff.com/e/2026-09-03-erdos-sos-conjecture-proved-gpt-6-astra/","date":"2026-09-03","date_precision":"day","short_title":"GPT-6 Astra proves the Erdős–Sós conjecture with a short counting argument","deck":"Mathematicians race to simplify and extend it","takeaway":"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\".","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":10,"official":9,"filed":"2026-09-30","updated":"2026-09-30","orgs":["OpenAI","Epoch AI"]},{"id":"2026-09-03-frontiermath-erdos-astra-disproves-erdos-problem-1","url":"https://postcutoff.com/e/2026-09-03-frontiermath-erdos-astra-disproves-erdos-problem-1/","date":"2026-09-03","date_precision":"day","short_title":"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","deck":null,"takeaway":"Problem #1 is probably the longest-standing open Erdős problem.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":8,"official":5,"filed":"2026-09-30","updated":"2026-10-07","orgs":["OpenAI","Epoch AI"]},{"id":"2026-09-03-weathernext-3","url":"https://postcutoff.com/e/2026-09-03-weathernext-3/","date":"2026-09-03","date_precision":"day","short_title":"Google DeepMind's WeatherNext 3 learns from live satellite data","deck":"Hourly 5 km global forecasts and up to 60% better precipitation skill","takeaway":"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.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":5,"official":4,"filed":"2026-09-29","updated":"2026-10-07","orgs":["Google DeepMind","Google Research"]},{"id":"2026-09-03-male-fruit-fly-connectome","url":"https://postcutoff.com/e/2026-09-03-male-fruit-fly-connectome/","date":"2026-09-03","date_precision":"day","short_title":"Complete male fruit fly nervous-system connectome (166,000 neurons), reconstructed with Google AI, published in Cell","deck":null,"takeaway":"Connectomics is one of the clearest cases where AI turns an impossible manual task into a feasible one.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":8,"official":7,"filed":"2026-09-30","updated":"2026-09-30","orgs":["Google Research","HHMI Janelia","MRC Laboratory of Molecular Biology","University of Cambridge"]},{"id":"2026-09-03-pppl-pacman-fusion-ai-control","url":"https://postcutoff.com/e/2026-09-03-pppl-pacman-fusion-ai-control/","date":"2026-09-03","date_precision":"day","short_title":"PPPL's PACMAN framework lets multiple AI models control a tokamak in ~20 ms, preventing a tearing mode","deck":null,"takeaway":"It is a step toward the AI-supervised operation that future power-plant tokamaks such as SPARC and ITER are expected to need.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Princeton Plasma Physics Laboratory","General Atomics"]},{"id":"2026-09-02-krenn-nature-designing-physics-experiments-ai","url":"https://postcutoff.com/e/2026-09-02-krenn-nature-designing-physics-experiments-ai/","date":"2026-09-02","date_precision":"day","short_title":"Nature: 'Designing physics experiments with artificial intelligence' (Krenn group) on AI-found setups that beat human designs","deck":null,"takeaway":"It shows AI in science moving from analysing data to designing the instruments and experiments themselves.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":4,"official":3,"filed":"2026-09-30","updated":"2026-09-30","orgs":["University of Tübingen","TU Wien","University of Vienna"]},{"id":"2026-09-02-nvidia-nemotron-ioi-2026","url":"https://postcutoff.com/e/2026-09-02-nvidia-nemotron-ioi-2026/","date":"2026-09-02","date_precision":"month","short_title":"NVIDIA's Nemotron-3-Ultra-CC outscores every human at IOI 2026","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":4,"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["NVIDIA"]},{"id":"2026-08-30-bounded-prime-gaps-186","url":"https://postcutoff.com/e/2026-08-30-bounded-prime-gaps-186/","date":"2026-08-30","date_precision":"day","short_title":"GPT-6 Astra lowers the bounded prime gaps record from 246 to 186","deck":null,"takeaway":"Bounded prime gaps were one of the celebrated stories of 2013–14.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]},{"id":"2026-08-28-matrix-spencer-conjecture-proved","url":"https://postcutoff.com/e/2026-08-28-matrix-spencer-conjecture-proved/","date":"2026-08-28","date_precision":"day","short_title":"Matrix Spencer conjecture proved","deck":"Authors credit GPT-5.6 Sol Pro with 'the heavy-lifting' for the key lemma","takeaway":"Matrix Spencer was one of the headline open problems in discrepancy theory.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":2,"official":2,"filed":"2026-09-30","updated":"2026-09-30","orgs":["Emrullah Akbas","Suvrit Sra","OpenAI"]},{"id":"2026-08-27-antigravity-teamwork-open-problems","url":"https://postcutoff.com/e/2026-08-27-antigravity-teamwork-open-problems/","date":"2026-08-27","date_precision":"day","short_title":"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","deck":null,"takeaway":"It is another data point in the summer-2026 wave of AI-assisted results on open problems.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":6,"official":6,"filed":"2026-09-30","updated":"2026-09-30","orgs":["Google","Google DeepMind"]},{"id":"2026-08-26-erdos-rankin-large-prime-gaps-improved","url":"https://postcutoff.com/e/2026-08-26-erdos-rankin-large-prime-gaps-improved/","date":"2026-08-26","date_precision":"day","short_title":"GPT-5.6 improves the Erdős–Rankin / Ford–Green–Konyagin–Maynard–Tao bound for large prime gaps","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":6,"official":2,"filed":"2026-09-29","updated":"2026-09-30","orgs":["OpenAI"]},{"id":"2026-08-23-hopf-problem-s6-complex-structure","url":"https://postcutoff.com/e/2026-08-23-hopf-problem-s6-complex-structure/","date":"2026-08-23","date_precision":"day","short_title":"Claude-assisted construction claims a complex structure on the 6-sphere, answering Hopf's 1947 problem (pending verification)","deck":null,"takeaway":"The existence of a complex structure on S⁶ is one of the best-known open problems in geometry.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":2,"filed":"2026-09-29","updated":"2026-09-30","orgs":["Anthropic"]},{"id":"2026-08-23-elliptic-curve-rank-record-31","url":"https://postcutoff.com/e/2026-08-23-elliptic-curve-rank-record-31/","date":"2026-08-23","date_precision":"day","short_title":"Claude-assisted search breaks the elliptic curve rank record","deck":"Rank 30, then 31","takeaway":"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.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Anthropic"]},{"id":"2026-08-19-yau-tian-donaldson-cscK-disproof-claim","url":"https://postcutoff.com/e/2026-08-19-yau-tian-donaldson-cscK-disproof-claim/","date":"2026-08-19","date_precision":"day","short_title":"Peking University preprint claims an AI-found disproof of the Yau–Tian–Donaldson conjecture for constant scalar curvature metrics","deck":null,"takeaway":"The Yau–Tian–Donaldson programme is central to modern complex geometry, and the paper is explicit that its main result is AI-generated.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":2,"official":2,"filed":"2026-09-30","updated":"2026-10-07","orgs":["Peking University","Jihao Liu","Anthropic","OpenAI"]},{"id":"2026-08-18-claude-protein-binders-wet-lab","url":"https://postcutoff.com/e/2026-08-18-claude-protein-binders-wet-lab/","date":"2026-08-18","date_precision":"day","short_title":"Claude autonomously designs protein binders that work in the lab against 14 of 15 targets","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":4,"official":1,"filed":"2026-09-30","updated":"2026-10-07","orgs":["Anthropic","Adaptyv Bio","Twist Bioscience"]},{"id":"2026-08-18-palomar-lean-registry","url":"https://postcutoff.com/e/2026-08-18-palomar-lean-registry/","date":"2026-08-18","date_precision":"day","short_title":"Palomar launches: a registry of Lean-verified mathematics to curb misrepresented AI proof claims","deck":null,"takeaway":"Formal verification became the main way to trust AI mathematics in 2026.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":5,"official":5,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Lean FRO","ICARM"]},{"id":"2026-08-17-alphaevolve-matrix-multiplication-exponent","url":"https://postcutoff.com/e/2026-08-17-alphaevolve-matrix-multiplication-exponent/","date":"2026-08-17","date_precision":"day","short_title":"AlphaEvolve helps lower the matrix multiplication exponent ω to below 2.371177","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google DeepMind","MIT"]},{"id":"2026-08-13-banach-isometric-conjecture-solved","url":"https://postcutoff.com/e/2026-08-13-banach-isometric-conjecture-solved/","date":"2026-08-13","date_precision":"day","short_title":"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","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":2,"official":2,"filed":"2026-09-30","updated":"2026-09-30","orgs":["Xinbao Lu","Kaiwen Yang","Antonio Acuaviva","Tomasz Kania","OpenAI"]},{"id":"2026-08-12-claude-hadamard-matrices-below-2000","url":"https://postcutoff.com/e/2026-08-12-claude-hadamard-matrices-below-2000/","date":"2026-08-12","date_precision":"day","short_title":"Claude-assisted constructions complete Hadamard matrices for every order below 2000","deck":"Including 668","takeaway":"It closed a famous \"smallest unknown case\" that had stood for two decades, with an easily verified result.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Anthropic"]},{"id":"2026-08-10-claude-riemann-zeta-zeros-two-thirds","url":"https://postcutoff.com/e/2026-08-10-claude-riemann-zeta-zeros-two-thirds/","date":"2026-08-10","date_precision":"day","short_title":"Claude proves more than two-thirds of Riemann zeta zeros are simple and on the critical line (up from 41.6%)","deck":null,"takeaway":"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.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":6,"official":6,"filed":"2026-09-29","updated":"2026-10-07","orgs":["Anthropic"]},{"id":"2026-08-06-weathernext-open-source","url":"https://postcutoff.com/e/2026-08-06-weathernext-open-source/","date":"2026-08-06","date_precision":"day","short_title":"DeepMind open-sources WeatherNext 2 and WeatherNext Cyclones with a Nature paper showing ~1 extra day of hurricane warning","deck":null,"takeaway":null,"category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":7,"official":4,"filed":"2026-09-29","updated":"2026-10-10","orgs":["Google DeepMind","Google Research"]}]}