{"schema":"postcutoff/event@1","as_of":"2026-10-12T22:30:00+02:00","url":"https://postcutoff.com/e/2026-10-09-kinetic-krylov-safonov-pucci-conjecture-gpt-6-astra/","md":"https://postcutoff.com/e/2026-10-09-kinetic-krylov-safonov-pucci-conjecture-gpt-6-astra/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"Adam Bicz","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-10-09-kinetic-krylov-safonov-pucci-conjecture-gpt-6-astra","date":"2026-10-09","date_precision":"day","short_title":"\"We need ABP\": six PDE specialists publish GPT-6 Astra's proofs of the kinetic Krylov–Safonov theorem and of Pucci's 1966 conjecture, with full chats (Loher, Mooney, Mouhot, Niebel, Silvestre, Zhu)","deck":null,"takeaway":"Six analysts, among them Clément Mouhot and Luis Silvestre, say the missing estimate behind a long-open regularity theorem for kinetic equations was found by GPT-6 Astra Ultra on 6 Sept 2026 with no human contribution. They wrote a human exposition and published the prompts, chats and AI manuscripts, and state that they claim no credit.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":[{"n":1,"title":"arXiv 2610.13921: An Aleksandrov estimate for kinetic equations with rough coefficients","url":"https://arxiv.org/abs/2610.13921","type":"paper","group":"primary","domain":"arxiv.org"},{"n":2,"title":"We need ABP: an open mathematical collaboration (project site)","url":"https://weneedabp.github.io/","type":"official","group":"primary","domain":"weneedabp.github.io"},{"n":3,"title":"We need ABP: source material (AI manuscripts, prompts, chats, models and dates)","url":"https://weneedabp.github.io/ai.html","type":"official","group":"primary","domain":"weneedabp.github.io"},{"n":4,"title":"We need ABP: elliptic page (statement of Pucci's conjecture)","url":"https://weneedabp.github.io/elliptic.html","type":"official","group":"primary","domain":"weneedabp.github.io"},{"n":5,"title":"Hao & Zhang, Harnack estimates for nondivergence kinetic equations (arXiv 2609.15534)","url":"https://arxiv.org/abs/2609.15534","type":"paper","group":"primary","domain":"arxiv.org"}],"official":5,"filed":"2026-10-12","updated":"2026-10-12","orgs":["OpenAI","University of Cambridge","University of Chicago","UC Irvine"],"title":"\"We need ABP\": six PDE specialists publish GPT-6 Astra's proofs of the kinetic Krylov–Safonov theorem and of Pucci's 1966 conjecture, with full chats (Loher, Mooney, Mouhot, Niebel, Silvestre, Zhu)","summary":"On 9 Oct 2026 Amélie Loher, Connor Mooney, Clément Mouhot, Lukas Niebel, Luis Silvestre and Yuzhe Zhu posted arXiv 2610.13921, \"an exposition of a proof, discovered by Astra, of an Aleksandrov estimate for kinetic equations with rough coefficients\". The estimate was the missing step for a Krylov–Safonov Harnack inequality for kinetic (Kolmogorov-type) equations in nondivergence form, which the paper calls \"a challenging open problem for a long time\". Their site weneedabp.github.io lists six AI source manuscripts with prompts and chats, each marked \"Human contribution: None\": the kinetic Krylov–Safonov theorem (GPT-6 Astra Ultra, 6 Sept), Pucci's 1966 conjecture on the optimal exponent in the elliptic ABP estimate (22 Sept and 1 Oct) and its parabolic version (5 Oct). The AI manuscripts are unrefereed; the human exposition covers the Aleksandrov estimate.","key_facts":["Paper: 'An Aleksandrov estimate for kinetic equations with rough coefficients', arXiv 2610.13921 [math.AP], 9 Oct 2026; Amélie Loher, Connor Mooney, Clément Mouhot, Lukas Niebel, Luis Silvestre, Yuzhe Zhu","Abstract: 'We give an exposition of a proof, discovered by Astra, of an Aleksandrov estimate for kinetic equations with rough coefficients.'","Paper: 'The proof of the kinetic Krylov–Safonov theorem was found by OpenAI's GPT-6 Astra Ultra on September 6, 2026.'","Theorem 1.1: for the Kolmogorov operator Ku = ∂_t u + v·∇_x u − tr(A D²_v u) with λI ≤ A ≤ ΛI and merely measurable A, Ku = f ≥ 0 in Q_1 and u = 0 on the incoming boundary imply sup u ≤ C‖f‖_{L^p(Q_1)} for some p(n, λ, Λ) < ∞","Why it was missing (paper): the expansion-of-positivity and covering steps of Krylov–Safonov were known to extend to kinetic equations; 'the main obstacle to extending the argument has been the lack of an ABP inequality, or a suitable substitute, for equations of Kolmogorov type or equations in Carnot groups'","Method: by duality the estimate becomes an L log L (entropy) bound for the adjoint equation, obtained 'by regularising along an auxiliary flow and exploiting entropy dissipation' (site); the paper explains it in the elliptic, parabolic and kinetic settings","Site 'Source material' page: 'Here we collect AI-generated results. We do not claim credit for these results. Anyone could have obtained them by prompting the AI about it.'","Source 01, kinetic Krylov–Safonov theorem: 6 Sept 2026, OpenAI GPT-6 Astra Ultra, 'Approx. 150% of a Pro 20x plan', 'Human contribution: None'; prompt, chat and manuscript published","Pucci's conjecture (1966): the ABP estimate sup|u| ≤ C‖L_A u‖_{L^p(B_1)} for trace-one matrices with ellipticity δ holds if and only if p > max{n/2, n[1 − (n−1)δ]}. Site: 'This conjecture was solved by Astra'. Sources 03–04: dimensions d ≠ 3 (22 Sept, GPT-6 Astra Ultra) and d = 3 (1 Oct, GPT-6 Astra); Source 05: parabolic Pucci conjecture (5 Oct)","Other sources: adjoint L log L estimate on the Heisenberg group and step-2 Carnot groups (10 Sept, Astra Ultra); generalisation to Carnot groups (7 Oct, GPT-6 Pro)","Remark 1.3 of the paper: 'A similar proof of the Aleksandrov estimate was made public in [8] on September 14, 2026. The precise involvement of AI in their proof was not made public.' ([8] = Z. Hao and X. Zhang, arXiv 2609.15534)","Open: the optimal exponent in the kinetic case ('kinetic Pucci conjecture'); the authors say they are preparing lecture-note proofs of the full kinetic Krylov–Safonov theorem and an exposition of the Pucci proof"],"key_numbers":[],"tags":["math","pde","kinetic-equations","harnack-inequality","krylov-safonov","pucci-conjecture","gpt-6-astra","ai-credit"],"science":{"field":"mathematics","subfield":"partial differential equations (regularity theory, kinetic equations)","problem":"A Krylov–Safonov Harnack inequality for kinetic equations in nondivergence form with measurable coefficients (missing: an Aleksandrov–Bakelman–Pucci estimate), and Pucci's 1966 conjecture on the optimal integrability exponent in the ABP estimate","result":"Aleksandrov estimate sup u ≤ C‖f‖_{L^p} for Kolmogorov equations with rough coefficients, giving the kinetic Krylov–Safonov theorem; AI manuscripts also claim Pucci's conjecture in every dimension and its parabolic version.","open_since":"1966","ai_system":["GPT-6 Astra Ultra","GPT-6 Astra","GPT-6 Pro"],"human_role":"Autonomous per the authors: each AI source is marked 'Human contribution: None' (the authors wrote the prompt and research instructions). The six mathematicians checked the kinetic proof, wrote a human exposition and published the chats","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed preprint: human exposition of the Aleksandrov estimate by six specialists; the Pucci-conjecture manuscripts are AI-generated and their human exposition is still in preparation"},"status":"pending","shock":"Specialists in the field publish the result under their names while stating that the proof is the model's and that they claim no credit.","short":"Kinetic Krylov–Safonov theorem and Pucci's conjecture"},"body_md":"## What happened\n\nThe Krylov–Safonov theorem (1979–80) says that solutions of elliptic and parabolic equations in nondivergence form are Hölder\ncontinuous and satisfy a Harnack inequality even when the coefficients are only bounded and measurable. Its proof starts from the\nAleksandrov–Bakelman–Pucci (ABP) maximum estimate. For kinetic equations, where diffusion acts only in the velocity variable and\ntransport spreads it to space, no ABP estimate was known, and the nondivergence theory was stuck there.\n\nThe six authors write that the proof of the kinetic theorem \"was found by OpenAI's GPT-6 Astra Ultra on September 6, 2026\". The new\nidea is to work with the adjoint equation and prove an entropy-type (L log L) bound by regularising along an auxiliary flow. Their\npaper explains this argument in the elliptic and parabolic cases first, then for the Kolmogorov equation. The same approach, pushed\nfurther by the model, is reported on their site to settle Pucci's conjecture from 1966 on the best exponent p in the elliptic ABP\nestimate, and its parabolic analogue.\n\nThe project site is called \"We need ABP\". It publishes each AI manuscript with its prompt, research instructions, the full chat, the\nmodel, the date and the share of a ChatGPT Pro plan used, and invites others to contribute expositions. A paper by Hao and Zhang\n(arXiv 2609.15534, 14 Sept) made a similar proof of the Aleksandrov estimate public; the authors note that the role of AI in that\nproof was not made public.\n\n## Why it matters\n\nIt is a case where recognised specialists (Mouhot is at the University of Cambridge, Silvestre at the University of Chicago, Mooney at UC Irvine) attribute a result in their\nown field wholly to a model and refuse credit for it. It also shows a new division of labour: the model produces the proof, and\nthe experts' paper is an exposition that makes the idea usable by others. The statements about Pucci's conjecture rest on\nAI-written manuscripts that the group has not yet published a human account of, so they should be read as claims under review.","disputed":[{"label":"Verification","text":"Unrefereed preprint: human exposition of the Aleksandrov estimate by six specialists; the Pucci-conjecture manuscripts are AI-generated and their human exposition is still in preparation","sources":[]}],"related":[{"id":"2026-10-09-random-permutations-universal-alon-gpt-6-pro","url":"https://postcutoff.com/e/2026-10-09-random-permutations-universal-alon-gpt-6-pro/","date":"2026-10-09","date_precision":"day","short_title":"Random permutations of quadratic length contain every pattern","deck":"Alon's 1000n² problem solved, 'the proof was found by GPT-6 Pro' (Chen, Wang)","takeaway":"The authors of this combinatorics paper state in the abstract that the model found the proof and that they 'do not claim credit for the proof ideas'. It settles the order of magnitude in a problem posed by Noga Alon.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":1,"official":1,"filed":"2026-10-12","updated":"2026-10-12","orgs":["Beijing Institute 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":74,"official":13,"filed":"2026-10-07","updated":"2026-10-12","orgs":["OpenAI"]},{"id":"2026-09-30-ai-assisted-conjecture-wave-summer-2026","url":"https://postcutoff.com/e/2026-09-30-ai-assisted-conjecture-wave-summer-2026/","date":"2026-09-30","date_precision":"day","short_title":"Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help","deck":null,"takeaway":"This entry catalogues about 50 of them, with the AI role as the authors state it.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":9,"official":4,"filed":"2026-09-30","updated":"2026-10-12","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]},{"id":"2026-09-08-openai-navier-stokes-blowup","url":"https://postcutoff.com/e/2026-09-08-openai-navier-stokes-blowup/","date":"2026-09-08","date_precision":"day","short_title":"OpenAI claims a Millennium Prize problem","deck":"10,000 AI agents prove forced Navier–Stokes blow-up; priority dispute erupts","takeaway":"It is the first credible AI claim on a Clay Millennium Prize problem, even if only a technically permitted variant.","category":"science","category_label":"Science & math","importance":5,"confidence":"medium","status":{"key":"disputed","labels":["Disputed"]},"sources":36,"official":4,"filed":"2026-09-29","updated":"2026-10-09","orgs":["OpenAI"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-12","type":"filed","text":"Created from the arXiv PDF and weneedabp.github.io (found by a manual arXiv scan)"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-12","run":null,"sources_read":"The arXiv PDF and weneedabp.github.io (found by a manual arXiv scan)","updated":"2026-10-12","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":162,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":101,"in_training_data":false},{"model_id":"gemini-3-8-flash","name":"Gemini 3.8 Flash","cutoff":"2026-03","days_after":192,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":131,"in_training_data":false}],"short_url":"https://postcutoff.com/s/we-need-abp-six"}