Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
Et si l'IA résolvait tous les problèmes mathématiques
Дата публикации: 06-07-2026 04:30:28
Longtemps considérée comme un bastion de la pensée abstraite, la recherche mathématique voit émerger des intelligences artificielles capables de proposer des preuves inédites. Une révolution vertigineuse.
Основное содержимое страницы с новостью.
Par Philippe Pajot le 06.07.2026 à 06h30 Abonnés
Longtemps considérée comme un bastion de la pensée abstraite, la recherche mathématique voit émerger des intelligences artificielles capables de proposer des preuves inédites. Une révolution vertigineuse.
Vue d'artiste d'une IA.
GETTY IMAGES
Cet article est extrait du mensuel Sciences et Avenir n°953-954, daté juillet-août 2026.
Le constat est désormais clair : l'intelligence artificielle n'est plus seulement un outil de calcul, mais elle commence à transformer la manière même de faire des maths. L'idée semblait pourtant absurde il y a quelques années encore. Les IA pouvaient jouer au go ou reconnaître des images, mais certainement pas inventer des démonstrations. Puis sont arrivés les grands modèles de langage, les fameux LLM.
Схожие новости
Классификация: Наука. Схожих патентов: 0. Схожих новостей: 10. Тональность: 5. Информативность: 7. Источник: www.sciencesetavenir.fr.