AlphaProof Nexus от Google DeepMind смогла решить 9 из 353 задач Эрдёша
Система AlphaProof Nexus от Google DeepMind решила девять открытых математических задач Эрдёша, используя связку Gemini 3.1 Pro и языка верификации Lean.
Gemini 3.1 Pro
Новости
Система AlphaProof Nexus от Google DeepMind решила девять открытых математических задач Эрдёша, используя связку Gemini 3.1 Pro и языка верификации Lean.
