Tout a commencé il y a une quinzaine de jours lorsqu'un mathématicien ingénieur a mis en ligne les éléments d'une preuve de l'un des problèmes mathématiques les plus difficiles à savoir si P=NP.

Pour les non-matheux, j'imagine que cela n'évoque rien et pour les matheux moyens, comme moi, la vague idée que c'est un problème ardu qui traite de la complexité des algorithmes et qui rapportera un million de dollars à qui le résoudra (s'il accepte la somme... elle vient d'être refusée par le mathématicien russe Perelman pour un autre problème).

Le mathématicien s'appelle Vinay Deolalikar et sa publication a mis la communauté mathématique internationale en effervescence. En effet, les commentaires sur les blogs, forums et les wikis n'ont pas cessé depuis la publication de la preuve sur Arxiv, il y a une quinzaine de jours.

Il en reste des traces un peu partout et en particulier:

Sur le blog de Terence Tao, qui rappelons le au passage fut Médaille Fields.

Sur le blog Gödel lost letter and P=NP.

Une semaine: c'est le temps quil aura fallu pour que deux failles importantes soient trouvées par les mathématiciens les plus talentueux dans cette preuve qui aura fait beaucoup parlé d'elle.

Ce qui est surprenant dans cette histoire c'est d'une part le niveau de technicité et d'expertise que peuvent prendre des échanges sur la toile, ce qui contredit largement l'idée selon laquelle Internet serait un lieu d'échanges de seconde zone et d'autre part la rapidité avec laquelle se sont faits ces échanges.

Même si l'on n'est pas sensible aux sujets mathématiques on ne peut qu'être interpellé par cette révolution permise par le monde numérique dans l'accès aux documents, leur diffusion et les discussions qui en sont issues.

Le New-York Times a d'ailleurs rédigé un article sur ce sujet, pointant l'étonnant pouvoir collaboratif de la Toile. A lire de toute urgence !

Bibnum, qui d'accoutumée s'intéresse aux textes scientifiques s'attaque désormais à un os... et pas n'importe lequel celui d'Ishango:

Il est donc clair qu’à partir du moment où l’on a décidé que les paquets d’encoches sont des nombres, il est assez facile, moyennant quelque petits arrangements, de « faire parler » notre os, et même, en creusant un tout petit peu comme ci-dessus, de lui faire dire des choses contradictoires.

Photo: Wikimédia

L'os d'Ishango sur BibNum, une analyse de Olivier Keller.

Je ne connaissais pas ce pays, et comme beaucoup je pense, avais bien du mal à le positionner sur une carte.

La capitale de ce petit pays de 672 000 habitants est Podgorica. Le Monténégro est composé d'environ 80% de montagnes et d'un front de mer magnifique. Les montagnes culminent en moyenne  à 1000 m d'altitude jusqu'à 2000 m pour donner des points de vue éblouissants sur les bouches de Kotor et sur le lac de Skadar.

Agrandir le plan

Cliquez sur les images pour les agrandir

Sveti Stefan

Lac de Skadar

Muraille de Kotor

Kotor

Petrovac

Vue de la chambre...

Diaporama qui sera complété (limite de téléchargement atteinte!)

Ce blog, @olol_olol et @MathsNews vont prendre une quinzaine de jours de vacances bien méritées. Les commentaires seront modérés pendant cette période.

N'hésitez pas à inscrire vos billets de blog pour Festimaths. J'ai commencé la rédaction du billet en navigant sur les blogs de maths mais il est certain que des billets importants sont certainement passés au travers des mailles du filet. N'hésitez donc pas à me les communiquer. La date limite de dépôt est fin août pour publication en ligne  le lundi 06 septembre.

Les détails sont ICI.

WolframAlpha dispose désormais de quelques widgets mathématiques que l'on peut intégrer dans les  billets de certains blogs (comme d'habitude le code est refusé sur le mien). Mais cela fonctionne par exemple sur blogger et j'imagine sur toutes les autres plateformes de blog (sauf Hautetfort!).