So lately, there is a race to prove/disprove conjectures. Thinking they are just obstacles in math. However, I think what is more important is the methods and methodologies and what the path is to achieving the results. Which means reusability and transformation of methodologies and methods to other problems, or what is called a morphism in category theory. By that, a complex problem could be divided into smaller ones; if one methodology solved one smaller subproblem, it could be used in other categorically same subproblems or complex problems unrelated to the original problem. One solution or sub-solution could open the door to others. Reusability and transformability of the whole or the parts are important as the solution itself. Solving conjectures in a dry manner ironically doesn't help as much as the path that led to solving them. #ai #aiResearch #conjecture #math