Math

it's always about statistics

[Math @MathFreedom_]

🎫 Cède 2 places RÜFÜS DU SOL — Adidas Arena Paris
📅 Sam. 9 mai 2026, 20h
📍 Catégorie 1 — Balcon T, Rang 87, Places 08 & 09 (côte à côte, assises)
💶 148 € les 2 (= prix d’achat, 74 €/place, tarif Fan Club)
Empêchement de dernière minute. Transfert officiel via l’app

[Math @MathFreedom_]

@imransitg Mdrr merci

[Math @MathFreedom_]

@AlbyHojel impressive !

[Math @MathFreedom_]

Si ça se généralise à d’autres conjectures, la pratique des maths et de tous les domaines qui en dépendent pourrait changer beaucoup plus vite qu’on ne le pense.

[Math @MathFreedom_]

On vient peut-être d’assister au premier vrai « moment IA » pour les démonstrations maths.

⬇️On en parle ⬇️

[Vlad Tenev @vladtenev]

We are on the cusp of a profound change in the field of mathematics. Vibe proving is here.

Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in the paper “Complete sequences of sets of integer powers” in the journal Acta Arithmetica.

Boris Alexeev ran this problem using a beta version of Aristotle, recently updated to have stronger reasoning ability and a natural language interface.

Mathematical superintelligence is getting closer by the minute, and I’m confident it will change and dramatically accelerate progress in mathematics and all dependent fields.

[Math @MathFreedom_]

Il reste des débats de spécialistes sur la formulation exacte du problème, mais le schéma est nouveau :
IA de raisonnement ⇄ assistant de preuve formelle
= une nouvelle façon de faire des maths, potentiellement très différente de « l’humain seul au tableau ».