AlphaProof Nexus

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