[IA] MetaIA développe une IA capable de RESOUDRE des problèmes de MATHS

https://ai.facebook.com/blog/ai-math-theorem-proving/

'''We are excited to share a significant advance in the field of AI and mathematics. Meta AI has built a neural theorem prover that has solved 10 International Math Olympiad (IMO) problems, 5x more than any previous AI system. Our AI model also improves upon the current state of the art by 20 percent on miniF2F, a widely used mathematics benchmark, and by 10 percent on the Metamath benchmark.

Our method, HyperTree Proof Search (HTPS), is trained on a dataset of successful mathematical proofs and then learns to generalize to new, very different kinds of problems. It was able to deduce a correct proof for an IMO problem that involved some arithmetic reduction to a finite number of cases.'''

Littéralement l'ouverture du coffre mathématique, les gelems not ready
https://image.noelshack.com/fichiers/2020/51/2/1607997474-ayaoo.png

Bientôt le chomage pour tous ces mathix arrogants

A quand l'ia pour faire des ia

bien content de remettre à leur place les mathix qui apprenent par coeur des exos/astuces et se sentent supérieur à jouer les autistes

les maths c'est juste de la pratique, et la pratique l'IA peut en avoir BEAUCOUP

Le 04 janvier 2023 à 15:44:57 :
bien content de remettre à leur place les mathix qui apprenent par coeur des exos/astuces et se sentent supérieur à jouer les autistes

On parle surtout de chercheurs qui pourraient bientôt être remplacés par des IAhttps://image.noelshack.com/fichiers/2020/52/6/1608985783-ahi-triangle.png

uphttps://image.noelshack.com/fichiers/2018/26/7/1530476579-reupjesus.png

Le 04 janvier 2023 à 15:44:57 :
bien content de remettre à leur place les mathix qui apprenent par coeur des exos/astuces et se sentent supérieur à jouer les autistes

this, le vrai genie se trouve dans l’interprétation du monde, autrement dit au moins dans la physique, sinon la métaphysique, voire la pataphysique pour les genies zinzins

C'est flippant, surtout que les problèmes de l'IMO, c'est le graal suprême de la difficultéhttps://image.noelshack.com/fichiers/2017/39/3/1506463227-risitaspeur.png

Le 04 janvier 2023 à 15:46:43 :

Le 04 janvier 2023 à 15:44:57 :
bien content de remettre à leur place les mathix qui apprenent par coeur des exos/astuces et se sentent supérieur à jouer les autistes

On parle surtout de chercheurs qui pourraient bientôt être remplacés par des IAhttps://image.noelshack.com/fichiers/2020/52/6/1608985783-ahi-triangle.png

mérité, tous les grands mathématiciens le disent prouver un théorème c'est presque de la routine, une méthode jusqu'à la preuve

[15:50:14] <maldevie>

Le 04 janvier 2023 à 15:46:43 :

Le 04 janvier 2023 à 15:44:57 :
bien content de remettre à leur place les mathix qui apprenent par coeur des exos/astuces et se sentent supérieur à jouer les autistes

On parle surtout de chercheurs qui pourraient bientôt être remplacés par des IAhttps://image.noelshack.com/fichiers/2020/52/6/1608985783-ahi-triangle.png

mérité, tous les grands mathématiciens le disent prouver un théorème c'est presque de la routine, une méthode jusqu'à la preuve

Oui c'est de la routine de démontrer le théorème de Fermat, suffit d'appliquer une méthode toute faite c'est bien connu

on est loin d'un niveau mathématicien quand même

Le 04 janvier 2023 à 15:54:45 :

[15:50:14] <maldevie>

Le 04 janvier 2023 à 15:46:43 :

Le 04 janvier 2023 à 15:44:57 :
bien content de remettre à leur place les mathix qui apprenent par coeur des exos/astuces et se sentent supérieur à jouer les autistes

On parle surtout de chercheurs qui pourraient bientôt être remplacés par des IAhttps://image.noelshack.com/fichiers/2020/52/6/1608985783-ahi-triangle.png

mérité, tous les grands mathématiciens le disent prouver un théorème c'est presque de la routine, une méthode jusqu'à la preuve

Oui c'est de la routine de démontrer le théorème de Fermat, suffit d'appliquer une méthode toute faite c'est bien connu

y'a une méthode génériques pour résoudre les pbs mathématiques, plusieurs livres de tao dessus

[15:56:36] <maldevie>

Le 04 janvier 2023 à 15:54:45 :

[15:50:14] <maldevie>

Le 04 janvier 2023 à 15:46:43 :

Le 04 janvier 2023 à 15:44:57 :
bien content de remettre à leur place les mathix qui apprenent par coeur des exos/astuces et se sentent supérieur à jouer les autistes

On parle surtout de chercheurs qui pourraient bientôt être remplacés par des IAhttps://image.noelshack.com/fichiers/2020/52/6/1608985783-ahi-triangle.png

mérité, tous les grands mathématiciens le disent prouver un théorème c'est presque de la routine, une méthode jusqu'à la preuve

Oui c'est de la routine de démontrer le théorème de Fermat, suffit d'appliquer une méthode toute faite c'est bien connu

y'a une méthode génériques pour résoudre les pbs mathématiques, plusieurs livres de tao dessus

super, qu'est ce que tu attends pour résoudre tous les problèmes du millénaire et empocher tes millions dans ce cas ?

Non mais sérieux... Évidemment que pour démontrer des trucs triviaux y a pas besoin de se casser la tête, mais pour démontrer de vrais résultats intéressants/difficiles, il faut de l'ingéniosité.

Une IA mouline des données mais n'a pas l' INTUITION ni la conscience qu'un seul plan passe par trois points des choses comme ça

Le 04 janvier 2023 à 22:56:58 :
Une IA mouline des données mais n'a pas l' INTUITION ni la conscience qu'un seul plan passe par trois points des choses comme ça

Oui comme aux échecs, aucune intuition.

Le 04 janvier 2023 à 22:56:58 :
Une IA mouline des données mais n'a pas l' INTUITION ni la conscience qu'un seul plan passe par trois points des choses comme ça

Une infinité de plans passent par les points (0,0,0), (1,0,0) et (2,0,0)

Dans 5/10 ans ça sera vraiment incroyable je pense mais c'est pas META qui va faire quoi que ce soit. Je mise plutôt sur DeepMind de Google.

Le 05 janvier 2023 à 01:18:38 :

Le 04 janvier 2023 à 22:56:58 :
Une IA mouline des données mais n'a pas l' INTUITION ni la conscience qu'un seul plan passe par trois points des choses comme ça

Une infinité de plans passent par les points (0,0,0), (1,0,0) et (2,0,0)

ayaa tu cherches la petite bête, on sait bien que les points ne doivent pas être sur la même droite

Le 05 janvier 2023 à 01:20:52 :
Dans 5/10 ans ça sera vraiment incroyable je pense mais c'est pas META qui va faire quoi que ce soit. Je mise plutôt sur DeepMind de Google.

ils ont le boss Yann Lecun quand même

Le 05 janvier 2023 à 01:23:58 :

Le 05 janvier 2023 à 01:18:38 :

Le 04 janvier 2023 à 22:56:58 :
Une IA mouline des données mais n'a pas l' INTUITION ni la conscience qu'un seul plan passe par trois points des choses comme ça

Une infinité de plans passent par les points (0,0,0), (1,0,0) et (2,0,0)

ayaa tu cherches la petite bête, on sait bien que les points ne doivent pas être sur la même droite

voilà merci sinon j'aurais écrit "par une droite"

par ailleurs l'IA développe elle l'intuition que ces trois points sont alignés?