"Журналист: ...Вот несколько месяцев назад японец Мочидзуки объявил о решении старой и очень сложной задачи из теории чисел, ABC-проблемы, но его доказательство до сих пор никому не удалось понять. Можно ли считать вопрос закрытым, пока проверка не состоялась?
Это временная проблема. Если Мочидзуки смог доказать (и правильно притом) ABC-гипотезу, значит, у него была интуиция, которая упрощала эту проблему. Он не смог еще передать коллегам эту интуицию, но со временем кто-то сделает это за него".
А если не найдется людей (или человека), которые смогут подтвердить "интуицию" математика? Значит ли это, что в каких-то особых случаях верифицируемость возможна только потому, что кто-то, получив соответствующее образование, обладает очень сильным воображением и вокруг него существует среда, которая может воспринять его доказательство,
...