Articles par tag: ai-math

GPT-5.4 Pro a résolu le problème d'Erdős n° 1202 de la liste de Green

Découvrez comment GPT-5.4 Pro avec Liam Price a réfuté l'hypothèse d'Erdős en combinatoire additive. Contre-exemple avec une proportion linéaire de nombres survivants. Détails pour les mathématiciens et les développeurs d'IA.

GPT-5.4 Pro : contre-exemple à la GCI pour les mesures non centrées

GPT-5.4 Pro a infirmé l'hypothèse de l'inégalité de corrélation gaussienne pour les mesures gaussiennes décalées. Contre-exemple en 2D avec bandes, généralisation à n≥2. Détails de la solution sur solveall.org. Étude pour l'IA en mathématiques.

Connexions des Formules de π à Travers CMF et AI

Technion AI a Unifié 385 Formules du Nombre π en une Structure CMF Unique : 43 % de la Base. Pour Mathématiciens et Développeurs — Détails de la Méthode, Clusters, Perspectives. Explorez l'Analyse.

IA en mathématiques : Conclusions de Terence Tao

Terence Tao partage son expérience d'utilisation quotidienne de l'IA : la génération d'hypothèses est bon marché, mais la vérification est cruciale. Analyse des problèmes d'Erdős, ruse contre intelligence. Pour les développeurs et les mathématiciens.