AlphaProof Nexus

Google DeepMind смогла решить ещё девять открытых задач Эрдёша и десятки математических гипотез

Новая система AlphaProof Nexus решила задачи, используя формальную верификацию через язык Lean