korbonits

Recent Submissions

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