DeepMinds KI löst 6 forschungsrelevante Mathematikprobleme
Aletheia, die neueste Mathematik-KI von DeepMind, hat 6 von 10 unveröffentlichten Forschungsproblemen aus der FirstProof-Challenge gelöst. Fünf Lösungen wurden von externen Experten als „nach geringfügigen Änderungen veröffentlichungsreif" eingestuft.