← Back to PeopleACResearcherAlexander CircelliCo-author of a paper analyzing OpenAI's autoformalisation and Lean verification process.1Mentions1Articles1OutletsCompanies CoveredOpenAI1ArticlesMost recent firstMentioned InReferenced in coverageOpenAI's Navier-Stokes proof has a flaw, its Lean verification doesn't match the actual argumentarXivnegativeOct 9, 2026“Co-author of a paper analyzing OpenAI's autoformalisation and Lean verification process.”