bibibi.ccLoading…
The X account @skominers stated that the complete classification of finite simple groups (CFSG) has been formally verified, calling it unbelievable.
I remember following Aschbacher et al.'s progress to wrap up the classification in real time when I was in high school and then college. In many ways it felt like today, with major progress on longstanding programs arriving in massive chunks for the community to internalize – except today we have the benefit of LLMs and autoformalization to aid the process.
Incredible to see the full CFSG formalized, QED 🎡
I remember following Aschbacher et al.'s progress to wrap up the classification in real time when I was in high school and then college. In many ways it felt like today, with major progress on longstanding programs arriving in massive chunks for the community to internalize – except today we have the benefit of LLMs and autoformalization to aid the process.
Incredible to see the full CFSG formalized, QED 🎡
The following is analysis, separate from reported facts. Verify important claims independently.
The source is a single X post, with no verifiable link to a formalization project, paper, or official announcement provided; the content has limited relevance to the crypto and policy watchlist.
Verify the follow-up conditions for this event: look for public verification records from the relevant formalization project, paper, or institution; monitor the specific scope of the result and whether an independent review has been completed.
Loading event timeline…