Nexus AlphaProof від Google DeepMind розв’язує 9 задач Ердаша 26 травня, найстарішу нерозв’язану вже 56 років

За даними xinzhiyuan, Google DeepMind випустила AlphaProof Nexus 26 травня — агент з математики на базі ШІ, який розв’язав дев’ять давніх відкритих проблем Ердоса, причому найстарішу було без розв’язання 56 років. Вартість одного розв’язання становила лише кілька сотень доларів.

Кожен доказ був формально перевірений компілятором Lean, що виключає можливість помилки. Також DeepMind повідомила про прориви в алгебраїчній геометрії, опуклій оптимізації, теорії графів і квантовій оптиці.