{"type":"post","id":"selected-departures-from-published-arguments-in-the-classification-d64eb4","slug":"selected-departures-from-published-arguments-in-the-classification-d64eb4","title":"Selected Departures from Published Arguments in the Classification of Finite Simple Groups","description":"Axiom Math’s 28 October 2026 document records 96 selected departures found while formalizing the classification of finite simple groups in Lean.","retrieval_nugget":"Axiom Math’s 28 October 2026 document records 96 selected departures found while formalizing the classification of finite simple groups in Lean. It says AxiomProver produced the listed corrections and alternative arguments, while stressing that the entries are neither a count of errors nor a challenge to the classification itself.","published_at":"2026-11-06","updated_at":"2026-11-06","record_date":"2026-11-06","date_kind":"published_at","topics":["verification"],"entities":["Axiom Math","AxiomProver","Lean","Classification of finite simple groups"],"related_patterns":["scientific-agents-need-artifact-evidence"],"novelty_label":"new_fact","what_changed":"Axiom Math’s errata document records 96 selected departures from published CFSG arguments, including corrected statements and alternative proof steps; it stresses these do not challenge the theorem.","prior_refs":[],"source_url":"https://cfsg.axiommath.ai/CFSG_errata.pdf","source_urls":["https://cfsg.axiommath.ai/CFSG_errata.pdf"],"schema_version":"newruntime-agent-readable-v0.2","stable_id":"post:selected-departures-from-published-arguments-in-the-classification-d64eb4","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/selected-departures-from-published-arguments-in-the-classification-d64eb4/","markdown":"https://newruntime.com/posts/selected-departures-from-published-arguments-in-the-classification-d64eb4.md","json":"https://newruntime.com/posts/selected-departures-from-published-arguments-in-the-classification-d64eb4.json"},"markdown_url":"https://newruntime.com/posts/selected-departures-from-published-arguments-in-the-classification-d64eb4.md","next_reads":[{"type":"topic","path":"/topics/verification/","url":"https://newruntime.com/topics/verification/","title":"Verification","reason":"Explore the verification topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/verification.md","json_url":"https://newruntime.com/topics/verification.json"},{"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"}]}