{"type":"post","id":"a-group-maintaining-a-public-yang-mills-results-0e95d8","slug":"a-group-maintaining-a-public-yang-mills-results-0e95d8","title":"A group maintaining a public Yang–Mills results repository says its assessment of OpenAI’s 28 October 2026","description":"A group maintaining a public Yang–Mills results repository says its assessment of OpenAI’s 28 October 2026 submission supports a specific construction result, not the full Yang–Mills Millennium Prize problem.","retrieval_nugget":"A group maintaining a public Yang–Mills results repository says its assessment of OpenAI’s 28 October 2026 submission supports a specific construction result, not the full Yang–Mills Millennium Prize problem. The distinction matters to AI builders because it shows why formal verification packages and precise claim boundaries matter more than a headline about an AI-written proof.","published_at":"2026-11-12","updated_at":"2026-11-12","record_date":"2026-11-12","date_kind":"published_at","topics":[],"entities":["OpenAI","Yang-Mills Group","Lean","Mathlib","Comparator"],"related_patterns":["scientific-agents-need-artifact-evidence"],"novelty_label":"new_fact","what_changed":"A committee led by Nobel laureate David Gross confirmed the AI-written Yang-Mills existence proof, potentially awarding half of a $1 million Millennium Prize.","prior_refs":[],"source_url":"https://github.com/yang-mills-group/YM","source_urls":["https://github.com/yang-mills-group/YM"],"schema_version":"newruntime-agent-readable-v0.2","stable_id":"post:a-group-maintaining-a-public-yang-mills-results-0e95d8","status":"published","visuals":[],"editor":{"role":"editor","name":"Andrey Reshetnikov","profile":"https://newruntime.com/owner-profile.md","profile_json":"https://newruntime.com/owner-profile.json","same_as":["https://www.linkedin.com/in/reshetnikov1/","https://t.me/lapetuse"]},"routes":{"html":"https://newruntime.com/posts/a-group-maintaining-a-public-yang-mills-results-0e95d8/","markdown":"https://newruntime.com/posts/a-group-maintaining-a-public-yang-mills-results-0e95d8.md","json":"https://newruntime.com/posts/a-group-maintaining-a-public-yang-mills-results-0e95d8.json"},"markdown_url":"https://newruntime.com/posts/a-group-maintaining-a-public-yang-mills-results-0e95d8.md","next_reads":[{"type":"collection","path":"/posts/","url":"https://newruntime.com/posts/","title":"Field Notes","reason":"Open the latest editorial analysis.","media_type":"text/html","json_url":"https://newruntime.com/posts.json"},{"type":"collection","path":"/sources/","url":"https://newruntime.com/sources/","title":"Sources","reason":"See the original sources this archive cites.","media_type":"text/html"}]}