Здравствуйте, sept_tone, Вы писали:

_>Причем тут сигулярность ?

сингулярность в том, что скоро (возможно) ИИ будет выводить теоремы и решения/доказательства — которые не в силах осознать человек, либо на это у него уйдёт слишком много времени ..

как например сейчас — без всякого ИИ вполне себе начинается сингулярность, когда потенциально прорывные передовые теории и доказательства некоторые — могут осилить от силы единицы человек в мире, и при этом у них нет единогласия в верности — в т.ч. и с автором, и никто ни доказать ни опровергнуть "решение" — не может ..

вот к примеру, так было с доказательством какого японского математика — на много сот страниц ..

Несмотря на множество конференций, пытавшихся объяснить доказательство Мотидзуки, специалисты по теории чисел с трудом справлялись с лежащими в его основе идеями. Его серия работ общим объёмом более 500 страниц написаны малопонятным стилем, и ссылаются на его предыдущую работу из порядка 500 страниц, что приводит к появлению «чувства бесконечного регресса», как выразился математик Брайан Конрад из Стэнфордского университета.

Однако эта встреча завершилась к неудовлетворению сторон. Мотидзуки не смог убедить Шольце и Стикса в том, что его доказательство верное, а они не смогли убедить его, что оно неверное. Мотидзуки уже выложил отчёт Шольце и Стикса на своём сайте, и присовокупил к ним несколько своих возражений.

Титаны от математики схлестнулись над эпичным доказательством abc-гипотезы
https://habr.com/ru/post/426033/

Здравствуйте, sept_tone, Вы писали:

_>Причем тут сигулярность ?

сингулярность в том, что скоро (возможно) ИИ будет выводить теоремы и решения/доказательства — которые не в силах осознать человек, либо на это у него уйдёт слишком много времени ..

как например сейчас — без всякого ИИ вполне себе начинается сингулярность, когда потенциально прорывные передовые теории и доказательства некоторые — могут осилить от силы единицы человек в мире, и при этом у них нет единогласия в верности — в т.ч. и с автором, и никто ни доказать ни опровергнуть "решение" — не может ..

вот к примеру, так было с доказательством какого японского математика — на много сот страниц ..

Несмотря на множество конференций, пытавшихся объяснить доказательство Мотидзуки, специалисты по теории чисел с трудом справлялись с лежащими в его основе идеями. Его серия работ общим объёмом более 500 страниц написаны малопонятным стилем, и ссылаются на его предыдущую работу из порядка 500 страниц, что приводит к появлению «чувства бесконечного регресса», как выразился математик Брайан Конрад из Стэнфордского университета.

Однако эта встреча завершилась к неудовлетворению сторон. Мотидзуки не смог убедить Шольце и Стикса в том, что его доказательство верное, а они не смогли убедить его, что оно неверное. Мотидзуки уже выложил отчёт Шольце и Стикса на своём сайте, и присовокупил к ним несколько своих возражений.

[12 октября 2018] Титаны от математики схлестнулись над эпичным доказательством abc-гипотезы
https://habr.com/ru/post/426033/

На 2020 год доказательство Мотидзуки всё ещё пребывает в неопределённом статусе, математическое сообщество не убеждено в его верности

https://ru.wikipedia.org/wiki/Abc-%D0%B3%D0%B8%D0%BF%D0%BE%D1%82%D0%B5%D0%B7%D0%B0

а появилось это "доказательство" — более 9 лет назад в 2012 году ..