Google DeepMind has unveiled two new AI systems that collectively solved four of six problems from this year's International Mathematical Olympiad (IMO), performing at the level of a silver medalist.
Imagine a problem so fiendishly hard that one of the greatest mathematicians of the 20th century publicly mused that even alien civilisations ...
Today's artificial intelligence (AI) systems possess many skills but typically fall short when it comes to tackling complex math problems. That's why Google is excited that two of its DeepMind AI ...
On 17 October, Prof. Dr. Lisa Sauermann (University of Bonn) gave the "John von Neumann Lecture" at Mathematics Münster. Many researchers joint her inspiring talk "On three-term progression-free sets ...