Hacker News new | ask | show | jobs
user: korbonits
created: 2017-12-06
karma: 13

submissions:

0 points | 0 comments
0 points | 0 comments
Reproducing the Jacobian conjecture counterexample in two cells of SymPy
1 points | 2 comments
An LLM verifier rated math proofs near-perfect; an expert found 17% correct
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Who verifies the verifier? Notes on DeepMind's formal proof-search paper
1 points | 0 comments
The Verification Problem (On OpenAI's Erdős Disproof)
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Textio Flow Launched Today
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
The Languages of Black Panther
1 points | 0 comments
0 points | 0 comments
2018 New Year's Resolutions
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Corporate cultural values vs. corporate PR
1 points | 0 comments