Hacker News · security·18d agoControversy over OpenAI's Maths Breakthrough#euler-equations#formal-verification#lean 3 min1