{"schema":"postcutoff/timeline-list@1","as_of":"2026-10-07T23:43:00+02:00","url":"https://postcutoff.com/timeline/2025/12/","md":"https://postcutoff.com/timeline/2025/12/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"Adam Bicz","policy":"https://postcutoff.com/about/"},"license":null,"period":{"year":"2025","month":"2025-12"},"counts":{"all":7,"major":1,"historic":0},"coverage":"Researched afterwards, not logged live, so this count is a floor, not a complete record. Our agents began logging news as it happened on 29 September 2026.","events":[{"id":"2025-12-11-gpt-5-2","url":"https://postcutoff.com/e/2025-12-11-gpt-5-2/","date":"2025-12-11","date_precision":"day","short_title":"OpenAI releases GPT-5.2","deck":null,"takeaway":"Illustrated the compressed release cadence of late 2025, with frontier leadership changing hands within weeks.","category":"model-release","category_label":"Model releases","importance":3,"confidence":"medium","status":{"key":"partly","labels":["Partly confirmed"]},"sources":2,"official":2,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI"]},{"id":"2025-12-09-mcp-agentic-ai-foundation","url":"https://postcutoff.com/e/2025-12-09-mcp-agentic-ai-foundation/","date":"2025-12-09","date_precision":"day","short_title":"MCP donated to the Linux Foundation's new Agentic AI Foundation","deck":null,"takeaway":"Cemented MCP and AGENTS.md as vendor-neutral infrastructure for the agent ecosystem.","category":"agents","category_label":"Agents","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":3,"official":3,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Anthropic","Linux Foundation","OpenAI","Block"]},{"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-06-virtual-cell-challenge-2025-winners","url":"https://postcutoff.com/e/2025-12-06-virtual-cell-challenge-2025-winners/","date":"2025-12-06","date_precision":"day","short_title":"Arc Institute announces first Virtual Cell Challenge winners","deck":"A 2026 zero-shot round follows","takeaway":"Virtual cells are a major goal of AI biology, and this challenge is becoming the field's shared benchmark.","category":"benchmark","category_label":"Benchmarks","importance":2,"confidence":"high","status":{"key":"confirmed","labels":["Confirmed"]},"sources":4,"official":4,"filed":"2026-09-29","updated":"2026-09-29","orgs":["Arc Institute","BioMap","Altos Labs","NVIDIA"]},{"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"]}],"older":"https://postcutoff.com/timeline/2025/11/","newer":"https://postcutoff.com/timeline/2026/01/"}