Google DeepMind представила ИИ, который помогает математикам открывать новые теоремы

[xitri_kot]

интересно

[ValeriyPus]

Если блок работает, его можно включить в более крупную конструкцию, что резко ускоряет поиск новых результатов.

Очень, учитывая что это почти DreamCoder (Darpa).

Т.е. просто спонсируем грант MiT, через 10 лет достаем (у нас тут в Alphabet почти OpenSource)

[alan008]

Можно уточнить, в чем разница между этой новостью от мая, где система называется также (AlphaEvolve), но там речь шла об автоматической оптимизации алгоритмов?

https://habr.com/ru/companies/bothub/news/909764/

И желательно дать ссылку на источник текущей новости.