Une IA peut-elle assister la recherche de preuves de conjectures difficiles?
Réponses
-
L'IA ne fait qu'interpoler dans un espace métrique appris pour que l'interpolation donne les résultats les plus vraisemblables sur l'ensemble d'entrainement. Après l'entrainement, ce n'est plus qu'un bête algorithme d'interpolation un peu plus sophistiqué qu'une interpolation linéaire. Ça n'enlève rien aux prouesses de l'IA. Au contraire, on peut peut-être se poser la question : le cerveau humain ne fait-il pas que des interpolations en croisant ce qu'il connait déjà (ce qu'on appelle l'association d'idées) ? Comme je ne suis pas neurologue, je n'en sais rien. Au final, on serait tous des perroquets un peu plus malins que les machines.
-
Je connais cette approche. Ce que la ""communauté mathématique "" reproche à cette approche, c'est que ce n'est pas parce qu'il y en a assez que tous le sont. il en suffit d'un seul pour invalide la conjecture.
-
À mon avis, tant que l'on ne sera pas d'accord sur la définition de l'intelligence, le débat ne sera pas près d'être clos. On a l'approche anglo-saxonne de l'intelligence, c'est l'accumulation de savoir (mode provoc : les riches sont intelligents, ils peuvent faire des études), et l'approche vieux continent, l'intelligence, c'est la capacité à innover, inventer, s'adapter.Après, c'est quoi l'innovation...L'on a bien la formule de Black-Scholes qui utilise le hasard pour modéliser le futur.ousp je sors désolé.
-
@Remy123456: On n'a pas eu besoin de définir précisément l'intelligence pour créer ChatGPT. Ce genre d'outils, comme tous les outils, a un domaine d'application, si tu lui demandes de réaliser une tâche hors de ce domaine, tu n'obtiendras rien d'intéressant.
Probablement que dans le futur d'autres tels outils verront le jour qui auront un domaine d'application plus large, il faut seulement être patient.
Le passé est sinistre, le présent terne, mais heureusement nous n'avons pas d'avenir.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 64 Collège/Lycée
- 22.2K Algèbre
- 37.7K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 344 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 805 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres