{"schema":"postcutoff/event@1","as_of":"2026-10-21T14:07:00+02:00","url":"https://postcutoff.com/e/2026-10-19-quasitrace-monotone-completeness-counterexamples-openai/","md":"https://postcutoff.com/e/2026-10-19-quasitrace-monotone-completeness-counterexamples-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-19-quasitrace-monotone-completeness-counterexamples-openai","date":"2026-10-19","date_precision":"day","short_title":"Kaplansky's quasitrace conjecture reported disproved by an unreleased OpenAI model","deck":"Experts reproduce it and refute the monotone completeness conjecture","takeaway":"Jananan Arulseelan and James E. Hanson write that \"an unreleased OpenAI model produced a claimed counterexample\" to the quasitrace (Kaplansky) conjecture for AW*-algebras in an unpublished manuscript (Sept 2026).","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"arXiv 2610.27184: Counterexamples to the monotone completeness conjecture (Arulseelan, Hanson)","url":"https://arxiv.org/abs/2610.27184","type":"paper","group":"primary","domain":"arxiv.org"}],"official":1,"filed":"2026-10-21","updated":"2026-10-21","orgs":["OpenAI"],"title":"Kaplansky's quasitrace conjecture reported disproved by an unreleased OpenAI model; experts reproduce it and refute the monotone completeness conjecture","summary":"Jananan Arulseelan and James E. Hanson write that \"an unreleased OpenAI model produced a claimed counterexample\" to the quasitrace (Kaplansky) conjecture for AW*-algebras in an unpublished manuscript (Sept 2026). They \"fully reproduce the disproof\" by a modified construction and use it, with continuous model theory, to refute the monotone completeness conjecture (finite case). They called these \"the two major open problems in the theory of AW*-algebras\". GPT 6 Astra wrote a preliminary write-up of their own proof.","key_facts":["Paper: arXiv 2610.27184, 'Counterexamples to the monotone completeness conjecture' (Arulseelan, Hanson), posted 19 Oct 2026","Quote: 'The two major open problems in the theory of AW*-algebras were the Kaplansky conjecture and the monotone completeness conjecture. Recently, an unreleased OpenAI model produced a claimed counterexample to the former in an unpublished manuscript (September 2026)'","Abstract: 'We fully reproduce the disproof of the quasitrace conjecture by a modified construction and arguments.' Main theorem: a finite AW*-factor with canonical quasitrace τ and elements y1, y2, y3 with Σ yi*yi = 1 showing uniform failure of traciality","Limits: 'Our construction does not appear suited to properly infinite AW* algebras, so that case of the monotone completeness conjecture remains open'","AI disclosure: 'The idea for the proof was developed by the authors. It was then completed with a preliminary write-up given by GPT 6 Astra. The arguments were significantly reworked and fixed by the authors … The bundle construction here adapts a construction from an unpublished manuscript produced by an unreleased OpenAI model.'","Background: Haagerup (2014) proved quasitraces on exact C*-algebras are traces; Kaplansky's 1951 'Projections in Banach algebras' is the origin; the same authors had earlier proved the weaker normality conjecture (cf. arXiv 2610.17435, listed in the 13 Oct roundup)","Not verified by us: the OpenAI quasitrace manuscript itself is not public; a web search on 21 Oct found no announcement or coverage"],"key_numbers":[],"tags":["math","operator-algebras","aw-star-algebras","quasitrace","kaplansky","counterexample","model-theory","gpt-6-astra","openai"],"science":{"field":"mathematics","subfield":"operator algebras","problem":"Kaplansky's quasitrace conjecture (2-quasitraces / AW*-factors) and the monotone completeness conjecture for AW*-algebras","result":"Counterexample to the quasitrace conjecture (from an unreleased OpenAI model, reproduced with a modified construction) and a finite AW*-factor that is not monotone complete","open_since":"1951","ai_system":["Unreleased OpenAI model","GPT-6 Astra"],"human_role":"OpenAI model produced the original quasitrace counterexample; Arulseelan and Hanson re-derived it, devised the monotone completeness argument, and reworked GPT 6 Astra's preliminary write-up","verification":{"key":"preprint","label":"Preprint only","text":"Quasitrace disproof reproduced by named independent experts in an unrefereed preprint; monotone completeness result unrefereed"},"status":"pending","shock":"Both central open problems of AW*-algebra theory fell after a model's counterexample that OpenAI has not published"},"body_md":"## What happened\n\nIn 1951 Irving Kaplansky introduced AW*-algebras, an algebraic generalization of von Neumann algebras. Two questions about them\nstayed open for decades. The first asks whether the quasitrace of a finite AW*-factor must be a trace, which is equivalent to\nasking whether every 2-quasitrace on a unital C*-algebra is a trace. The second asks whether every AW*-algebra is monotone\ncomplete. Haagerup proved the first for exact C*-algebras in 2014.\n\nOn 19 Oct 2026 Jananan Arulseelan and James E. Hanson posted a counterexample to the monotone completeness conjecture for finite\nAW*-algebras. They start from \"the quasitrace manuscript\", an unpublished September 2026 manuscript in which an unreleased OpenAI\nmodel produced a claimed counterexample to the quasitrace conjecture. They reproduce that disproof by a modified construction and\ncombine it with model-theoretic results (quasitracial ultraproducts, countable saturation, separable reflection). In their AI\ndisclosure they say GPT 6 Astra completed a preliminary write-up of their own proof idea, which they then \"significantly reworked\nand fixed\".\n\nOpenAI has not published the quasitrace manuscript, and it does not appear among the files we can check. Everything here comes\nfrom the Arulseelan–Hanson paper.\n\n## Why it matters\n\nIf it holds, an AI system has settled one of the oldest problems in operator algebras, and specialists rebuilt the result within\nweeks and pushed it to the companion conjecture. It also shows that results from unreleased OpenAI models are reaching\nmathematicians privately before any public announcement.","disputed":[{"label":"Verification","text":"Quasitrace disproof reproduced by named independent experts in an unrefereed preprint; monotone completeness result unrefereed","sources":[]}],"related":[{"id":"2026-10-21-ai-assisted-results-october-21-listing","url":"https://postcutoff.com/e/2026-10-21-ai-assisted-results-october-21-listing/","date":"2026-10-21","date_precision":"day","short_title":"AI-assisted results in the 21 Oct 2026 arXiv listing","deck":"A ChatGPT 6.1 Sol counterexample to Frankl–Ota–Tokushige, klt Fano proofs from ChatGPT, Vince's conjecture with GPT Astra, Pólya for spherical shells, a Claude-built 55-addition 3×3 scheme and a Claude Opus 5.5 lemma in reverse mathematics","takeaway":"Wednesday's arXiv announcement brought four results with their own entries: the MDS conjecture in even characteristic, the double-cap conjecture, the quasitrace/monotone completeness counterexamples and the Neumann–Zagier conjecture. An expert verification of Claude's Hadamard matrices was added to that entry. This page lists the next tier, about thirty papers.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":18,"official":18,"filed":"2026-10-21","updated":"2026-10-21","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]},{"id":"2026-10-13-ai-assisted-results-october-2026","url":"https://postcutoff.com/e/2026-10-13-ai-assisted-results-october-2026/","date":"2026-10-13","date_precision":"day","short_title":"October 2026: the arXiv stream of conjectures settled with disclosed AI help continues","deck":null,"takeaway":"In the first nine days of October 2026 the stream did not slow down: each arXiv listing brought several named conjectures with a disclosed AI role, and two new patterns appeared.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":16,"official":16,"filed":"2026-10-13","updated":"2026-10-14","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]},{"id":"2026-10-07-toms-winter-conjecture-completed-chatgpt-astra-lemma","url":"https://postcutoff.com/e/2026-10-07-toms-winter-conjecture-completed-chatgpt-astra-lemma/","date":"2026-10-07","date_precision":"day","short_title":"Toms–Winter conjecture on C*-algebras completed by two preprints in one week","deck":"Both credit AI with a key lemma (Thiel; Evington, Hua, Schafhauser, Seth, Tikuisis, White)","takeaway":"The Toms–Winter conjecture (2000s) says three very different regularity properties of simple nuclear C*-algebras are equivalent; it was the central structural question of the classification programme. Hannes Thiel proved one missing implication on 5 Oct 2026 and a six-author team the last one on 7 Oct. The team says an initial version of an essential lemma came from ChatGPT 6 Astra in 27 minutes; Thiel says AI collaboration led to his key idea.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":3,"official":3,"filed":"2026-10-13","updated":"2026-10-13","orgs":["University of Oxford","University of Ottawa","Chalmers University of Technology","OpenAI"]},{"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-20","orgs":["OpenAI"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-21","type":"filed","text":"Created (PDF read; web search found no other source on the OpenAI manuscript)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-21","run":null,"sources_read":"PDF read; web search found no other source on the OpenAI manuscript","updated":"2026-10-21","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":172,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":111,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":202,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":141,"in_training_data":false}],"short_url":"https://postcutoff.com/s/kaplansky-quasitrace-conjecture"}