#доведення теорем

AlphaProof Nexus розв’язала десятки відкритих математичних задач, а дослідження пройшло рецензування

ШІ Google DeepMind самостійно розв’язав десятки відкритих математичних задач, ідеться в новому дослідженні в журналі Science.