https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/ AI achieves silver-medal standard solving International Mathematical Olympiad problems
Today, we present AlphaProof, a new reinforcement-learning based system for formal math reasoning, and AlphaGeometry 2, an improved version of our geometry-solving system. Together, these systems solved four out of six problems from this year’s International Mathematical Olympiad (IMO), achieving the same level as a silver medalist in the competition for the first time. ED: There is a catch: the problems were translated by a human: First, the problems were manually translated into formal mathematical language for our systems to understand. In the official competition, students submit answers in two sessions of 4.5 hours each. Our systems solved one problem within minutes and took up to three days to solve the others. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAGUWgD_JdiayczdQrywvWtM7h5e0BW_SY_9b%2BY843EfhgpEn1Q%40mail.gmail.com.
