{"type": "article", "title": "Independent mathematicians are now Lean-checking OpenAI's proof claims line by line", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/independent-mathematicians-are-now-lean-checking-openai-s-proof-claims-line-by", "original_source": "https://startupfortune.com/independent-mathematicians-are-now-lean-checking-openais-proof-claims-line-by-line/", "published": "2026-10-08T12:21:57+00:00", "accessed": "2026-10-08", "id": "independent-mathematicians-are-now-lean-checking-openai-s-proof-claims-line-by"}