математически-компьютерное

Неужели?

(относительно серьезный кандидат на доказательство P!=NP)

(автор - не шарлатан. Реакций экспертов пока нет, читают. Он разослал док-во в пятницу. Док-во использует методы статистической физики)

(некоторые известные факты и элементарные соображения хорошо подытожены в комментарии на HN).