🤖 GOOGLE obtient la MÉDAILLE D'ARGENT des Olympiades de MATHS

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 !

Le 25 juillet 2024 à 18:45:51 :
Pas trop mal à l'anus avec ton LQQ ?

Je devrais me sentir mal de soldes pour en reprendre encore plus ?

Le 25 juillet 2024 à 18:46:52 :

Le 25 juillet 2024 à 18:45:51 :
Pas trop mal à l'anus avec ton LQQ ?

Je devrais me sentir mal de soldes pour en reprendre encore plus ?

Naturelle sera ta sélection

Le 25 juillet 2024 à 18:47:38 :

Le 25 juillet 2024 à 18:46:52 :

Le 25 juillet 2024 à 18:45:51 :
Pas trop mal à l'anus avec ton LQQ ?

Je devrais me sentir mal de soldes pour en reprendre encore plus ?

Naturelle sera ta sélection

Oui oui https://www.jeuxvideo.com/forums/42-3011927-73436764-1-0-1-0-0.htm

Le 25 juillet 2024 à 18:48:08 :
pas de robot avec IA au quotidien => y'a rien

Le 25 juillet 2024 à 18:45:29 :
Quand l'IA va manipuler les maths a la perfection il casseront le SHA-256.

aya ça me fume les énormités comme ça

Le 25 juillet 2024 à 18:45:29 :
Quand l'IA va manipuler les maths a la perfection il casseront le SHA-256.

Je sais pas si tu réalises quelle connerie tu viens de dire là ou pas

Le 25 juillet 2024 à 18:48:59 :

Le 25 juillet 2024 à 18:48:08 :
pas de robot avec IA au quotidien => y'a rien

ça sert à quoi les maths ? ça peut arrondir plus proprement les fessiers des dolls au moins ?