{"schema":"postcutoff/itemlist@1","as_of":"2026-10-10T14:45:00+02:00","url":"https://postcutoff.com/news/science/3/","md":"https://postcutoff.com/news/science/3/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":3,"pages":4,"total":199,"per_page":50,"feed":"https://postcutoff.com/feeds/science.xml","items":[{"id":"2026-08-05-sendov-conjecture-proved","url":"https://postcutoff.com/e/2026-08-05-sendov-conjecture-proved/","date":"2026-08-05","date_precision":"day","short_title":"Sendov's 1958 conjecture on polynomial roots proved with GPT-5.6 Pro","deck":"Tao simplifies and formalises it","takeaway":"It is a classic, well-known conjecture closed by AI, with the leading expert on the problem verifying and formalising the result.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]},{"id":"2026-08-05-hrt-conjecture-disproved","url":"https://postcutoff.com/e/2026-08-05-hrt-conjecture-disproved/","date":"2026-08-05","date_precision":"day","short_title":"HRT conjecture (1996) disproved","deck":"12 time-frequency shifts of a Schwartz function are linearly dependent, found with ChatGPT-assisted guesswork","takeaway":"It is a clean example of the \"AI-assisted, human-written\" mode of discovery.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Faulhuber, Petersen, van Velthoven, Voigtlaender (academic mathematicians)"]},{"id":"2026-08-04-period-index-conjecture-false","url":"https://postcutoff.com/e/2026-08-04-period-index-conjecture-false/","date":"2026-08-04","date_precision":"day","short_title":"Alexander Perry disproves the period-index conjecture","deck":"A flawed ChatGPT example was the starting point","takeaway":"The period-index conjecture was a central open question on Brauer groups of function fields.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":1,"official":1,"filed":"2026-09-30","updated":"2026-09-30","orgs":["Alexander Perry","OpenAI"]},{"id":"2026-08-03-schiffer-pompeiu-conjectures-disproved","url":"https://postcutoff.com/e/2026-08-03-schiffer-pompeiu-conjectures-disproved/","date":"2026-08-03","date_precision":"day","short_title":"Planar Schiffer and Pompeiu conjectures disproved by two independent groups","deck":"One proof has a Lean certificate written by GPT-5.6","takeaway":"Schiffer's conjecture is a classic rigidity question and appears on Yau's list of open problems.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":7,"official":5,"filed":"2026-09-30","updated":"2026-09-30","orgs":["Matthew Colbrook","George Stepaniants","Gonzalo Cao-Labora","Jaume de Dios Pont"]},{"id":"2026-08-01-openai-astra-ten-advances","url":"https://postcutoff.com/e/2026-08-01-openai-astra-ten-advances/","date":"2026-08-01","date_precision":"day","short_title":"OpenAI's unreleased 'Astra' model claims ten advances in maths and theoretical CS, with Lean proofs","deck":null,"takeaway":"It moved the frontier from individual AI-assisted results to a lab producing batches of significant theorems.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":14,"official":5,"filed":"2026-09-29","updated":"2026-10-09","orgs":["OpenAI"]},{"id":"2026-08-01-openai-future-of-mathematics-summit","url":"https://postcutoff.com/e/2026-08-01-openai-future-of-mathematics-summit/","date":"2026-08-01","date_precision":"month","short_title":"OpenAI hosts a closed-door summit of about 40 mathematicians on the future of mathematics","deck":null,"takeaway":"A lab whose models were producing new maths results was now directly engaging the profession about its future.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"partly","labels":["Partly confirmed"]},"sources":6,"official":0,"filed":"2026-10-04","updated":"2026-10-04","orgs":["OpenAI"]},{"id":"2026-07-29-maxwell-point-charge-conjecture-false","url":"https://postcutoff.com/e/2026-07-29-maxwell-point-charge-conjecture-false/","date":"2026-07-29","date_precision":"day","short_title":"Maxwell's conjecture on equilibria of point charges is false","deck":"Five charges with at least 24 critical points, construction idea from GPT-5.6 Sol","takeaway":"It is a long-standing question at the boundary of physics and real algebraic geometry, and one of the few 2026 AI-assisted results in classical physics.","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":["Philip Arathoon","Gavin Ball","Matthew D. Kvalheim","OpenAI"]},{"id":"2026-07-27-crouzeix-conjecture-proved","url":"https://postcutoff.com/e/2026-07-27-crouzeix-conjecture-proved/","date":"2026-07-27","date_precision":"day","short_title":"Neurosurgery resident uses GPT-5.6 Sol to prove Crouzeix's conjecture in a 16-hour autonomous run","deck":null,"takeaway":"Along with #1196, it showed that frontier models let amateurs resolve famous problems, which upended assumptions about who can do research mathematics.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":1,"filed":"2026-09-29","updated":"2026-09-30","orgs":["OpenAI"]},{"id":"2026-07-24-tao-icm-mathematics-in-the-age-of-ai","url":"https://postcutoff.com/e/2026-07-24-tao-icm-mathematics-in-the-age-of-ai/","date":"2026-07-24","date_precision":"day","short_title":"Terence Tao's ICM 2026 public lecture 'Mathematics in the age of AI' calls a crisis in the foundations of mathematical values","deck":null,"takeaway":"It was the most prominent framing of AI-and-mathematics at the field's main quadrennial event.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":8,"official":5,"filed":"2026-09-29","updated":"2026-09-29","orgs":["International Congress of Mathematicians","UCLA"]},{"id":"2026-07-24-rota-flats-unimodality-disproved","url":"https://postcutoff.com/e/2026-07-24-rota-flats-unimodality-disproved/","date":"2026-07-24","date_precision":"day","short_title":"Rota's 1970 unimodality conjecture for matroid flats disproved, with ChatGPT 5.6 Pro suggesting a key construction","deck":null,"takeaway":"Rota's conjecture was one of the best-known open problems about matroids.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":4,"official":4,"filed":"2026-09-30","updated":"2026-09-30","orgs":["OpenAI","Anthropic"]},{"id":"2026-07-24-hessian-conjecture-counterexample","url":"https://postcutoff.com/e/2026-07-24-hessian-conjecture-counterexample/","date":"2026-07-24","date_precision":"day","short_title":"Hessian conjecture refuted in five variables, derived from Claude-found Jacobian counterexample","deck":null,"takeaway":"It shows how AI-found results feed quickly into human follow-up work.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":2,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Independent researchers"]},{"id":"2026-07-23-imo-2026-ai-perfect-scores","url":"https://postcutoff.com/e/2026-07-23-imo-2026-ai-perfect-scores/","date":"2026-07-23","date_precision":"day","short_title":"AI systems score a perfect 42/42 at IMO 2026, officially graded","deck":null,"takeaway":"Olympiad math is now saturated as an AI benchmark just one year after the first gold-level results; attention shifts to research-level math (FrontierMath Tier 4, Erdős problems).","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":7,"official":0,"filed":"2026-09-29","updated":"2026-10-07","orgs":["Huawei","Xiaohongshu (RedNote)"]},{"id":"2026-07-20-jacobian-conjecture-counterexample","url":"https://postcutoff.com/e/2026-07-20-jacobian-conjecture-counterexample/","date":"2026-07-20","date_precision":"day","short_title":"Claude Fable 5 finds a counterexample to the Jacobian conjecture in dimension 3","deck":null,"takeaway":"The Jacobian conjecture is one of the most famous open problems in algebra.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":4,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Anthropic"]},{"id":"2026-07-17-cycle-double-cover-conjecture-proved","url":"https://postcutoff.com/e/2026-07-17-cycle-double-cover-conjecture-proved/","date":"2026-07-17","date_precision":"day","short_title":"GPT-5.6 Sol Ultra proves the 50-year-old cycle double cover conjecture","deck":null,"takeaway":"Along with the Jacobian counterexample the same week, it marked the point where famous named conjectures, not just Erdős-list problems, began falling to AI.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":4,"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]},{"id":"2026-07-14-gpt-5-6-zeroth-order-convex-lower-bound","url":"https://postcutoff.com/e/2026-07-14-gpt-5-6-zeroth-order-convex-lower-bound/","date":"2026-07-14","date_precision":"day","short_title":"Berkeley's Phillip Kerger uses GPT-5.6 Sol and a 10-page prompt to close a 30-year gap in derivative-free convex optimization","deck":null,"takeaway":"Most of the summer's AI-math headlines came from the labs themselves.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":7,"official":4,"filed":"2026-10-02","updated":"2026-10-02","orgs":["UC Berkeley","OpenAI"]},{"id":"2026-07-01-grothendieck-group-scheme-counterexample","url":"https://postcutoff.com/e/2026-07-01-grothendieck-group-scheme-counterexample/","date":"2026-07-01","date_precision":"month","short_title":"AI-assisted counterexample answers Grothendieck's question on finite flat group schemes, merged into Mathlib","deck":null,"takeaway":"Kevin Buzzard said this mattered more to him than the Erdős results because it lies in \"an area of mathematics that I personally find more interesting\".","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":0,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI","Anthropic"]},{"id":"2026-06-29-ml-screened-kagome-superconductors","url":"https://postcutoff.com/e/2026-06-29-ml-screened-kagome-superconductors/","date":"2026-06-29","date_precision":"day","short_title":"Machine-learning screen predicts two new kagome superconductors, confirmed in the lab","deck":null,"takeaway":"It is a modest but clean prediction-then-confirmation loop in superconductor research, a field full of hype.","category":"science","category_label":"Science & math","importance":2,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":0,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Aalto University","Rice University"]},{"id":"2026-06-05-ai-designed-coronavirus-vaccine-trial","url":"https://postcutoff.com/e/2026-06-05-ai-designed-coronavirus-vaccine-trial/","date":"2026-06-05","date_precision":"day","short_title":"Computationally designed broad coronavirus vaccine is safe and immunogenic in first human trial","deck":null,"takeaway":"It is an early human validation of computer-designed vaccine antigens, relevant to pandemic preparedness.","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":["University of Cambridge","DIOSynVax"]},{"id":"2026-05-27-sum-product-conjecture-false-over-reals","url":"https://postcutoff.com/e/2026-05-27-sum-product-conjecture-false-over-reals/","date":"2026-05-27","date_precision":"day","short_title":"Erdős–Szemerédi sum-product conjecture shown false over the reals","deck":"A GPT-5.5 Pro agent re-disproves it in 7 of 8 runs","takeaway":"It shows AI ideas spreading into human research and then being reproduced autonomously: a feedback loop between AI and human mathematicians.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]},{"id":"2026-05-20-ai-disproves-erdos-unit-distance-conjecture","url":"https://postcutoff.com/e/2026-05-20-ai-disproves-erdos-unit-distance-conjecture/","date":"2026-05-20","date_precision":"day","short_title":"OpenAI model disproves Erdős's 80-year-old unit distance conjecture","deck":null,"takeaway":"This is the moment AI crossed from solving competition problems to settling a famous open research conjecture, reshaping debate about AI's role in mathematics.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":8,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]},{"id":"2026-05-12-gaussian-completely-monotone-disproved","url":"https://postcutoff.com/e/2026-05-12-gaussian-completely-monotone-disproved/","date":"2026-05-12","date_precision":"day","short_title":"GPT-5.5 Pro finds counterexample disproving McKean's 1966 conjecture and the Gaussian completely monotone conjecture","deck":null,"takeaway":"It is part of 2026's striking pattern of AI counterexamples: models proved especially good at finding objects that break long-believed conjectures.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]},{"id":"2026-05-09-deepmind-ai-co-mathematician","url":"https://postcutoff.com/e/2026-05-09-deepmind-ai-co-mathematician/","date":"2026-05-09","date_precision":"day","short_title":"Google DeepMind's 'AI co-mathematician' sets FrontierMath Tier 4 record and helps resolve a Kourovka Notebook problem","deck":null,"takeaway":"FrontierMath Tier 4, built to resist AI for years, was nearly half solved 18 months after launch.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google DeepMind","University of Oxford"]},{"id":"2026-05-03-erdos-1196-primitive-sets","url":"https://postcutoff.com/e/2026-05-03-erdos-1196-primitive-sets/","date":"2026-05-03","date_precision":"day","short_title":"Amateur with GPT-5.4 Pro 'vibe-maths' a 60-year-old Erdős conjecture on primitive sets","deck":"Tao co-authors the paper","takeaway":"It was the first AI solution to a well-known, decades-old Erdős conjecture that specialists had actively worked on, not just an obscure entry.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]},{"id":"2026-05-01-borsuk-conjecture-dimension-63","url":"https://postcutoff.com/e/2026-05-01-borsuk-conjecture-dimension-63/","date":"2026-05-01","date_precision":"month","short_title":"GPT-5.5 Pro-assisted construction lowers the smallest known Borsuk counterexample dimension from 64 to 63","deck":null,"takeaway":"It is a clean, checkable improvement to a well-known geometry record.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":5,"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]},{"id":"2026-03-10-alphaevolve-ramsey-lower-bounds","url":"https://postcutoff.com/e/2026-03-10-alphaevolve-ramsey-lower-bounds/","date":"2026-03-10","date_precision":"day","short_title":"AlphaEvolve improves lower bounds for nine classical Ramsey numbers","deck":null,"takeaway":"Small Ramsey numbers are among the most-studied computational problems in combinatorics; AI-found improvements across nine at once showed the reach of evolutionary LLM search.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google"]},{"id":"2026-03-01-gauss-sphere-packing-formalization","url":"https://postcutoff.com/e/2026-03-01-gauss-sphere-packing-formalization/","date":"2026-03-01","date_precision":"month","short_title":"Math Inc's Gauss formalises Viazovska's sphere-packing proofs in dimensions 8 and 24, fixing errors in the originals","deck":null,"takeaway":"AI autoformalization reached Fields-Medal-level proofs, strengthening the case that formal verification can keep up with the flood of AI-generated mathematics.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Math Inc"]},{"id":"2026-03-25-raven-tess-118-new-planets","url":"https://postcutoff.com/e/2026-03-25-raven-tess-118-new-planets/","date":"2026-03-25","date_precision":"month","short_title":"RAVEN machine-learning pipeline validates 118 new planets in TESS data","deck":null,"takeaway":"It continues AI's role as the main filter for exoplanet surveys.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["University of Warwick"]},{"id":"2026-02-28-knuth-claudes-cycles","url":"https://postcutoff.com/e/2026-02-28-knuth-claudes-cycles/","date":"2026-02-28","date_precision":"day","short_title":"Claude Opus 4.6 solves an open Hamiltonian-cycle problem, Donald Knuth reports","deck":null,"takeaway":"Coming from one of computing's most respected and AI-sceptical elders, the note became a cultural marker that frontier LLMs could contribute original mathematical constructions.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Anthropic","Stanford University"]},{"id":"2026-02-14-first-proof-challenge","url":"https://postcutoff.com/e/2026-02-14-first-proof-challenge/","date":"2026-02-14","date_precision":"day","short_title":"AI solves about half of 10 unpublished research problems in the 'First Proof' challenge","deck":null,"takeaway":"It gave a cleaner measure than olympiads of whether AI can do research maths: at the time, about half the time.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-10-05","orgs":["Google DeepMind","OpenAI"]},{"id":"2026-02-13-gpt-5-2-single-minus-gluon-amplitudes","url":"https://postcutoff.com/e/2026-02-13-gpt-5-2-single-minus-gluon-amplitudes/","date":"2026-02-13","date_precision":"day","short_title":"GPT-5.2 conjectures, and an OpenAI model proves, that 'single-minus' gluon tree amplitudes are nonzero","deck":null,"takeaway":"It is a showcase of LLMs as conjecture engines in theoretical physics, though critics dispute its physical significance and the AI's share of the insight.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"disputed","labels":["Disputed"]},"sources":4,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI","Institute for Advanced Study","Harvard University","University of Cambridge","Vanderbilt University"]},{"id":"2026-02-11-deepmind-aletheia-deep-think-science","url":"https://postcutoff.com/e/2026-02-11-deepmind-aletheia-deep-think-science/","date":"2026-02-11","date_precision":"day","short_title":"DeepMind's Aletheia agent and Gemini Deep Think report autonomous Erdős solutions and new physics and CS results","deck":null,"takeaway":"Google's answer to OpenAI's maths push showed that several labs could now produce publishable research-level results, although many were on problems nobody had seriously attacked.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google DeepMind"]},{"id":"2026-02-10-isomorphic-isodde","url":"https://postcutoff.com/e/2026-02-10-isomorphic-isodde/","date":"2026-02-10","date_precision":"day","short_title":"Isomorphic Labs unveils IsoDDE drug-discovery engine, hailed as 'an AlphaFold 4'","deck":"But proprietary","takeaway":"Shows AI structural biology continuing to advance fast, but also a shift from DeepMind's open-science AlphaFold tradition toward proprietary commercial models.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":2,"official":0,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Isomorphic Labs","Google DeepMind"]},{"id":"2026-02-05-gpt-5-ginkgo-autonomous-lab","url":"https://postcutoff.com/e/2026-02-05-gpt-5-ginkgo-autonomous-lab/","date":"2026-02-05","date_precision":"day","short_title":"GPT-5 autonomously runs 36,000 experiments in Ginkgo's cloud lab, cutting protein-synthesis cost 40%","deck":null,"takeaway":"It is a concrete, economically meaningful result from an LLM driving a physical lab end-to-end.","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":["OpenAI","Ginkgo Bioworks"]},{"id":"2026-01-06-erdos-728-gpt-5-2-aristotle","url":"https://postcutoff.com/e/2026-01-06-erdos-728-gpt-5-2-aristotle/","date":"2026-01-06","date_precision":"day","short_title":"Erdős problem #728 solved near-autonomously by GPT-5.2 Pro and Harmonic's Aristotle, with a Lean proof","deck":null,"takeaway":"It showed the combination of informal LLM reasoning with formal verification as a practical, trustworthy workflow for research maths that non-experts could run.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI","Harmonic"]},{"id":"2025-12-08-ai-erdos-problems-wave-late-2025","url":"https://postcutoff.com/e/2025-12-08-ai-erdos-problems-wave-late-2025/","date":"2025-12-08","date_precision":"day","short_title":"Genuine AI-assisted solutions to Erdős problems begin","deck":"#124 (Aristotle), #1026 (48-hour human–AI collaboration)","takeaway":"Erdős problems became the first large, public, verifiable scoreboard for AI in research mathematics, and set the stage for 2026's much larger results.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":5,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Harmonic","Google DeepMind","OpenAI"]},{"id":"2025-12-06-axiomprover-putnam-2025","url":"https://postcutoff.com/e/2025-12-06-axiomprover-putnam-2025/","date":"2025-12-06","date_precision":"day","short_title":"AxiomProver produces machine-checked Lean proofs for all 12 Putnam 2025 problems","deck":null,"takeaway":"Formal verification removes grading disputes like those around informal IMO proofs, and showed formal provers catching up with informal LLMs on hard competition maths.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Axiom Math"]},{"id":"2025-12-01-ai-finds-1400-anomalies-hubble-archive","url":"https://postcutoff.com/e/2025-12-01-ai-finds-1400-anomalies-hubble-archive/","date":"2025-12-01","date_precision":"month","short_title":"AI searches 100 million Hubble images in 2.5 days, finding ~1,400 anomalies including 800+ never described","deck":null,"takeaway":"It shows the AI-first search pattern that surveys such as Rubin/LSST and Euclid will depend on.","category":"science","category_label":"Science & math","importance":2,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["European Space Agency"]},{"id":"2025-12-01-hsu-gpt-5-physics-paper-dispute","url":"https://postcutoff.com/e/2025-12-01-hsu-gpt-5-physics-paper-dispute/","date":"2025-12-01","date_precision":"month","short_title":"Physics Letters B paper built on a GPT-5 idea draws criticism that it tests the wrong thing","deck":null,"takeaway":"It is a cautionary example: AI-originated ideas can pass peer review and still be wrong or misframed.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"disputed","labels":["Disputed"]},"sources":3,"official":0,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Michigan State University","OpenAI"]},{"id":"2025-11-20-openai-gpt-5-science-acceleration","url":"https://postcutoff.com/e/2025-11-20-openai-gpt-5-science-acceleration/","date":"2025-11-20","date_precision":"day","short_title":"OpenAI publishes 'Early science acceleration experiments with GPT-5'","deck":"Including four new math results","takeaway":"It marked a shift from benchmark claims to documented research contributions, and set the template for OpenAI's 2026 \"OpenAI for Science\" results.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":4,"official":4,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]},{"id":"2025-11-05-alphaevolve-tao-67-problems","url":"https://postcutoff.com/e/2025-11-05-alphaevolve-tao-67-problems/","date":"2025-11-05","date_precision":"day","short_title":"Tao, Gómez-Serrano, Georgiev and Wagner test AlphaEvolve on 67 maths problems","deck":null,"takeaway":"Coming from Tao, it gave the maths community a credible, balanced picture of what AI search could do, just before the 2026 surge.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google DeepMind","UCLA","Brown University"]},{"id":"2025-11-05-ai-designed-antibodies-rfdiffusion","url":"https://postcutoff.com/e/2025-11-05-ai-designed-antibodies-rfdiffusion/","date":"2025-11-05","date_precision":"month","short_title":"Baker lab designs antibodies from scratch with atomic accuracy using RFdiffusion","deck":null,"takeaway":"Computational antibody design could replace months of animal immunisation and library screening in drug discovery.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["University of Washington Institute for Protein Design"]},{"id":"2025-11-05-kosmos-ai-scientist","url":"https://postcutoff.com/e/2025-11-05-kosmos-ai-scientist/","date":"2025-11-05","date_precision":"month","short_title":"Edison Scientific's Kosmos AI scientist claims six months of research per run","deck":null,"takeaway":"It is an early commercial \"AI scientist\" whose headline value is reproducing months-long analyses overnight.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Edison Scientific","FutureHouse"]},{"id":"2025-10-24-genentech-gneprop-antibacterial-screening","url":"https://postcutoff.com/e/2025-10-24-genentech-gneprop-antibacterial-screening/","date":"2025-10-24","date_precision":"day","short_title":"Genentech's GNEprop screens 1.4 billion virtual compounds and finds 82 new antibacterial hits","deck":null,"takeaway":"Industrial-scale evidence for ML-guided antibiotic discovery, following MIT's halicin and abaucin work.","category":"science","category_label":"Science & math","importance":2,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":4,"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Genentech","NVIDIA","Mila"]},{"id":"2025-10-22-agents4science-conference","url":"https://postcutoff.com/e/2025-10-22-agents4science-conference/","date":"2025-10-22","date_precision":"day","short_title":"Agents4Science 2025, the first conference where AI must be first author and reviewer","deck":null,"takeaway":"It made AI authorship an explicit, measurable experiment rather than a hidden practice, and produced data on the strengths and failure modes of AI reviewers.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":4,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Stanford University","Together AI"]},{"id":"2025-10-17-gpt-5-erdos-problems-controversy","url":"https://postcutoff.com/e/2025-10-17-gpt-5-erdos-problems-controversy/","date":"2025-10-17","date_precision":"day","short_title":"OpenAI researchers claim GPT-5 'solved' 10 Erdős problems","deck":"The solutions were already in the literature","takeaway":"The episode set the standard of scepticism for later AI maths claims, and led to Tao's public wiki tracking exactly what AI contributed to each Erdős problem.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"retracted","labels":["Retracted"]},"sources":3,"official":0,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]},{"id":"2025-10-16-deepmind-cfs-torax-fusion","url":"https://postcutoff.com/e/2025-10-16-deepmind-cfs-torax-fusion/","date":"2025-10-16","date_precision":"day","short_title":"Google DeepMind partners with Commonwealth Fusion Systems to optimise and control the SPARC tokamak with AI","deck":null,"takeaway":"It moves AI plasma control from academic demos (TCV, DIII-D) into the commissioning plan of a privately built machine that aims for net energy.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":2,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google DeepMind","Commonwealth Fusion Systems"]},{"id":"2025-10-15-c2s-scale-gemma-cancer-hypothesis","url":"https://postcutoff.com/e/2025-10-15-c2s-scale-gemma-cancer-hypothesis/","date":"2025-10-15","date_precision":"day","short_title":"Google's C2S-Scale 27B model generates a new cancer-immunotherapy hypothesis confirmed in living cells","deck":null,"takeaway":"It is evidence that scaling biological foundation models can yield testable, novel hypotheses, though only in vitro so far.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google Research","Google DeepMind","Yale University"]},{"id":"2025-09-27-aaronson-gpt-5-qma-proof","url":"https://postcutoff.com/e/2025-09-27-aaronson-gpt-5-qma-proof/","date":"2025-09-27","date_precision":"day","short_title":"Scott Aaronson credits GPT-5 with a key step in a quantum complexity proof","deck":null,"takeaway":"It was a credible, first-person account from a top theorist of an LLM contributing a genuine idea to a published result.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["UT Austin","CWI","OpenAI"]},{"id":"2025-09-22-alphaevolve-hardness-of-approximation","url":"https://postcutoff.com/e/2025-09-22-alphaevolve-hardness-of-approximation/","date":"2025-09-22","date_precision":"day","short_title":"AlphaEvolve finds gadgets that prove new NP-hardness of approximation bounds for MAX-k-CUT","deck":null,"takeaway":"AI-found objects became ingredients of rigorous complexity-theory theorems, not just numeric improvements.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google Research","Google DeepMind"]},{"id":"2025-09-17-deepmind-unstable-singularities-fluids","url":"https://postcutoff.com/e/2025-09-17-deepmind-unstable-singularities-fluids/","date":"2025-09-17","date_precision":"day","short_title":"DeepMind and mathematicians use neural networks to find new unstable singularities in fluid equations","deck":null,"takeaway":"It was the groundwork of the AI-plus-computer-assisted-proof approach to fluid blow-up that culminated in the disputed 2026 Navier–Stokes claims.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":2,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Google DeepMind","New York University","Stanford University","Brown University"]}]}