AI, Data Science, Geometry, Deepmind, Neurosymbolic Ai.
next time if we want to solve a hard problem, we don’t have to wait hundreds of years?” Solving problems as difficult as Fermat’s Last Theorem would of course be very hard, but Trinh saw a way to get part of the way there: “the only way to make progress on these kinds of large questions is to