N nature.com AI maths whiz creates tough new problems for humans to solve 145 points tzury 5 years ago 79 comments