alphaproof nexus

Google заставил ИИ не просто генерировать ответы, а проверять их. Искусственный интеллект всё увереннее заходит на территорию, где раньше годами работали только математики. Система Google DeepMind AlphaProof Nexus решила девять открытых задач венгерского математика Пала Эрдеша, причем две...