C'est hallucinant la vitesse à laquelle l'IA progresse bordel

Comme vous le savez sans doute, le point faible actuel de tous les LLM c'est les maths et la pensée formelle. Du coup tous les labs bossent dessus en ce moment, et c'est limite si y'a pas un papier qui fait avancer le domaine qui sort chaque semaine

Fin Janvier de cette année, Google arrive à décrocher la médaille d'argent des Olympiades de Mathématiques, mais seulement en géométrie : https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/

Évidemment tout le monde relativise l'avancée comme à chaque fois que l'IA progresse, à base de "lol la géométrie c'est facile c'est un système clos"

Bah ça y est, seulement 6 mois après ils viennent d'obtenir la médaille d'argent dans tous les domaines, et ils n'étaient qu'à 1 point de la médaille d'or : https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

Sachant que leur IA a résolu un des problèmes les plus durs de cette année que seulement 5 personnes ont résolu, en a torché d'autres en quelques minutes à peine...

Pour les curieux leur IA est hybride, ils utilisent des LLM (type Gpt-4 etc.), qui sont créatifs mais pas fiables, pour générer plein d'idées et simuler l'intuition des mathématiciens, et ils combinent ça à une IA type AlphaZero qui teste toutes les hypothèses et fais des feedbacks jusqu'à trouver la solution

Et qui s'améliore sans cesse en plus :

• When presented with a problem, AlphaProof generates solution candidates and then proves or disproves them by searching over possible proof steps in Lean. Each proof that was found and verified is used to reinforce AlphaProof's language model, enhancing its ability to solve subsequent, more challenging problems.

En gros ils ont recréé les famosos deux parties du cerveau, créatif et rationnel

Si ça vous intéresse je vous conseille cet excellent documentaire de DeepMind gratos sur YouTube, il est vraiment top, sous-titres FR dispo : https://youtu.be/WXuK6gekU1Y

Bref hâte de voir les progrès d'ici l'année prochaine et comme d'hab :

PLUS DE FREINS DANS CE TRAIN !