⟳ Репост от Ben Ansell
Brendan Nyhan

Columbia associate prof in CS on the difference between AI solving a proof and reporting in a manner that is intelligible to an expert whose work it builds on