{"type": "article", "title": "Palomar opens a Lean proof registry for the AI math pileup", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/palomar-opens-a-lean-proof-registry-for-the-ai-math-pileup", "original_source": "https://runtimewire.com/article/palomar-lean-proof-registry-ai-mathematics", "published": "2026-08-19T04:42:09+00:00", "accessed": "2026-08-19", "id": "palomar-opens-a-lean-proof-registry-for-the-ai-math-pileup"}