{"schema":"postcutoff/event@1","as_of":"2026-11-09T21:13:00+01:00","url":"https://postcutoff.com/e/2026-11-07-ai-assisted-results-november-7-listing/","md":"https://postcutoff.com/e/2026-11-07-ai-assisted-results-november-7-listing/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-11-07-ai-assisted-results-november-7-listing","date":"2026-11-07","date_precision":"day","short_title":"AI-assisted results, 7 Nov: Hexagon of 6 Nov and arXiv","deck":null,"takeaway":"The 7 Nov sweep listed 35 uncited Hexagon works of 6 Nov and 200 arXiv papers of the latest announcement mentioning AI. Own entries: Axiom's Lean proofs of the Weil conjectures and the Stacks Project, and the unforced Navier–Stokes non-uniqueness deposit.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"Hexagon 2611.00079","url":"https://hexagonmath.org/abs/2611.00079","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":2,"title":"Hexagon 2611.00130","url":"https://hexagonmath.org/abs/2611.00130","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":3,"title":"Hexagon 2611.00131","url":"https://hexagonmath.org/abs/2611.00131","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":4,"title":"Hexagon 2611.00132","url":"https://hexagonmath.org/abs/2611.00132","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":5,"title":"Hexagon 2611.00133","url":"https://hexagonmath.org/abs/2611.00133","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":6,"title":"Hexagon 2611.00134","url":"https://hexagonmath.org/abs/2611.00134","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":7,"title":"Hexagon 2611.00135","url":"https://hexagonmath.org/abs/2611.00135","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":8,"title":"Hexagon 2611.00136","url":"https://hexagonmath.org/abs/2611.00136","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":9,"title":"Hexagon 2611.00138","url":"https://hexagonmath.org/abs/2611.00138","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":10,"title":"Hexagon 2611.00139","url":"https://hexagonmath.org/abs/2611.00139","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":11,"title":"Hexagon 2611.00140","url":"https://hexagonmath.org/abs/2611.00140","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":12,"title":"Hexagon 2611.00142","url":"https://hexagonmath.org/abs/2611.00142","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":13,"title":"Hexagon 2611.00145","url":"https://hexagonmath.org/abs/2611.00145","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":14,"title":"Hexagon 2611.00146","url":"https://hexagonmath.org/abs/2611.00146","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":15,"title":"Hexagon 2611.00147","url":"https://hexagonmath.org/abs/2611.00147","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":16,"title":"Hexagon 2611.00149","url":"https://hexagonmath.org/abs/2611.00149","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":17,"title":"Hexagon 2611.00150","url":"https://hexagonmath.org/abs/2611.00150","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":18,"title":"Hexagon 2611.00151","url":"https://hexagonmath.org/abs/2611.00151","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":19,"title":"Hexagon 2611.00152","url":"https://hexagonmath.org/abs/2611.00152","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":20,"title":"Hexagon 2611.00153","url":"https://hexagonmath.org/abs/2611.00153","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":21,"title":"Hexagon 2611.00154","url":"https://hexagonmath.org/abs/2611.00154","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":22,"title":"Hexagon 2611.00155","url":"https://hexagonmath.org/abs/2611.00155","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":23,"title":"Hexagon 2611.00156","url":"https://hexagonmath.org/abs/2611.00156","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":24,"title":"Hexagon 2611.00157","url":"https://hexagonmath.org/abs/2611.00157","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":25,"title":"Hexagon 2611.00158","url":"https://hexagonmath.org/abs/2611.00158","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":26,"title":"Hexagon 2611.00159","url":"https://hexagonmath.org/abs/2611.00159","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":27,"title":"Hexagon 2611.00160","url":"https://hexagonmath.org/abs/2611.00160","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":28,"title":"Hexagon 2611.00161","url":"https://hexagonmath.org/abs/2611.00161","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":29,"title":"Hexagon 2611.00162","url":"https://hexagonmath.org/abs/2611.00162","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":30,"title":"Hexagon 2611.00163","url":"https://hexagonmath.org/abs/2611.00163","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":31,"title":"Hexagon 2611.00164","url":"https://hexagonmath.org/abs/2611.00164","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":32,"title":"Hexagon 2611.00165","url":"https://hexagonmath.org/abs/2611.00165","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":33,"title":"Hexagon 2611.00166","url":"https://hexagonmath.org/abs/2611.00166","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":34,"title":"Hexagon 2611.00167","url":"https://hexagonmath.org/abs/2611.00167","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":35,"title":"Hexagon 2610.00503","url":"https://hexagonmath.org/abs/2610.00503","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":36,"title":"Hexagon 2610.00501","url":"https://hexagonmath.org/abs/2610.00501","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":37,"title":"Hexagon 2610.00500","url":"https://hexagonmath.org/abs/2610.00500","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":38,"title":"Hexagon 2610.00499","url":"https://hexagonmath.org/abs/2610.00499","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":39,"title":"Hexagon 2610.00498","url":"https://hexagonmath.org/abs/2610.00498","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":40,"title":"Hexagon 2610.00497","url":"https://hexagonmath.org/abs/2610.00497","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":41,"title":"Hexagon 2610.00496","url":"https://hexagonmath.org/abs/2610.00496","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":42,"title":"Hexagon 2610.00495","url":"https://hexagonmath.org/abs/2610.00495","type":"paper","group":"primary","domain":"hexagonmath.org"},{"n":43,"title":"arXiv 2611.08202","url":"https://arxiv.org/abs/2611.08202","type":"paper","group":"primary","domain":"arxiv.org"},{"n":44,"title":"arXiv 2611.07309","url":"https://arxiv.org/abs/2611.07309","type":"paper","group":"primary","domain":"arxiv.org"},{"n":45,"title":"arXiv 2611.07100","url":"https://arxiv.org/abs/2611.07100","type":"paper","group":"primary","domain":"arxiv.org"},{"n":46,"title":"arXiv 2611.07549","url":"https://arxiv.org/abs/2611.07549","type":"paper","group":"primary","domain":"arxiv.org"},{"n":47,"title":"arXiv 2611.07406","url":"https://arxiv.org/abs/2611.07406","type":"paper","group":"primary","domain":"arxiv.org"},{"n":48,"title":"arXiv 2611.07090","url":"https://arxiv.org/abs/2611.07090","type":"paper","group":"primary","domain":"arxiv.org"},{"n":49,"title":"arXiv 2611.07185","url":"https://arxiv.org/abs/2611.07185","type":"paper","group":"primary","domain":"arxiv.org"},{"n":50,"title":"arXiv 2611.06978","url":"https://arxiv.org/abs/2611.06978","type":"paper","group":"primary","domain":"arxiv.org"},{"n":51,"title":"arXiv 2611.07556","url":"https://arxiv.org/abs/2611.07556","type":"paper","group":"primary","domain":"arxiv.org"},{"n":52,"title":"arXiv 2611.08073","url":"https://arxiv.org/abs/2611.08073","type":"paper","group":"primary","domain":"arxiv.org"},{"n":53,"title":"arXiv 2611.08002","url":"https://arxiv.org/abs/2611.08002","type":"paper","group":"primary","domain":"arxiv.org"},{"n":54,"title":"arXiv 2611.07043","url":"https://arxiv.org/abs/2611.07043","type":"paper","group":"primary","domain":"arxiv.org"},{"n":55,"title":"arXiv 2611.08351","url":"https://arxiv.org/abs/2611.08351","type":"paper","group":"primary","domain":"arxiv.org"},{"n":56,"title":"arXiv 2611.08464","url":"https://arxiv.org/abs/2611.08464","type":"paper","group":"primary","domain":"arxiv.org"},{"n":57,"title":"arXiv 2611.08480","url":"https://arxiv.org/abs/2611.08480","type":"paper","group":"primary","domain":"arxiv.org"},{"n":58,"title":"arXiv 2611.07303","url":"https://arxiv.org/abs/2611.07303","type":"paper","group":"primary","domain":"arxiv.org"},{"n":59,"title":"arXiv 2611.07019","url":"https://arxiv.org/abs/2611.07019","type":"paper","group":"primary","domain":"arxiv.org"},{"n":60,"title":"arXiv 2611.08071","url":"https://arxiv.org/abs/2611.08071","type":"paper","group":"primary","domain":"arxiv.org"},{"n":61,"title":"arXiv 2611.07202","url":"https://arxiv.org/abs/2611.07202","type":"paper","group":"primary","domain":"arxiv.org"},{"n":62,"title":"arXiv 2611.00591","url":"https://arxiv.org/abs/2611.00591","type":"paper","group":"primary","domain":"arxiv.org"},{"n":63,"title":"arXiv 2611.05060","url":"https://arxiv.org/abs/2611.05060","type":"paper","group":"primary","domain":"arxiv.org"},{"n":64,"title":"arXiv 2611.06081","url":"https://arxiv.org/abs/2611.06081","type":"paper","group":"primary","domain":"arxiv.org"},{"n":65,"title":"Futures of Maths launch (Terence Tao's blog, 5 Nov)","url":"https://terrytao.wordpress.com/2026/11/05/futures-of-maths-launch/","type":"discussion","group":"reactions","domain":"terrytao.wordpress.com"}],"official":64,"filed":"2026-11-07","updated":"2026-11-07","orgs":["OpenAI","Anthropic","Google","various researchers"],"title":"AI-assisted results in the 7 Nov sweep: Whiteley's vertex-splitting conjecture by ChatGPT 6.1 Sol, single-exponential Minimum Bisection, isometric embedding in n(n+1)/2+28 dimensions, Armstrong–Vicol's Obukhov–Corrsin regularization, plus 35 Hexagon works","summary":"Catalogue of AI-disclosing works from the Hexagon deposits of 6 Nov 2026 and the arXiv announcement read on 7 Nov, beyond the items with own entries. AI statements are quoted from Hexagon provenance records or PDFs (Hexagon does not judge correctness); none is refereed. Also: eight lines of the October Hexagon backlog and the launch of the Futures of Maths survey.","key_facts":["Own entries: 2026-11-06-axiom-weil-conjectures-lean-formalization (AxiomMath/Weil), 2026-11-04-axiom-stacks-project-lean-formalization (AxiomMath/Stacks), 2026-11-06-navier-stokes-unforced-leray-hopf-nonuniqueness-buckmaster-coiculescu-li (Hexagon 2611.00143)","Rigidity: James Cruickshank (Galway) with a co-author, Whiteley's conjecture that every nontrivial vertex split of a generically globally rigid graph preserves generic global rigidity in R^d for all d; 'All the proofs of the main results presented in this paper were created by ChatGPT 6.1 Sol', all parts human-checked (Hexagon 2611.00140)","Geometry and analysis: Yi Wang and Wenchang Yang, every closed Riemannian n-manifold embeds isometrically in R^{n(n+1)/2+28} (was surplus max{n+5, 2n}); 'the detailed technical arguments have not yet been fully verified or understood by humans' (2611.00153). Scott Armstrong and Vlad Vicol, anomalous regularization of passive scalars up to the Obukhov–Corrsin exponent: their 2022 outline 'was fed to LLMs (Claude Opus 5.5 and GPT 6 Astra)' who produced 'a complete but very long (612 page) natural language (slop) proof', then autoformalized and simplified (2611.00165). Dave Goel, Sheil-Small's 1974 covering problem (Hayman–Lingham 4.24) answered yes, 'done overwhelmingly by AI models' (2611.00154)","Combinatorics: Matthew Kwan and Huy Tuan Pham, the constant Steiner kernel is not optimal at large girth, found 'Using ChatGPT 6 Pro', primarily AI-written, all human-checked (2611.00166); Alexander Kramer disproves the Cambie–Jooken–Wagner edge-contraction conjecture on mean subtree order (2611.00151); Max Glass, R_2(n) for binary rich words is not O(n^{C√n}), disproving a conjectured bound, GPT-6 Astra, Lean end to end, no human checking (2611.00167); Teo Banica, regular complex Hadamard matrices of order 7, 8, 'Written by Chat GPT' (2611.00079)","Qiyue Tang (Tsinghua) with GPT-6-Pro sessions of 2–24 hours, audited by Codex, 'some' human understanding: equivalence of the four-variable Hessian and planar Jacobian conjectures (2611.00156); deterministic polynomial-time factorization over finite fields using 'a Dedekind zeta zero-free theorem' (2611.00135; would settle a long-open derandomization question; it relies on that cited input and has no expert check); undecidability of quiver mutation equivalence (2611.00158), decidability of mutation-acyclicity (2611.00163), Schmeisser's conjecture in large degree (2611.00162), no minimum adapted CAD in dimension ≥ 4 (2611.00131)","Hessian conjecture HC_4: David Niedbala Giraudin with Claude, degree ≤ 5 potentials (2611.00161, 2611.00134), 'None of this contribution has been checked and understood by any human'","Complexity after the ETH refutations: Xiaoyu Li (UNSW) with Claude Opus 5.5 in Claude Code, exact exponent of fast attention after SETH (2611.00132) and the price of Bayes-optimal in-context learning, where 'Claude chose the question, proved the results and wrote the text' (2611.00133); Vaibhav Tulsyan with Claude, barriers for the OpenAI and Anthropic counting engines, 45 Lean theorems (2611.00149)","Number theory and Lean: twinheterodox with Codex Astra-6-Max, irrational even Dirichlet beta values (at least one of β(m+1)…β(67m−1); counts for s ≥ 160) (2611.00160, 2611.00139); Steve Hubbard, Lean proofs of Dudek's RH prime gap and Saouter's criterion toward odd Goldbach to 10^20, 'No human expert has reviewed the mathematics' (2611.00157, 2611.00159); Antonio Mennillo, prime sums and Riemann zeros in Lean (2611.00130); Yi-kun Li, Gauss law for eras of Bianchi IX, Lean (2611.00150); Lean formalizations of SPR synthesis (2611.00146) and COBOL-to-Rust/Java translations (2611.00152)","Other Hexagon 6 Nov: quartic Fekete points on every simplex (2611.00155, no human check); Haagerup center at c = 8 (2611.00164); N-body symplectic integration across collisions with Gemini and Antigravity (2611.00136); and human-written works with minor AI use (2611.00138, 2611.00142, 2611.00145, 2611.00147)","arXiv, AI credited with content: Anand–Kipouridis–Węgrzycki, Minimum Bisection in 2^{O(k)} n^{O(1)} (was 2^{O(k log k)}, Cygan et al.), 'Claude Opus-5.5 and GPT-6 Astra obtained the main improvement to the dynamic program' (2611.08202); streaming CSPs under deletions, a GPT-6 Astra proof of an Ω(n²) 3-XOR lower bound 'served as a key inspiration' (2611.07309); star-shaped polygon packing, 'ChatGPT was used to obtain some of the crucial ideas' (2611.07100); Fei, ChatGPT provided 'most of the arguments in Section 8' (2611.07549); random reshuffling, GPT-5.6 Sol for 'a key intermediate result' (2611.07406); higher theta lifts, technical steps 'developed in close cooperation with ChatGPT' (2611.07090)","arXiv, smaller AI steps: simpler argument found with Claude Opus (2611.07185); monotone quantity 'discovered with the help of ChatGPT Plus' (2611.06978); LLM proved Proposition 2.11 (2611.07556); duality found with ChatGPT 5.6 Sol (2611.08073); Gemini completed Lemma 5.4 (2611.08002); ChatGPT 6.1 Sol produced a Lean certificate (2611.07043); Astra and Claude Opus worked out lower-bound details (2611.08351); proofs 'the product of useful conversations with ChatGPT6' (2611.08464); 'produced in collaboration with ChatGPT' (2611.08480); Aristotle-generated Lean (2611.07303); ChatGPT for a quartic computation in AdS₃ (2611.07019); examples generated with Claude Sonnet 5.5 (2611.08071); a reference found with LLMs (2611.07202). The rest of the 200 mention AI for editing, literature, code or figures only","Conjecture papers without AI disclosure (79): no famous problem with an AI angle; a few notable human results (Yang–Koolen conjecture 2611.00591, Erdős–Gyárfás for odd-order Cayley graphs 2611.05060, Cameron–Praeger for Steiner 6-designs 2611.06081)","Repos: google-deepmind/formal-conjectures commits of 5–6 Nov add statements only (98 OEIS files; Green's and Erdős problems listed on 6 Nov); AxiomMath/Weil has its own entry","Hexagon backlog (8 lines): Deep Bhattacharjee with Claude, counterexamples to Graffiti.pc conjectures 66, 319, 352, 358, 359, 427 (2610.00501, 2610.00500), to the Adaricheva–Mata–Silberger–Zamojska-Dzienio conjecture on maximal sublattices (2610.00497, 2610.00495), Sahbi's β_k = SF_k question (2610.00498), regular Morley tetrahedra (2610.00499); Codex-assisted fault detection (2610.00503); human-written inequality note (2610.00496)","Community: Futures of Maths, an anonymous survey of research mathematicians on maths and AI, launched 5 Nov (guest post on Terence Tao's blog by Fournier-Facio, Kyrychenko, Roozenbeek and Wykowski; respondents need a zbMATH-indexed paper in the last 5 years)"],"key_numbers":[],"tags":["math","arxiv","hexagon","catalogue","chatgpt","gpt-6-astra","gpt-6-1-sol","codex","claude","claude-opus-5-5","lean"],"science":{"field":"mathematics","subfield":"multiple","problem":"See list","result":"Catalogue of AI-disclosing works of 6–7 Nov beyond those with their own entries","open_since":"","ai_system":["ChatGPT","GPT-6 Astra","GPT-6 Pro","GPT-6.1 Sol","Codex","Claude Opus 5.5","Gemini"],"human_role":"From human proofs with AI help to fully AI-generated deposits with no human checking","verification":{"key":"lean","label":"Lean-verified","text":"Unrefereed preprints and Hexagon deposits"},"status":"pending","shock":"","verified_by":["preprint","lean"],"kind":"batch"},"body_md":"## What happened\n\nThe 7 Nov sweep listed 35 Hexagon works deposited on 6 Nov and 200 arXiv papers from the latest announcement that mention AI (most only for editing, literature search or code). The items above are those where the authors credit AI with mathematical content. Quotes come from Hexagon provenance statements or PDFs. Hexagon does not judge correctness, and none of these works is refereed.","disputed":[{"label":"Verification","text":"Unrefereed preprints and Hexagon deposits","sources":[]}],"related":[{"id":"2026-11-06-axiom-weil-conjectures-lean-formalization","url":"https://postcutoff.com/e/2026-11-06-axiom-weil-conjectures-lean-formalization/","date":"2026-11-06","date_precision":"day","short_title":"Axiom: the Weil conjectures proved in Lean","deck":null,"takeaway":"On 6 Nov 2026 Axiom Math published AxiomMath/Weil, a kernel-checked Lean 4 proof of rationality, the functional equation, the Riemann hypothesis (Deligne) and the Betti-number statement, following Freitag–Kiehl. About 980 modules were written by AI agents; the code has not been reviewed by humans.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":3,"official":3,"filed":"2026-11-07","updated":"2026-11-08","orgs":["Axiom Math"]},{"id":"2026-11-06-navier-stokes-unforced-leray-hopf-nonuniqueness-buckmaster-coiculescu-li","url":"https://postcutoff.com/e/2026-11-06-navier-stokes-unforced-leray-hopf-nonuniqueness-buckmaster-coiculescu-li/","date":"2026-11-06","date_precision":"day","short_title":"Navier–Stokes: unforced Leray–Hopf non-uniqueness, AI-written","deck":null,"takeaway":"On 6 Nov 2026 three NYU mathematicians deposited on Hexagon an 80-page proof, written mainly by Claude Opus and Codex, that the unforced 3D Navier–Stokes equations have a continuum of Leray–Hopf solutions with the same initial data, following the Jia–Šverák programme. The authors say they understand the broad steps; a Lean formalization is announced but not yet public.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":4,"filed":"2026-11-07","updated":"2026-11-08","orgs":["New York University","Anthropic","OpenAI"]},{"id":"2026-11-06-ai-assisted-results-november-6-listing","url":"https://postcutoff.com/e/2026-11-06-ai-assisted-results-november-6-listing/","date":"2026-11-06","date_precision":"day","short_title":"AI-assisted results, 6 Nov: arXiv of 6 Nov and Hexagon of 5 Nov","deck":null,"takeaway":"The 6 Nov sweep listed 183 new arXiv papers mentioning AI and 26 uncited Hexagon works. Own entries: Tusnády's problem (two preprints), Singmaster's bound by Claude Opus 5.5 and the Hopfield capacity bracket.","category":"science","category_label":"Science & math","importance":2,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":48,"official":48,"filed":"2026-11-06","updated":"2026-11-06","orgs":["OpenAI","Anthropic","various researchers"]},{"id":"2026-11-04-axiom-stacks-project-lean-formalization","url":"https://postcutoff.com/e/2026-11-04-axiom-stacks-project-lean-formalization/","date":"2026-11-04","date_precision":"day","short_title":"Axiom: the Stacks Project formalized in Lean","deck":null,"takeaway":"On 4 Nov 2026 Axiom Math released AxiomMath/Stacks, a Lean 4 formalization of 'every tag of the Stacks Project with formalizable content' (about 63,000 modules), with an agent-written StacksFrontier tier and a human-reviewed StacksCore tier. Axiom's X post had 6.9M views.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":4,"official":3,"filed":"2026-11-07","updated":"2026-11-09","orgs":["Axiom Math"]},{"id":"2026-10-27-anthropic-claude-eth-refutation-3sat-subexponential","url":"https://postcutoff.com/e/2026-10-27-anthropic-claude-eth-refutation-3sat-subexponential/","date":"2026-10-27","date_precision":"day","short_title":"Anthropic's Claude also refutes ETH","deck":null,"takeaway":"Hours after OpenAI's ETH announcement, Anthropic posted 'A 2^o(n) Time Algorithm for 3-SAT', credited to Claude. It is a deterministic #k-SAT algorithm built on tensor-network contraction, with a different approach from OpenAI's paper, a near-identical bound and a Lean 4 proof that uses only the standard axioms. The paper says the core algorithm was found on 16 Oct with 14M output tokens and no human input. OpenAI reports its model found its disproof that same day. Neither proof has had expert review.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":10,"official":8,"filed":"2026-10-27","updated":"2026-11-06","orgs":["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-10-19","orgs":["Independent researchers"]}],"people":[{"id":"terence-tao","name":"Terence Tao","url":"https://postcutoff.com/person/terence-tao/"}],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-11-07","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-11-07","run":null,"sources_read":null,"updated":"2026-11-07","human_review":null,"version":{"date":"2026-11-07"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":191,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":130,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":221,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":160,"in_training_data":false}],"short_url":null}