{"schema":"postcutoff/event@1","as_of":"2026-10-19T09:28:00+02:00","url":"https://postcutoff.com/e/2026-10-16-smith-toda-v4-angeltveit-improves-openai/","md":"https://postcutoff.com/e/2026-10-16-smith-toda-v4-angeltveit-improves-openai/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-16-smith-toda-v4-angeltveit-improves-openai","date":"2026-10-16","date_precision":"day","short_title":"Smith–Toda V(4) for p ≥ 11, after OpenAI's p = 1009","deck":null,"takeaway":"A homotopy theorist checked two Smith–Toda papers from OpenAI's maths release, found no errors but 'strange choices' (a suspiciously high prime, needless ultrafilters), and widened the result from one prime to all primes p ≥ 11.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":[{"n":1,"title":"arXiv 2610.23215: The Smith-Toda complex V(4) exists for p ≥ 11 (Angeltveit)","url":"https://arxiv.org/abs/2610.23215","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"OpenAI math release: A finite Smith–Toda complex V(4) at the prime 1009 (PDF)","url":"https://github.com/openai/math/blob/main/preprints/A-finite-Smith-Toda-complex-V4-at-the-prime-1009-September-23-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"},{"n":3,"title":"OpenAI math release: Finite Smith–Toda Complexes at Varying Primes (PDF)","url":"https://github.com/openai/math/blob/main/preprints/Finite-Smith-Toda-Complexes-at-Varying-Primes-September-23-2026/paper.pdf","type":"paper","group":"primary","domain":"github.com"}],"official":3,"filed":"2026-10-19","updated":"2026-10-19","orgs":["OpenAI","Australian National University"],"title":"Smith–Toda complex V(4) exists for all primes p ≥ 11: Angeltveit extends and simplifies OpenAI's AI-written p = 1009 construction, with ChatGPT's help","summary":"Vigleik Angeltveit (ANU) posted arXiv 2610.23215 on 16 Oct 2026. It proves that the Smith–Toda complex V(4), a finite p-local spectrum with BP-homology BP∗/(p, v1, v2, v3, v4), exists for every prime p ≥ 11. This improves \"the recently announced result by OpenAI that V(4) exists at the prime 1009\" (openai/math family 308). He replaces three sections of OpenAI's argument with a reference to Toda, a simpler May spectral sequence computation and a Toda-bracket trick. He found no mathematical errors in the OpenAI papers, but called them \"a bit suspicious\", and speculates that their ultrafilters were copied in by the AI model from an irrelevant reference. ChatGPT was \"used extensively as an interactive research assistant\" for his own paper.","key_facts":["Paper: Vigleik Angeltveit, 'The Smith-Toda complex V(4) exists for p ≥ 11', arXiv 2610.23215 [math.AT], submitted 16 Oct 2026","Theorem 1.1: for p ≥ 7, v4 is a permanent cycle in the Adams–Novikov spectral sequence for π∗V(3); for p ≥ 11 there is a finite p-local spectrum X with BP∗X ≅ BP∗/(p, v1, v2, v3, v4)","OpenAI papers addressed: 'A finite Smith–Toda complex V(4) at the prime 1009' and 'Finite Smith–Toda Complexes at Varying Primes' (V(n) exists at some prime for every n), both dated 23 Sept 2026, family 308 of github.com/openai/math, which has no Lean scope note","Critique: 'We thought both of these papers looked a bit suspicious. We have not found any mathematical errors, but both of them make some strange choices… 1009 is suspiciously high.' The second paper 'uses ultrafilters throughout… We speculate that ultrafilters came from one of the references, and the AI model left them in'","Simplifications: OpenAI's Section 4 replaced by a citation of Toda; Section 6 by 'a much simpler May spectral sequence calculation'; Section 7 by 'a simple Toda bracket juggling trick'; the hardest step of the OpenAI paper gets 'a much shorter argument (Theorem 3.8)'","AI disclosure: 'ChatGPT (OpenAI) was used extensively as an interactive research assistant… including for checking calculations, locating relevant literature, and exploring simplifications of the arguments in the OpenAI Smith-Toda papers. In particular, conversations with ChatGPT helped lead to the reformulation of the final Adams-Novikov obstruction in terms of Toda's classical bracket-juggling argument. The author independently checked the mathematical arguments'","No Hacker News thread or high-reach X post found on 19 Oct morning"],"key_numbers":[],"tags":["math","algebraic-topology","stable-homotopy-theory","smith-toda","openai","openai-math-release","chatgpt","verification"],"science":{"field":"mathematics","subfield":"algebraic topology (stable homotopy theory)","problem":"Existence of the Smith–Toda complex V(4); V(3) exists for p ≥ 7 (Toda)","result":"V(4) exists for every prime p ≥ 11. OpenAI's internal model had shown it only for p = 1009, plus a V(n) at some prime for each n","open_since":"","ai_system":["OpenAI internal model (openai/math release)","ChatGPT"],"human_role":"OpenAI's model wrote the original papers; Angeltveit checked, simplified and extended them, using ChatGPT as an interactive assistant; he checked all arguments himself","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed arXiv preprint by a specialist; OpenAI papers expert-read, no errors found"},"status":"pending","shock":""},"body_md":"## What happened\n\nSmith–Toda complexes V(n) are basic building blocks in chromatic homotopy theory: finite spectra whose Brown–Peterson homology is BP∗ modulo (p, v1, …, vn). Per Angeltveit's background section (citing Toda), V(3) exists for p ≥ 7 and has the ring structure needed here only for p ≥ 11.\n\nOpenAI's 6 Oct release contained two papers on the question (family 308). Angeltveit worked through the first, kept its overall plan and two differentials that must vanish, and found shorter routes for the hard parts. That gave the construction for every prime from 11 up. Conversations with ChatGPT helped him find the Toda-bracket reformulation of the last obstruction.\n\n## Why it matters\n\nWith the Brennan paper posted the same day (2026-10-16-brennan-conjecture-openai-proof-binder-ivrii-prause-smirnov), this is a second case of a specialist checking an OpenAI release paper, finding it correct, and quickly improving it. Angeltveit's remarks about the odd prime 1009 and leftover ultrafilters are a rare concrete description of what an AI-written paper looks like to an expert: valid, but shaped by its search process rather than by the natural statement.","disputed":[{"label":"Verification","text":"Unrefereed arXiv preprint by a specialist; OpenAI papers expert-read, no errors found","sources":[]}],"related":[{"id":"2026-10-19-ai-assisted-results-october-19-listing","url":"https://postcutoff.com/e/2026-10-19-ai-assisted-results-october-19-listing/","date":"2026-10-19","date_precision":"day","short_title":"AI-assisted results in the 19 Oct 2026 arXiv listing","deck":"Experts rework OpenAI's release papers (Deligne–Drinfeld, Hénon–Lane–Emden, Navier–Stokes), Wright's harmonic-analysis problems disproved with Codex, an Aaronson–Ambainis lower bound, and DeepMind's Busy Beaver agent","takeaway":"Monday's arXiv announcement brought the first wave of human follow-up papers on OpenAI's October maths release, alongside a dozen routine AI disclosures. The strongest items have their own entries: Brennan, Smith–Toda, lonely runner and tournament Hamiltonian cycles.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":14,"official":14,"filed":"2026-10-19","updated":"2026-10-19","orgs":["OpenAI","Anthropic","Google DeepMind","Harmonic","various mathematicians"]},{"id":"2026-10-16-brennan-conjecture-openai-proof-binder-ivrii-prause-smirnov","url":"https://postcutoff.com/e/2026-10-16-brennan-conjecture-openai-proof-binder-ivrii-prause-smirnov/","date":"2026-10-16","date_precision":"day","short_title":"Brennan's conjecture: experts confirm and shorten OpenAI's proof","deck":null,"takeaway":"The first famous result from OpenAI's October maths release to be checked by leading experts in its field: four complex analysts, including Fields medallist Stanislav Smirnov, found no gap. They say the AI combined known techniques in a way 'missed by the human experts'.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":5,"official":4,"filed":"2026-10-19","updated":"2026-10-19","orgs":["OpenAI","University of Toronto","Tel Aviv University","Åbo Akademi University","University of Geneva"]},{"id":"2026-10-06-openai-math-release-722-manuscripts","url":"https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/","date":"2026-10-06","date_precision":"day","short_title":"OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems","deck":"Including quasi-Riemann, Unique Games, Hodge for CM abelian varieties and free group factors","takeaway":"If even a fraction of these results hold up, this is the largest single jump in mathematical knowledge on record, produced by an AI system in about six weeks.","category":"science","category_label":"Science & math","importance":5,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":84,"official":13,"filed":"2026-10-07","updated":"2026-10-19","orgs":["OpenAI"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-19","type":"edit","text":"Removed an unsourced background sentence on V(4)'s prior status"},{"date":"2026-10-19","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-19","run":null,"sources_read":null,"updated":"2026-10-19","human_review":null,"version":{"date":"2026-10-19"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":169,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":108,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":199,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":138,"in_training_data":false}],"short_url":"https://postcutoff.com/s/smith-toda-v-4"}