ШІ довів теорему, з якою математики возилися 18 місяців

Math Inc. представила Gauss — систему штучного інтелекту, яка всього за три тижні розв’язала складну задачу: Strong Prime Number Theorem.


Для порівняння: провідні математики світу, серед них Терренс Тао та Алекс Конторович, працювали над нею півтора року й змогли завершити лише спрощену версію.

Gauss працював автономно, видавши 25 000 рядків перевіреного математичного коду з понад тисячею взаємопов’язаних доказів і визначень.

Math Inc. вже планує масштабувати цю систему в сотні разів, створюючи фундамент для “машин-поліматів” та перевіреного суперінтелекту.

Не всі згодні з тим, що складна математика - основа мислення. І все ж зростання майстерності ШІ в цій сфері - один з найважливіших сигналів про системи, які можуть створювати нові ідеї та розширювати розуміння світу🤓

#YK #новини