En 2025, les humains ont déjà fait un grand pas en avant dans la conjecture de Kakeya en trois dimensions, et en octobre 2026, OpenAI a déclaré qu’un modèle interne avait fait progresser la conjecture de régularité locale dans toutes les dimensions, avec en plus une formalisation en Lean.
Les titres de presse l’ont formulé comme si la conjecture du roi avait été résolue par l’IA en une nuit, ce qui sonne bien. Mais le dépôt l’indique très clairement lui-même : ces matériaux ressemblent davantage à des données de recherche brutes, certains résultats peuvent être problématiques et restent soumis à l’examen par les pairs. Début octobre, il a justement retiré plusieurs manuscrits.
À mon avis, le goulot d’étranglement scientifique est en train de passer de la recherche de la réponse à la vérification de la réponse. Si vous continuez à considérer l’IA comme un simple jouet de conversation, vous sous-estimez peut-être la vitesse à laquelle elle redéfinit la répartition du travail ; si, au contraire, vous prenez chaque article annonçant une victoire comme une conclusion définitive, vous risquez d’exagérer l’idée que la publication fait vérité.
$TAO $FET
Les titres de presse l’ont formulé comme si la conjecture du roi avait été résolue par l’IA en une nuit, ce qui sonne bien. Mais le dépôt l’indique très clairement lui-même : ces matériaux ressemblent davantage à des données de recherche brutes, certains résultats peuvent être problématiques et restent soumis à l’examen par les pairs. Début octobre, il a justement retiré plusieurs manuscrits.
À mon avis, le goulot d’étranglement scientifique est en train de passer de la recherche de la réponse à la vérification de la réponse. Si vous continuez à considérer l’IA comme un simple jouet de conversation, vous sous-estimez peut-être la vitesse à laquelle elle redéfinit la répartition du travail ; si, au contraire, vous prenez chaque article annonçant une victoire comme une conclusion définitive, vous risquez d’exagérer l’idée que la publication fait vérité.
$TAO $FET
