[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

Bientôt le chomage pour tous ces mathix arrogants

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 IA

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

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 IA

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 IA

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

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 IA

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 IA

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é.

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)

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?