DeepMind планирует опубликовать спецификацию и математические доказательства в открытом доступе