MacArthur Professor of Theoretical Physics and Mathematics ... they did not solve the main conjecture itself, they disproved families of problems, referred to as potential counterexamples ...

While disproving counterexamples ... in an area of math that was decades old.” What’s more, Gukov and his colleagues have prioritized approaches that do not need large amounts of computing ...

Now, to help solve the world’s toughest math ... researchers did not prove the main conjecture, their new system disproved related families of problems known as potential counterexamples that ...