Après la conjecture des quatre couleurs (1976, W. Haken et K. Appel), un résultat majeur de mathématique a été validé après une preuve s’appuyant sur un calcul réalisé sur ordinateur : il s’agit de la preuve de la « Conjecture de Kepler », qui date de 1611, relative au meilleur empilement de sphères.
La revue américaine « Annals of Mathematics » a accepté de publier la partie théorique de la démonstration de la « conjecture de Kepler » proposée en 1998 par Thomas Hales, de l’Université de Pittsburgh (Pennsylvanie), tandis que la revue « Discrete and Computational Geometry » en publiait la partie informatique.
http://www.math.princeton.edu/~annals/
Nos derniers articles

« Il paraît paradoxal de viser l’universalité en appuyant cette politique sur un dispositif de parcours, obligatoirement offert à tous les élèves selon le code de l’éducation, mais en pratique considéré

Près des trois quarts des élèves ont bénéficié durant l’année scolaire 2023-24 d’une action d’EAC financée par la part collective du Pass culture auprès d’une des 12 582 structures référencées,

Après le sommet mondial sur l’IA organisé à Paris, il est intéressant et peut-être important de se poser la question qui fâche le monde de l’éducation : les enseignants pourront-ils

L’enquête de Mediapart du 5 février 2025 révèle que François Bayrou aurait été au courant des faits sans donner suite, il aurait donc menti. Selon les informations des journalistes de

Comment développer une culture de l’IA dans un établissement scolaire ? Depuis la mise en service de ChatGPT en novembre 2022, les IA génératives sont devenues l’éléphant dans la salle

« On ne peut que regretter la disparition progressive de la machine à café collective que j’ai connue au début de ma carrière d’enseignant et de musicien intervenant et pas