Comment by jan ahb (jan-ahb) on OpenAI Solves (Some) Formal Math Olympiad Problems · 2022-12-06T22:51:48.454Z · LW · GW

f(x)=0