A team from Peking University in China has successfully utilized artificial intelligence to solve a long-standing mathematical problem that had remained unresolved since its proposal by Dan Anderson, a professor at the University of Iowa, in 2014. The conjecture was addressed using a novel AI framework that includes a reasoning engine named Rethlas and a mathematical search tool called Matlas, which together simulate the problem-solving approaches of human mathematicians. The entire process took approximately 80 hours, significantly less time than would typically be required for human collaboration. This dual-system approach allows for the generation of potential solutions and their conversion into a formal proof format compatible with Lean 4, an interactive theorem prover. The researchers believe this development could revolutionize mathematical research by automating time-consuming tasks, allowing mathematicians to concentrate on higher-level thinking. This achievement stands out in a field where most existing AI tools still depend on human oversight, marking a significant milestone in the growing intersection of AI and mathematics.