Dernière minute
FRFrappes israéliennes au sud du Liban : au moins 16 morts dans la région de NabatiehFRCanicule : 53 départements en vigilance orange, la Fête de la musique menacéeFRMort de Nahel : la Défenseure des droits demande une procédure disciplinaire contre les policiersFRDes routes blanches pour lutter contre la chaleurFRJD Vance recadre le gouvernement israélien sur l'accord avec l'IranFRMineur mis en examen pour assassinat après le meurtre d'une octogénaire dans le GardFRJean-Luc Mélenchon juge "très imprudent" les tirs de l'Ukraine en profondeur après les frappes sur MoscouFRXV de France "A" : une préparation non officielle contre l'Angleterre avant le Championnat des NationsFRNégociations entre l'Iran et les États-Unis reportéesFRArabie Saoudite : un gigantesque centre national de tennis inspiré de WimbledonFRFrappes israéliennes au sud du Liban : au moins 16 morts dans la région de NabatiehFRCanicule : 53 départements en vigilance orange, la Fête de la musique menacéeFRMort de Nahel : la Défenseure des droits demande une procédure disciplinaire contre les policiersFRDes routes blanches pour lutter contre la chaleurFRJD Vance recadre le gouvernement israélien sur l'accord avec l'IranFRMineur mis en examen pour assassinat après le meurtre d'une octogénaire dans le GardFRJean-Luc Mélenchon juge "très imprudent" les tirs de l'Ukraine en profondeur après les frappes sur MoscouFRXV de France "A" : une préparation non officielle contre l'Angleterre avant le Championnat des NationsFRNégociations entre l'Iran et les États-Unis reportéesFRArabie Saoudite : un gigantesque centre national de tennis inspiré de Wimbledon
Newsgather

mathematik

Stable4 articles3 sourcesDernière mise à jour: 19.05.2026

Derniers articles

23-Jähriger löst mit GPT-5.4 Pro jahrzehntealtes Erdős-Problem #1196
En développement
Science·29.04.2026Résumé IA

23-Jähriger löst mit GPT-5.4 Pro jahrzehntealtes Erdős-Problem #1196

Der 23-jährige Liam Price hat mit GPT-5.4 Pro das Erdős-Problem #1196 gelöst, das sich mit der Erdős-Summe primitiver Mengen befasst. Die KI bewies, dass die Summe asymptotisch gegen 1 konvergiert, und verbesserte damit die bisher beste Schranke von Jared Lichtman erheblich. Der Beweis nutzt Markov-Ketten zur Modellierung der Primfaktor-Struktur ganzer Zahlen – ein neuartiger Ansatz, den Terence Tao als engere Verbindung zwischen analytischer Zahlentheorie und stochastischer Prozesstheorie lobte. Das Problem wurde formal im Beweissassistenten Lean verifiziert.

H
Heise Online