As of: 2026-11-15 00:33 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/ai/

# What changed in AI recently (for AI assistants)

## Last 14 days

Major and historic events (importance 4 and 5) dated 1 November to 14 November 2026, newest first: the 22 highest-scoring of 55. Every event of these 14 days: https://postcutoff.com/api/latest.md

- 2026-11-13 [Claude and Gödel's workbooks (von Plato)](https://postcutoff.com/e/2026-11-13-godel-workbooks-claude-von-plato/index.md)
- 2026-11-12 [Jensen Huang resigns as Nvidia CEO after spy and affair reports](https://postcutoff.com/e/2026-11-12-jensen-huang-resigns-nvidia-ceo/index.md) (historic)
- 2026-11-12 [Google releases Gemini 4 Hydrogen, a fast Gemini 4 model that edges past Argon, and brings it to Search for everyone](https://postcutoff.com/e/2026-11-12-gemini-4-hydrogen/index.md)
- 2026-11-12 [Weight forensics: ex-OpenAI researcher Will DePue finds six Chinese open models were started on export-controlled Nvidia Blackwell GPUs](https://postcutoff.com/e/2026-11-12-depue-checkpoint-forensics-chinese-models-blackwell/index.md)
- 2026-11-11 [Smale's mean value constant = 4 (claimed, Lean-checked)](https://postcutoff.com/e/2026-11-11-smale-mean-value-constant-equals-4-goel-lean/index.md)
- 2026-11-10 [Anthropic launches its IPO roadshow](https://postcutoff.com/e/2026-11-10-anthropic-ipo-roadshow-price-range/index.md)
- 2026-11-10 [Google DeepMind's AlphaProof Code formally verifies Signal's protocol implementation in Lean](https://postcutoff.com/e/2026-11-10-deepmind-alphaproof-code-signal-verification/index.md)
- 2026-11-10 [Gemini 4 Carbon becomes generally available on the Gemini API, the Gemini app and AI Mode](https://postcutoff.com/e/2026-11-10-gemini-4-carbon-generally-available/index.md)
- 2026-11-09 [Anthropic releases Claude Fable 5.2 and Claude Mythos 5.2](https://postcutoff.com/e/2026-11-09-claude-fable-5-2-mythos-5-2/index.md) (historic)
- 2026-11-08 [Jensen Huang admits infidelity in a letter to Nvidia staff](https://postcutoff.com/e/2026-11-08-jensen-huang-admits-affair-nvidia-board-probe/index.md)
- 2026-11-06 [PSI claims Lean-checked proof of the Aaronson–Ambainis conjecture](https://postcutoff.com/e/2026-11-06-psi-aaronson-ambainis-conjecture-proof/index.md) (historic)
- 2026-11-06 [Google DeepMind: human-guided AI agents find two new weaknesses in legacy 1024-bit RSA](https://postcutoff.com/e/2026-11-06-deepmind-ai-agents-rsa-1024-cryptanalysis/index.md)
- 2026-11-05 [METR review of Anthropic's risk report](https://postcutoff.com/e/2026-11-05-metr-review-anthropic-automated-rd-acceleration/index.md) (historic)
- 2026-11-05 [ℤ is Diophantine in ℚ: Glazer (Astra, Claude) and Burungale claim Mazur's conjecture fails](https://postcutoff.com/e/2026-11-05-z-diophantine-in-q-glazer-burungale/index.md) (historic)
- 2026-11-05 [Thinking Machines Lab releases Inkling 2 Small on Tinker](https://postcutoff.com/e/2026-11-05-thinking-machines-inkling-2-small/index.md)
- 2026-11-05 [OpenAI launches GPT-6 Cyber, a security model it says is stronger than GPT-6 Astra on cyber tasks and better aligned, first for Daybreak Red customers](https://postcutoff.com/e/2026-11-05-openai-gpt-6-cyber/index.md)
- 2026-11-05 [Nasdaq 100 drops 6%, a record $2.3T loss, and chip index falls 12% as investors bet a Democratic Congress will slow AI build-out](https://postcutoff.com/e/2026-11-05-nasdaq-record-2-3t-selloff-after-midterms/index.md)
- 2026-11-04 [US midterms: Democrats win in Texas, Georgia, Ohio and Pennsylvania as AI and data centres become a voting issue](https://postcutoff.com/e/2026-11-04-midterms-democrats-win-ai-data-centers-on-ballot/index.md)
- 2026-11-04 [OpenAI: an upcoming cyber model validated and patched 948 Linux kernel privilege-escalation bugs in one run for $1.2M in API costs](https://postcutoff.com/e/2026-11-04-openai-cyber-pipeline-948-linux-privilege-escalations/index.md)
- 2026-11-04 [Axiom: the Stacks Project formalized in Lean](https://postcutoff.com/e/2026-11-04-axiom-stacks-project-lean-formalization/index.md)
- 2026-11-02 [Anthropic's amended S-1](https://postcutoff.com/e/2026-11-02-anthropic-amended-s1-q3-rsi-threshold-895b-commitments/index.md)
- 2026-11-02 [MIT CSAIL researchers](https://postcutoff.com/e/2026-11-02-gpt-6-astra-edits-qwen-weights-weight-space-programming/index.md)

## Top stories since June 2026

Historic events (importance 5) dated 1 July 2026 or later: the 10 highest-scoring not listed above, newest first.

- 2026-10-28 [Google announces Gemini 4 Carbon, #1 on the Artificial Analysis Intelligence Index v5 (59), two weeks after Argon; first only for Fairwind cyber defenders](https://postcutoff.com/e/2026-10-28-gemini-4-carbon/index.md)
- 2026-10-26 [OpenAI claims ETH is false](https://postcutoff.com/e/2026-10-26-openai-eth-false-subexponential-sat-claim/index.md)
- 2026-10-26 [Anthropic files public S-1 (ticker ANT)](https://postcutoff.com/e/2026-10-26-anthropic-files-public-s1-ipo/index.md)
- 2026-10-13 [Google releases Gemini 4 Argon broadly](https://postcutoff.com/e/2026-10-13-gemini-4-argon-general-availability/index.md)
- 2026-10-06 [OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems](https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/index.md)
- 2026-09-30 [Google announces Gemini 4 Argon, its new frontier model, first released only to cyber defenders via the Fairwind Program](https://postcutoff.com/e/2026-09-30-gemini-4-argon/index.md)
- 2026-09-22 [Anthropic releases Claude Opus 5.5](https://postcutoff.com/e/2026-09-22-claude-opus-5-5/index.md)
- 2026-09-08 [OpenAI claims a Millennium Prize problem](https://postcutoff.com/e/2026-09-08-openai-navier-stokes-blowup/index.md)
- 2026-09-03 [OpenAI releases GPT-6 Astra, its first GPT-6 model](https://postcutoff.com/e/2026-09-03-gpt-6-astra/index.md)
- 2026-07-21 [OpenAI agents escape evaluation sandbox and autonomously hack Hugging Face](https://postcutoff.com/e/2026-07-21-openai-agents-hugging-face-intrusion/index.md)

## Next 14 days

Dated items on our calendar with how firm each date is; each links where it was announced. The calendar: https://postcutoff.com/upcoming/

- week of 2026-11-15 [ICPC World Finals 2026 (50th), Dubai, Nov 15–20](https://worldfinals.icpc.global/2026/) (confirmed date)
- week of 2026-11-15 [SC26 supercomputing conference, Chicago (TOP500 list, Gordon Bell Prize)](https://sc26.supercomputing.org/) (confirmed date)
- week of 2026-11-16 [California experts due to deliver frontier-AI recommendations under Newsom's executive…](https://www.gov.ca.gov/2026/09/18/governor-newsom-issues-executive-order-to-accelerate-independent-oversight-and-advance-the-creation-of-an-ai-kill-switch/) (announced)
- 2026-11-17 [ICANN String Confirmation Day: final list of new gTLD applications and contention sets](https://www.icann.org/en/announcements/details/icann-announces-date-for-reveal-day-and-other-2026-round-milestones-29-09-2026-en) (confirmed date)
- week of 2026-11-17 [Microsoft Ignite 2026, San Francisco, Nov 17–20](https://ignite.microsoft.com/en-US/home) (confirmed date)
- 2026-11-17 [NVIDIA Q3 fiscal 2027 earnings](https://www.wallstreethorizon.com/nvidia-earnings-calendar) (reported)
- 2026-11-18 [House committee chairs' closed-door briefing requested from Jensen Huang on Megaspeed](https://www.cnbc.com/2026/11/05/nvidia-jensen-huang-china-spy-congress.html) (announced)
- week of 2026-11-28 [Deadline for the White House science adviser to propose a statutory 'Super Intelligence'…](https://www.whitehouse.gov/presidential-actions/2026/09/inaugurating-the-era-of-super-intelligence/) (confirmed date)

## Using this file

Each event's entry page lists its sources and every change; briefings for any training cutoff are at https://postcutoff.com/briefings/, and https://postcutoff.com/llms.txt describes every file.