korbonits

Recent Submissions

1. 1. ▲ Poincaré Conjecture Formalized in Lean4 (twitter.com) 2 points · 1 month ago · 1 comment
2. 2. ▲ Reproducing the Jacobian conjecture counterexample in two cells of SymPy (korbonits.com) 1 point · 3 months ago · 2 comments
3. 3. ▲ An LLM verifier rated math proofs near-perfect; an expert found 17% correct (korbonits.com) 3 points · 4 months ago · 0 comments
4. 4. ▲ Who verifies the verifier? Notes on DeepMind's formal proof-search paper (korbonits.com) 1 point · 5 months ago · 0 comments
5. 5. ▲ The Verification Problem (On OpenAI's Erdős Disproof) (korbonits.com) 3 points · 5 months ago · 0 comments
6. 6. ▲ Textio Flow Launched Today (textio.ai) 2 points · 7 years ago · 0 comments
7. 7. ▲ The Languages of Black Panther (junglelightspeed.com) 1 point · 8 years ago · 0 comments
8. 8. ▲ 2018 New Year's Resolutions (korbonits.github.io) 1 point · 8 years ago · 0 comments