glocka

Группе математиков удалось понять одну из теорем, которые бодро наплодила и доказала компьютерная программа.
Может, это вообще в последний раз, так и останется уникальным.

Уже есть пример, когда Филдсовскую премию не получается вручить, так как не набирается десяток желающих потратить шесть месяцев на проверку доказательства. А теперь представим, что шесть месяцев или лет надо потратить только на то, чтобы понять формулировку теоремы, много найдется желающих среди млекопитающих? И придется рано или поздно поручить присуждение Филдсовской премии компьютерам. Потом и среди AI найдутся желающие внедрять divеrsity, и у них тоже все заглохнет.