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

Неужели?

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

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

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

и еще математическое

Не столь важное и интересное, как попытка доказать P!=NP, но тем не менее:

Окончательно доказали (так утверждается), что кубик Рубика всегда можно решить за 20 ходов.