Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning OpenAI has claimed a further advance in AI reasoning after its technology successfully tackled an 80-year-old ...

An AI system developed by Meta can find solutions to maths problems that have eluded mathematicians for over a century, researchers at the firm claim. The problems involve mathematical tools called ...

Australian Year 4 students have achieved their best ever result in a major international assessment of maths and science. Year 8 students, who also did the test, held steady. The results from the 2023 ...

Amateur mathematicians are using artificial intelligence chatbots to solve long-standing problems, in a move that has taken professionals by surprise. While the problems in question aren’t the most ...