Gemini научился находить и формально доказывать новые закономерности в работе вычислительных машин Исследователи Google DeepMind и Кембриджского университета разработали систему на базе Gemini, которая самостоятельно обнаружила новые математические закономерности в работе 11 машин Тьюринга и…