Уникальный случай
Dec. 4th, 2021 01:58 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
glockaГруппе математиков удалось понять одну из теорем, которые бодро наплодила и доказала компьютерная программа.
Может, это вообще в последний раз, так и останется уникальным.
Уже есть пример, когда Филдсовскую премию не получается вручить, так как не набирается десяток желающих потратить шесть месяцев на проверку доказательства. А теперь представим, что шесть месяцев или лет надо потратить только на то, чтобы понять формулировку теоремы, много найдется желающих среди млекопитающих? И придется рано или поздно поручить присуждение Филдсовской премии компьютерам. Потом и среди AI найдутся желающие внедрять divеrsity, и у них тоже все заглохнет.
Может, это вообще в последний раз, так и останется уникальным.
Уже есть пример, когда Филдсовскую премию не получается вручить, так как не набирается десяток желающих потратить шесть месяцев на проверку доказательства. А теперь представим, что шесть месяцев или лет надо потратить только на то, чтобы понять формулировку теоремы, много найдется желающих среди млекопитающих? И придется рано или поздно поручить присуждение Филдсовской премии компьютерам. Потом и среди AI найдутся желающие внедрять divеrsity, и у них тоже все заглохнет.
