Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Thomas Bloom
L'IA est maintenant capable de générer de nouvelles mathématiques intéressantes.
Mais il est beaucoup plus facile pour elle de générer des absurdités qui semblent plausibles.
Je crains que ces dernières, copiées et promues par des utilisateurs n'ayant aucune compréhension des mathématiques, ne finissent par étouffer les premières.
293
En tant que propriétaire/mainteneur du site des problèmes d'Erdős, un fil avec quelques commentaires sur cette solution au #124 :
1) C'est une belle preuve, qui a été fournie par l'IA à partir de l'énoncé formel sans intervention humaine et ensuite formalisée dans Lean. C'est déjà impressionnant !
30 nov. 2025
Nous sommes à l'aube d'un changement profond dans le domaine des mathématiques. La preuve par Vibe est là.
Aristotle de @HarmonicMath vient de prouver le Problème d'Erdos #124 dans @leanprover, tout seul. Ce problème est resté ouvert pendant près de 30 ans depuis qu'il a été conjecturé dans l'article "Séquences complètes d'ensembles de puissances entières" dans la revue Acta Arithmetica.
Boris Alexeev a résolu ce problème en utilisant une version bêta d'Aristotle, récemment mise à jour pour avoir une capacité de raisonnement plus forte et une interface en langage naturel.
L'intelligence mathématique surhumaine se rapproche de minute en minute, et je suis convaincu qu'elle changera et accélérera de manière spectaculaire les progrès en mathématiques et dans tous les domaines qui en dépendent.
202
Meilleurs
Classement
Favoris