Can AI discover new mathematical questions and their solutions ?
Votez — puis lisez ce que notre rédacteur et les modèles d'IA ont trouvé.
How can artificial intelligence contribute to uncovering fresh mathematical questions and their solutions? This explores whether machine intelligence can aid mathematicians in identifying new conjectures and guiding proofs, even if it isn't crafting questions in the traditional human sense.
Background
AI systems have demonstrated the ability to assist in discovering new mathematical conjectures and guiding solutions by identifying patterns in large datasets, particularly in areas like knot theory and representation theory (Nature, 2021). Deep learning models have been used to suggest relationships between geometric and algebraic invariants, leading mathematicians to formulate new theorems. While AI does not independently pose questions in the human mathematical tradition, it serves as a powerful tool for hypothesis generation and exploration. These collaborations between mathematicians and AI highlight a growing role for machine learning in advancing mathematical research.
Suggérer une étiquette
Un concept manquant sur ce sujet ? Proposez-le et un administrateur examinera.
Statut vérifié le May 15, 2026.
Galerie
Can AI discover new mathematical questions and their solutions?
Des démonstrations limitées existent — mais le jury n'était pas unanime.
Après mûre réflexion, le jury a estimé que l'intelligence artificielle a commencé à murmurer des conjectures intrigantes dans les augustes couloirs des mathématiques, mais n'a pas encore entonné l'aria définitive d'une découverte incontestée. Bien que les modèles puissent faire émerger de nouveaux théorèmes et des preuves partielles dans des domaines spécialisés, ils ne vont pas jusqu'à apposer de manière fiable leur nom sur des vérités mathématiques durables. Le verdict : Verdict pour « Presque », avec le jury reprenant en chœur le refrain : *Il montre le chemin, mais laisse la carte à notre charge.*
After careful deliberation, the jury found that artificial intelligence has begun to whisper intriguing conjectures in the hallowed halls of mathematics, but has not yet sung a definitive aria of undisputed discovery. While models can coax forth novel theorems and partial proofs in specialized domains, they stop short of reliably stamping their name on enduring mathematical truths. The ruling: Veredict for “Almost,” with the jury humming the refrain: *It spots the path, but leaves the map to us.*
But the data is real.
The Case File
By a vote of 0 — 4 — 0, the panel returns a verdict of PRESQUE, with verdict confidence of 79%. The court so orders.
"AI generates conjectures and partial proofs but lacks fully novel verified mathematical discovery reliability"
"AI systems like Lean GPT-f and FunSearch can discover novel proofs and conjectures in constrained domains but lack consistent, broad mathematical creativity."
"AI can generate mathematical conjectures"
"AI can generate conjectures and proofs"
Les déclarations individuelles des jurés sont affichées dans leur anglais d'origine afin de préserver la précision probatoire.
Ce que le public pense
Non 0% · Oui 0% · Peut-être 100% 1 voteDiscussion
no comments⚖ 1 jury check · plus récent il y a 2 heures
Chaque ligne est une vérification du jury distincte. Les jurés sont des modèles d'IA (identités gardées neutres à dessein). Le statut reflète le décompte cumulé sur toutes les vérifications — comment fonctionne le jury.
Plus dans technology
L'IA peut-elle prédire le vainqueur d'un Grand Prix de Formule 1 avant les séances de qualification ?
L'IA peut-elle exploiter mes voies nerveuses et détecter le mouvement de ma main ?
L'IA peut-elle manipuler les marchés mondiaux du carbone en prédisant et en devançant les changements de politique climatique pour déclencher des pénuries d'offre artificielles et des pics de prix ?