On ne le dira jamais assez : n'utilisez pas les nombres à virgule flottante (float) pour faire des calculs mathématiques, ce n'est pas fiable, et ce n'est pas un bug.

Ce site explique très bien pourquoi.

En réponse au post d'hier.
Du coup, un professeur en science informatique a développé un site indiquant à partir d'une URL vers un article de recherche, si le problème P=NP a été ou non résolu 😛

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.