An AI framework has solved an over 10-year-old mathematical problem posed by late Professor Dan Anderson within 80 hours, as per the preprint paper published in arXiv. It was developed by a research team led by China's Peking University. "We successfully solved...[the] problem in commutative algebra and automatically formalised...proof with essentially no human intervention," researchers said.