Live data from Hacker News

Who verifies the verifier? Notes on DeepMind's formal proof-search paper

Post reply on HN

Print view View original

1–3 of 3 posts

Who verifies the verifier? Notes on DeepMind's formal proof-search paper

#1

Post by korbonits » Sat, May 30, 2026, 4:13 AM UTC

Who verifies the verifier? Notes on DeepMind's formal proof-search paper
korbonits.com

Re: Who verifies the verifier? Notes on DeepMind's formal proof-search paper

#2

Post by korbonits » Sat, May 30, 2026, 4:13 AM UTC

[flagged]

Re: Who verifies the verifier? Notes on DeepMind's formal proof-search paper

#3

Post by xxBoson » Sat, May 30, 2026, 7:33 AM UTC

[flagged]

Post reply on HN