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

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

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

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

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

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

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

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

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

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

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

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