{"type": "article", "title": "Who verifies the verifier? Notes on DeepMind's formal proof-search paper", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/who-verifies-the-verifier-notes-on-deepmind-s-formal-proof-search-paper", "original_source": "https://korbonits.com/blog/2026-05-28-who-verifies-the-verifier/", "published": "2026-05-30T04:13:08+00:00", "accessed": "2026-07-14", "id": "who-verifies-the-verifier-notes-on-deepmind-s-formal-proof-search-paper"}