{"data":{"event":{"id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","slug":"openai-three-scientific-results-2026-10","title":"OpenAI announces three AI-assisted research claims across mathematics, computer science, and physics","short_summary":"OpenAI says its internal models produced results on all-dimensional local smoothing, the Exponential Time Hypothesis, and quantum-field-theory existence. Two writeups and Lean files are public; the physics work remains under academic review and is not yet released.","full_description":"On 26 October 2026, OpenAI announced three research results it attributes to its internal models. In harmonic analysis, it claims a proof of the local smoothing conjecture in every dimension, with implications for Kakeya and Stein restriction conjectures. It says the natural-language writeup and a Lean formalization are public. In theoretical computer science, it claims a refutation of the Exponential Time Hypothesis (ETH), a conjecture used to establish conditional hardness results. OpenAI published a writeup and Lean formalization and says a group led by ETH's original proposers Russell Impagliazzo and Ramamohan Paturi, with Ryan Williams, will organize an open examination. The organizers say their involvement is not certification.\n\nFor physics, OpenAI claims a mathematically rigorous existence proof for certain four-dimensional quantum field theories, including QCD and a completion of the Standard Model. It says the work includes a proof of pure Yang-Mills existence, which is part of the Clay Millennium Prize problem, but does not claim to have proved the full Yang-Mills mass-gap problem. The collaborating physicists have asked to hold the AI-produced artifacts while they prepare their own account.\n\nThis record covers the 26 October announcement as one cross-disciplinary research release, not three independently validated theorems. The local-smoothing and ETH manuscripts are public and include Lean formalizations, but neither is peer reviewed or independently accepted. The physics claim cannot yet be inspected through public source artifacts. OpenAI says it does not seek academic credit for the discoveries and that expert collaborators will work independently. The Reddit post is discussion and amplification, not evidence for the mathematical claims.","ledger_type":"benefit","primary_domain_id":"23d935bb-b857-4b2b-9471-d568bb848a66","event_status":"provisional","event_date":"2026-10-26T00:00:00.000Z","discovery_date":"2026-10-26T00:00:00.000Z","first_published_date":"2026-10-26T00:00:00.000Z","last_reviewed_date":"2026-10-26T00:00:00.000Z","geographic_scope":"International research community","affected_population":"Researchers in harmonic analysis, computational complexity, constructive quantum field theory, and related fields","base_impact_tier":4,"base_score":"30.00","attribution_multiplier":"0.9000","evidence_multiplier":"0.3500","realization_multiplier":"0.5500","durability_multiplier":"0.9000","current_event_score":"3.976100","confidence_level":"medium","score_explanation":"Historic potential (tier 4, base 30) for a release claiming advances on three major open questions across analysis, computational complexity, and quantum field theory. The score treats this as a provisional claim cluster, not as three accepted theorems or a completed Clay Millennium problem. Attribution is high because OpenAI attributes the results to its internal models (0.90); the models receive an 85% editorial credit share, with human prompting, existing mathematical foundations, and expert-led interpretation recognized. Evidence is 0.35 because the announcement is first-party and two results have public writeups and Lean formalizations, but the work is not peer reviewed or independently accepted and the physics artifacts are withheld. Realization is 0.55 because two formalized research outputs are public while the third remains unavailable for inspection. Durability is 0.90 conditional on correctness. Jev 1.14.0 classified the story as AI-relevant and novel, but assigned low probability to a notable outcome (0.13) and selected neither ledger (0.99), reflecting the ingest classifier's strict realized-outcome gate. Editorial inclusion here records the concrete publication of two public research outputs and an announced third claim, with explicit provisional status. Jev did not choose the rubric factors. Score: 30 × 0.90 × 0.35 × 0.55 × 0.90 × 0.85 = 3.9761 points.","methodology_version_id":"8745541b-0f8e-4d5a-9b47-5291d3813a8d","original_methodology_version_id":"8745541b-0f8e-4d5a-9b47-5291d3813a8d","published_at":"2026-10-26T00:00:00.000Z","created_at":"2026-10-27T20:16:14.720Z","updated_at":"2026-10-27T20:16:14.720Z","flags":["OpenAI attributes the work to internal models but does not name model releases","The local-smoothing and ETH claims await independent examination and community acceptance","The physics artifacts are not public; collaborating physicists are preparing an account","Lean formalizations are public for local smoothing and ETH, not the withheld physics result","The announcement does not claim a solution of the full Yang-Mills mass-gap problem","The Reddit post discusses the announcement and is not a primary evidence source"],"domain_name":"Mathematics","domain_slug":"mathematics","methodology_version":"0.2"},"contributions":[{"id":"f371ed48-2c2b-4384-a8fd-1bfd804650b0","event_id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","model_id":"674433f4-ceb3-4104-b9f7-f45edb276314","role_description":"Unreleased internal model system that OpenAI says produced research outputs on local smoothing, the Exponential Time Hypothesis, and quantum-field-theory existence; specific model identities are undisclosed.","attribution_multiplier":"0.9000","credit_share":"0.8500","contribution_score":"3.976100","attribution_rationale":"OpenAI attributes the original research outputs to its internal models. Academic collaborators were engaged after the results were produced to examine, explain, and contextualize them. The 85% AI credit share is an editorial estimate that allows for human prompting, prior mathematical foundations, and the physics collaborators' forthcoming account; it is not an author-supplied percentage.","attribution_confidence":"medium","first_used_date":"2026-10-16T00:00:00.000Z","model_version_if_known":null,"review_status":"approved","created_at":"2026-10-27T20:16:14.720Z","model_slug":"openai-internal-research-system-october-2026-scientific-results","model_name":"OpenAI Internal Research System — October 2026 Scientific Results","identity_class":"internal_unreleased","is_internal":true,"family_name":"OpenAI Internal Research","family_slug":"openai-openai-internal-research","organization_name":"OpenAI","organization_slug":"openai"}],"sources":[{"id":"76eda032-7718-401a-99b1-bc20f2bbca14","event_id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","url":"https://github.com/openai/math/blob/main/preprints/Local-smoothing-for-the-Euclidean-wave-equation-October-25-2026/paper.pdf","canonical_url":"https://github.com/openai/math/blob/main/preprints/Local-smoothing-for-the-Euclidean-wave-equation-October-25-2026/paper.pdf","source_type":"preprint","publisher":"OpenAI / GitHub","author":null,"publication_date":"2026-10-25T00:00:00.000Z","retrieved_at":"2026-10-27T20:16:14.720Z","title":"Local smoothing for the Euclidean wave equation","excerpt":null,"content_hash":null,"source_reliability_class":"low","is_primary_source":true,"is_independent":false,"is_peer_reviewed":false,"archived_url":null,"created_at":"2026-10-27T20:16:14.720Z"},{"id":"1f538ff1-c26e-4496-8e64-de9b4d37be16","event_id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","url":"https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf","canonical_url":"https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf","source_type":"preprint","publisher":"OpenAI / GitHub","author":null,"publication_date":"2026-10-25T00:00:00.000Z","retrieved_at":"2026-10-27T20:16:14.720Z","title":"The Exponential Time Hypothesis is False","excerpt":null,"content_hash":null,"source_reliability_class":"low","is_primary_source":true,"is_independent":false,"is_peer_reviewed":false,"archived_url":null,"created_at":"2026-10-27T20:16:14.720Z"},{"id":"f4903535-0496-4ad4-821f-1335dd184107","event_id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","url":"https://openai.com/index/building-scientific-understanding-with-academic-communities/","canonical_url":"https://openai.com/index/building-scientific-understanding-with-academic-communities/","source_type":"developer_announcement","publisher":"OpenAI","author":null,"publication_date":"2026-10-26T00:00:00.000Z","retrieved_at":"2026-10-27T20:16:14.720Z","title":"Working with academic communities to build scientific understanding","excerpt":null,"content_hash":null,"source_reliability_class":"low","is_primary_source":true,"is_independent":false,"is_peer_reviewed":false,"archived_url":null,"created_at":"2026-10-27T20:16:14.720Z"},{"id":"9ec44a52-8fca-44ae-80a8-09f2f5f269f9","event_id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","url":"https://github.com/openai/math/blob/main/lean/docs/079.md","canonical_url":"https://github.com/openai/math/blob/main/lean/docs/079.md","source_type":"other","publisher":"OpenAI / GitHub","author":null,"publication_date":"2026-10-26T00:00:00.000Z","retrieved_at":"2026-10-27T20:16:14.720Z","title":"Lean formalization scope for local smoothing and related estimates","excerpt":null,"content_hash":null,"source_reliability_class":"low","is_primary_source":true,"is_independent":false,"is_peer_reviewed":false,"archived_url":null,"created_at":"2026-10-27T20:16:14.720Z"},{"id":"d7bd4022-6dec-4ed6-94f8-84121866028f","event_id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","url":"https://github.com/openai/math/blob/main/lean/docs/378.md","canonical_url":"https://github.com/openai/math/blob/main/lean/docs/378.md","source_type":"other","publisher":"OpenAI / GitHub","author":null,"publication_date":"2026-10-26T00:00:00.000Z","retrieved_at":"2026-10-27T20:16:14.720Z","title":"Lean formalization scope for the Exponential Time Hypothesis claim","excerpt":null,"content_hash":null,"source_reliability_class":"low","is_primary_source":true,"is_independent":false,"is_peer_reviewed":false,"archived_url":null,"created_at":"2026-10-27T20:16:14.720Z"},{"id":"8e270700-3cef-4c59-8bdf-98c6cb72d8db","event_id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","url":"https://www.reddit.com/r/OpenAI/comments/1xgyzcg/how_big_a_deal_is_this_claude_opus_55_if_these/","canonical_url":"https://www.reddit.com/r/OpenAI/comments/1xgyzcg/how_big_a_deal_is_this_claude_opus_55_if_these/","source_type":"other","publisher":"r/OpenAI","author":null,"publication_date":"2026-10-27T00:00:00.000Z","retrieved_at":"2026-10-27T20:16:14.720Z","title":"How big a deal is this? Claude Opus 5.5: If these hold up, this is the biggest single day in the history of math and theoretical computer science.","excerpt":null,"content_hash":null,"source_reliability_class":"low","is_primary_source":false,"is_independent":false,"is_peer_reviewed":false,"archived_url":null,"created_at":"2026-10-27T20:16:14.720Z"}],"claims":[{"id":"f0045bf0-4dcb-44d8-a745-bff8ed7c111f","event_id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","claim_text":"OpenAI says its internal models produced a proof of the local smoothing conjecture in every dimension, with public natural-language and Lean materials.","claim_type":"outcome","claim_status":"supported","confidence_score":null,"created_at":"2026-10-27T20:16:14.720Z","updated_at":"2026-10-27T20:16:14.720Z"},{"id":"6bc280f3-e757-4de2-87fe-e24454a205c3","event_id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","claim_text":"OpenAI says its internal system refuted the Exponential Time Hypothesis and published a writeup and Lean formalization for open examination.","claim_type":"outcome","claim_status":"supported","confidence_score":null,"created_at":"2026-10-27T20:16:14.720Z","updated_at":"2026-10-27T20:16:14.720Z"},{"id":"ea6df895-b754-42d5-b25f-b15cbc4c2e1d","event_id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","claim_text":"OpenAI says its internal models produced an existence proof for certain four-dimensional quantum field theories, including QCD, and pure Yang-Mills existence.","claim_type":"outcome","claim_status":"supported","confidence_score":null,"created_at":"2026-10-27T20:16:14.720Z","updated_at":"2026-10-27T20:16:14.720Z"},{"id":"51215533-961e-4627-9269-1bd751753654","event_id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","claim_text":"Independent experts have certified the local-smoothing, ETH, and quantum-field-theory claims as correct.","claim_type":"significance","claim_status":"disputed","confidence_score":null,"created_at":"2026-10-27T20:16:14.720Z","updated_at":"2026-10-27T20:16:14.720Z"},{"id":"7a7af238-b384-4fa7-baa4-6e507fab11ac","event_id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","claim_text":"OpenAI has solved the complete Yang-Mills Millennium Prize problem, including the mass-gap requirement.","claim_type":"significance","claim_status":"disputed","confidence_score":null,"created_at":"2026-10-27T20:16:14.720Z","updated_at":"2026-10-27T20:16:14.720Z"}],"revisions":[{"id":"4d1fa053-81e8-464e-8708-1acd8e0850b7","event_id":"fc1dad2c-ac71-4157-960b-1bf114deb75d","model_id":null,"previous_score":"0.000000","new_score":"3.976100","previous_factors":{},"new_factors":{"evidence":0.35,"base_score":30,"durability":0.9,"attribution":0.9,"realization":0.55},"change_reason":"Imported events under methodology 0.2.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-27T20:16:14.720Z"}],"secondary":[{"name":"Computer Science","slug":"computer-science"},{"name":"Physics","slug":"physics"}]},"methodology_version":"0.1"}