ckcheng

↗ HN profile [ 75.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Tariffs Can Help America (foreignaffairs.com)
  2. Terran Trade Authority (en.wikipedia.org)
  3. AlphaProof uses a pre-trained language model + MCTS (Monte Carlo tree search) to generate Lean proofs to solve the IMO (International Mathematical Olympiad) algebraic problems (I think). Why doesn't this work for IMO…