Chinese AI cracks decade-old maths problem without human input - Chinese AI demonstrates autonomous reasoning by solving a maths riddle and verifying its own proof ...

In one day, AI achieved three notable milestones: a Chinese system solved and verified a 2014 commutative algebra conjecture, physics-trained models demonstrated major speedups in simulations, and ...