Reproducing the Jacobian conjecture counterexample in two cells of SymPykorbonits.com·1 pts·korbonits·2
An LLM verifier rated math proofs near-perfect; an expert found 17% correctkorbonits.com·3 pts·korbonits·0
Who verifies the verifier? Notes on DeepMind's formal proof-search paperkorbonits.com·1 pts·korbonits·0
Hiring language across 25k job descriptions and corporate cultural normsbusinessinsider.com·2 pts·korbonits·0