Quotidien Shaarli

Tous les liens d'un jour sur une page.

September 5, 2017

Un mathématicien allemand affirme avoir résolu le problème P=NP - Motherboard

Attendons tout de même de voir si la preuve est validée, quand même.
Ce qui, si on en croit la fin de l'article, semble assez compromis, a priori :

Sur un forum dédié à la théorie mathématique, l'utilisateur Mikhail écrit qu'il a demandé à Alexander Razborov - dont les travaux ont inspiré la preuve de Blum - ce qu'il pensait de l'article préliminaire de Blum. Or, il aurait trouvé une erreur dans l'article : dans l'un des points clés de sa preuve, [...] Blum contredit l'une de ses propres hypothèses, le théorème 6.