🔴 Google DeepMind takes step closer to cracking top-level maths

“Even though computers were made to do maths faster than any human could manage, the top level of formal mathematics remains an exclusively human domain. But a breakthrough by researchers at Google DeepMind has brought AI systems closer than ever to beating the best human mathematicians at their own game.”

https://www.theguardian.com/technology/article/2024/jul/25/google-deepmind-takes-step-closer-to-cracking-top-level-maths

#AI #ArtificialIntelligence #DeepMind #Maths #Mathematics #Math #Google #Tech #Technology #News @ai