alt Hacker NewsFor a second I thought they were aiming the scary proof machine at us mortals doing PDE stuff. Fortunately the speculation is just that they happen to be aiming it at a nearby mathematician type problem. Phew.
For a second I thought they were aiming the scary proof machine at us mortals doing PDE stuff. Fortunately the speculation is just that they happen to be aiming it at a nearby mathematician type problem. Phew.