Remember that math problem from 2014? A Chinese AI tool cracked it ...
A Chinese artificial intelligence framework has autonomously resolved an open problem proposed more than a decade ago by a US mathematician, according to the Peking University-led team that developed ...
Chinese AI cracks decade-old math problem without human oversight - Breakthrough provides example of how mathematical research can be automated ...
AI in China cracks decade-old algebra problem without human intervention - ...
They added that although the AI could solve the problem on its own, guidance from a mathematician could speed up the process.