When AI solves unsolved math problems, is that genuine discovery or just advanced computation?
OpenAI said an internal version of its next model, Astra, solved ten previously open problems in math and theoretical computer science and published verified proofs.
Same could be asked when a human solves the problem