Get the latest Science News and Discoveries

Can AI actually solve real math proofs? Researchers put it to the test

A new challenge reveals how well AI can tackle true math problems

None

Get the Android app