Tous les articles par admin

Une IA créée par Google prouve plus de 1200 théorèmes mathématiques

Un groupe de chercheurs de Google a développé un programme d’Intelligence Artificielle chargé de prouver des théorèmes mathématiques. Certains mathématiciens y voient déjà l’avenir de la recherche.

« Vous obtenez une précision et une justesse maximales, sans avoir à rentrer dans le détail. (…) Peut-être que se décharger ainsi de tout ce travail, que l’on devait faire à la main, nous libérerait du temps pour chercher de nouveaux concepts et poser de nouvelles questions » explique Jeremy Avigad, de la Carnegie Mellon University.

L’Intelligence Artificielle au service des mathématiques

Si l’Intelligence Artificielle peut sans doute rendre service dans des domaines comme la livraison de colis ou la conduite de véhicules autonomes, peut-elle égaler l’esprit humain dans des champs aussi précis que la découverte ou la résolution de théorèmes mathématiques ? À vrai dire, les chercheurs en mathématiques expérimentales se sont déjà penchés sur la question, et certaines découvertes récentes sont bien l’œuvre de machines, bien qu’elles aient été ensuite vérifiées à la main par des humains. Parmi elles, on peut mentionner une nouvelle formule pour calculer Pi, une expression simplifiée de la formule sommatoire d’Euler, ou encore de nouveaux résultats au problème de la somme des cubes de Mordell.

De l’apprentissage à l’application

L’équipe de Google s’est basée sur HOL Light Theorem Prover, un logiciel destiné à aider les mathématiciens à formaliser et vérifier leurs raisonnements. L’IA a d’abord été entraînée à résoudre 10 200 théorèmes, dont la plupart relevaient de l’algèbre linéaire, l’analyse réelle ou l’analyse complexe. Les chercheurs de Google soulignent néanmoins que leur approche permettrait des applications très diverses.

Lors de cette première phase d’entraînement, l’intelligence artificielle a été capable de prouver 5919 des théorèmes qui lui avaient été proposés, soit 58% de bonnes réponses. Pour la phase d’application, les chercheurs ont ensuite proposé une série de 3217 nouveaux théorèmes, dont la machine n’avait jamais eu connaissance. Cette fois, elle a pu en prouver 1251, atteignant un taux de réussite de 38,9%.

Ces résultats satisferont alors sans doute les futurologues adeptes de Ray Kurzweill, qui prédit l’arrivée de la Singularité – ce moment où l’intelligence des machines dépasserait l’intelligence humaine – autour de 2045.

Sources : New Scientist, Math Scholar


Bazin au ministère …

Vendredi 5 avril 2019, deux élèves du lycée Bazin recevront le prix du meilleur projet européen erasmus+de France à Paris. Accompagnés de leur professeur de section européenne Mr HOUPERT et du proviseur adjoint Mr DELCOURT, Lucas et Marion présenteront leur projet à Mr le ministre de l’éducation nationale au cours de la cérémonie. Un évènement important récompensant le travail des élèves durant les années 2016 à 2018 dans le cadre d’un projet autour des mathématiques et de la langue anglaise.

Depuis 2 ans, les élèves du lycée Bazin collaborent avec des élèves islandais de Reykjavik et polonais de Poznan sur le projet M.A.T.H 3.0, acronyme de Mathematics : an Amazing Trip through History 3.0. Les activités présentées par les professeurs des trois pays s’articulent autour des grandes périodes de l’Histoire des sciences : l’Antiquité, le Moyen-Age et le 18èmesiècle en Europe. Les élèves sont invités à revisiter les grands théorèmes des mathématiques avec les nouvelles technologies d’aujourd’hui, notamment la réalité virtuelle avec des casques et des caméras 360°.

Plus précisément, les élèves ont programmé des calculatrices à destination des civilisations babyloniennes, mayas, romaines sous la forme d’application Androïd, présentant à la place des habituels chiffres, les symboles mathématiques des systèmes numériques de chaque civilisation. Par ailleurs, les élèves ont imaginé sous la forme  de saynètes filmées en 360 une autre fin à la vie du génial mathématicien Evariste Galois, mort tragiquement à 21 ans à la suite d’un duel. Les étudiants se sont affrontés dans des compétitions de sorobans (bouliers issus des anciennes civilisations) par le biais de vidéoconférences. L’idée finalement était de travailler sur l’héritage culturel, et de proposer un contexte de travail où le passé rencontre le présent. Toutes ces activités ont été travaillées en interaction avec les élèves européens, offrant ainsi un sentiment de citoyenneté européenne aux élèves ardennais. De plus, deux groupes d’élèves ont bénéficié d’une mobilité dans les pays partenaires. 7 jours passés dans des familles islandaises et polonaises dans un objectif d’immersion totale, en vue de développer leurs appétences à la pratique de la langue anglaise et l’ouverture à l’Europe.

Ce projet avait déjà été couronné de succès à Vienne en octobre dernier, recevant le prix du meilleur projet erasmus+ d’Europe.

Semaine des maths 2019 …

Et le thème sera… Jouons ensemble aux mathématiques.

Le comité de pilotage de la Semaine des mathématiques s’est réuni le 5 avril à Paris. La thématique de la prochaine édition est désormais choisie : « Jouons ensemble aux mathématiques ».

Jouons donc ensemble aux mathématiques comme on peut jouer ensemble de la musique : avec passion, en écoutant la voix de l’autre, en laissant libre cours à son imagination dans les règles de l’harmonie et en inventant d’autres règles, en se confrontant à la difficulté et au mystère comme préludes au plaisir et à la découverte.

Jouons ensemble à concevoir et fabriquer des polyèdres géants, décorer des salles en fractales, carreler une cour de pavages, créer un escape game ou un jeu de plateau et le faire jouer à d’autres, jouer des pièces de théâtre mathématiques... Filles et garçons, parents, enseignantes et enseignants, poètes, informaticiennes et magiciens : à vous de jouer ensemble pour préparer dès maintenant cette semaine qui aura lieu du 11 au 17 mars 2019.

Lundi : Defis maths (Irem) (Source)

Jeudi : Pi Day

Ex1 : 
Rayon de la Terre = 6400 km Pi=3,14. On souhaite enrouler la Terre avec une corde. De quelle longueur de corde a-t-on besoin ? On souhaite que la corde soit placée à 50 cm de Terre (en hauteur). De quelle longueur faut-il rallonger la corde ?

Ex2 :
 

Vendredi : Game Parcours Révisions Fonctions affines 

 

Par ailleurs, au lycée Bazin, les élèves jouent tout en faisant des mathématiques lors des activités suivantes :

***Photos***

***Vidéos***

En route pour Algorea…

Bravo pour votre participation au castor informatique !

Il est temps d’aller plus loin en se confrontant au concours algorea.



Etape 1 : Récupérez vos Codes algorea et couleurs ici :
-->  Synthèse des résultats Castor et Algoréa  <--


Etape 2 : Prenez 50 min chez vous pour travailler en suivant le lien direct vers le concours algorea :
http://concours.castor-informatique.fr


Pour préparer le concours : Lien vers le site algorea (preparation et participation) : http://algorea.org/#/participation


Rappel : dates entre le 7 janvier et le 20 janvier

Le concours Algoréa, c’est quoi ?

Pour encourager les jeunes français et françaises à progresser en programmation et algorithmique, France-ioi organise un grand concours ouvert à tous : le concours Algoréa. Plus de 210 000 élèves ont participé à l’édition 2018.

Après trois tours pour progresser au fil de l’année, en classe ou à la maison, les meilleurs de chaque niveau scolaire auront la possibilité de se qualifier pour la demi-finale, puis le stage final, et d’y remporter de nombreux lots. Les candidats pourront ensuite participer à la sélection de l’équipe de France pour les Olympiades internationales d’informatique, et pour les plus jeunes, les eJOI : Olympiades Européennes d’Informatique Junior.

Les trois premiers tours et la demi-finale sont ouverts à tous les publics. Le stage de finale, les lots et la sélection dans l’équipe de France pour les olympiades sont réservés aux élèves français ou résidant en France et scolarisés du CM1 à la 1re, tandis qu’une version en ligne de la finale sera ouverte à tous.

Les épreuves

Le concours est constitué de trois tours de qualification, puis d’une demi-finale et d’une finale.

  • Premier tour du 7 au 20 janvier 2019.
  • Deuxième tour du 11 au 24 mars 2019.
  • Troisième tour du 6 au 19 mai 2019.

Concours Castor Informatique …

   >> Accéder au castor  <<

Le concours Castor vise à faire découvrir aux jeunes l’informatique et les sciences du numérique.

Le concours est organisé tous les ans, au mois de novembre. Il se déroule sous la supervision d’un enseignant, en salle informatique.

L’édition 2018 se prépare ! Elle aura lieu du dimanche 11 novembre à 8h au vendredi 7 décembre à 23h, heure de Paris.

Cette épreuve est une sélection pour aborder un second concours appelé Algoréa qui traite essentiellement de programmation, et qui cadre avec le programme de lycée d’informatique.

Deux élèves du lycée BAZIN Thibaut et Agathe ont échoué aux portes de la demi-finale à Paris durant l’édition 2017. On attend la relève !

 

Speed Sciences 2018 !

Après l’édition 2016 du speed sciences lors de laquelle l’équipe de Bazin avait qualifié le plus de lycéens, nous voilà parti pour une nouvelle édition du challenge !

L’idée est de rencontrer des académiciens scientifiques sur le principe du speed dating et de se confronter aux histoires les plus riches de l’histoire des sciences en France !

Quelques photos de la précédente édition et une vidéo 360 sous la coupole !

Le but est de répondre au questionnaire SPEED SCIENCES pour être qualifié et avoir l’opportunité de rencontrer les chercheurs. /!\ Date limite 15 sept /!\

/!\ Testez vos réponses  /!\

 

FlipGrid with America …

Les élèves du lycée Bazin sont en relation avec des élèves américains et travaillent avec FlipGrid, une plateforme capable de faire interagir les élèves par échange de vidéos courtes type snapchat.

La visite de Heidi TRUDE de Skyline High School le 18 avril 2018 a permis de dynamiser la partenariat datant déjà de 2012 entre le lycée BAZIN et Skyline High School.

Elle a présenté aux élèves un nouvel outil de partage efficace et moderne : FlipGrip. LEs élèves français ont pu ainsi créer des clips en attendant les réponses en vidéo de leurs homologues américains.