#mathématiques

17 articles · Tous les tags

📰 Digests

📡 Events

September 13, 2026

10 000 agents IA résolvent une énigme de 90 ans : pourquoi le prix d'un million de dollars devra attendre 3 ans

IAMathématiquesOpenAI

$25 médaillés Fields sonnent l'alerte : l'évaluation de l'IA sur les mathématiques assèche le terreau du savoir$

September 12, 2026

25 médaillés Fields sonnent l'alerte : l'évaluation de l'IA sur les mathématiques assèche le terreau du savoir

IAMathématiquesControverse Technique

September 9, 2026

Le problème du millénaire à 1 million de dollars résolu : la force brute d'OpenAI s'attaque aux brouillons mathématiques

Intelligence ArtificielleMathématiquesOpenAI

$L'avertissement de Terence Tao : pourquoi résoudre Navier-Stokes par une IA opaque contaminerait les mathématiques$

September 7, 2026

L'avertissement de Terence Tao : pourquoi résoudre Navier-Stokes par une IA opaque contaminerait les mathématiques

MathématiquesIATerence Tao

September 5, 2026

Le dernier théorème de Fermat formalisé en 11 jours : quand l'IA bouscule la révision mathématique

IAMathématiquesAutomatisation

$L'art du partage équitable : des mathématiciens percent un mystère d'imbalance vieux de 30 ans$

August 23, 2026

L'art du partage équitable : des mathématiciens percent un mystère d'imbalance vieux de 30 ans

ScienceMathématiques

$Les ondes quantiques échappent à tous les labyrinthes fractals : un doctorant du MIT démontre le principe d'incertitude fractal en haute dimension$

August 13, 2026

Les ondes quantiques échappent à tous les labyrinthes fractals : un doctorant du MIT démontre le principe d'incertitude fractal en haute dimension

ScienceMathématiques

August 10, 2026

On pensait qu'il n'existait que deux hexagones magiques : une preuve récente en révèle une infinité

MathématiquesVulgarisation ScientifiqueDémonstration

$OpenAI Astra résout 10 problèmes mathématiques ouverts pour 2 000 dollars$

August 4, 2026

OpenAI Astra résout 10 problèmes mathématiques ouverts pour 2 000 dollars

iamathématiquesopenai

August 3, 2026

Une IA prétend résoudre un problème vieux de 90 ans : l'assistant de preuve était cassé

IAMathématiquesVérification Formelle

July 28, 2026

1 294 points sur Hacker News : Fatalité mathématique ou erreur humaine, le grand débat sur les bugs selon Wolfram

mathématiquesbugslogicielphilosophie

$La nuit noire des mathématiques : comment quatre crises ont tout redéfini$

July 26, 2026

La nuit noire des mathématiques : comment quatre crises ont tout redéfini

MathématiquesPhilosophie des SciencesPensée

July 23, 2026

Terence Tao et ChatGPT s'attaquent à un problème séculaire des mathématiques

IAMathématiquesChatGPTTao

$L'IA trouve des contre-exemples plus vite que les mathématiciens — et ça change tout$

July 22, 2026

L'IA trouve des contre-exemples plus vite que les mathématiciens — et ça change tout

IAMathématiquesLeanVérification Formelle

$GPT-5.6, une seule instruction, et la preuve qu'un algorithme de 30 ans avait atteint sa limite$

July 19, 2026

GPT-5.6, une seule instruction, et la preuve qu'un algorithme de 30 ans avait atteint sa limite

IAGPT-5.6MathématiquesPreuve Formelle

July 4, 2026

Seize ans caché aux yeux de centaines de millions d'utilisateurs : les mathématiques l'ont trouvé en une seconde

SQLiteTLA+Vérification FormelleWAL