Son Dakika
CRYPTO-FRStrategy vend 32 BTC pour 2,5 millions de dollars : première cession de Bitcoin depuis 2022FRCrash d'un avion civil à Tomblaine près de Nancy : 11 mortsFRL'Iran met en garde contre toute tentative de contourner le détroit d'OrmuzFRAu moins 50 interpellations lors de la Marche des Fiertés d'Istanbul malgré l'interdictionFRTempête dans le Nord de la France : Dégâts Importants et TémoinagesFRLe bilan du double séisme au Venezuela s’alourdit à 1 450 décès et 774 bâtiments touchésFRCanicule exceptionnelle : catastrophe agricole majeure en France avec surmortalité animale et pertes de rendementsFRMondial 2026 : le Canada en 8es, Rabiot pressenti avec les Bleus et l’Algérie qualifiéeFRUne personne tuée dans une attaque massive de drones ukrainiens à KrasnodarFRNarbonne : Plus d'un millier de personnes défilent pour honorer Louis, tué à 17 ansCRYPTO-FRStrategy vend 32 BTC pour 2,5 millions de dollars : première cession de Bitcoin depuis 2022FRCrash d'un avion civil à Tomblaine près de Nancy : 11 mortsFRL'Iran met en garde contre toute tentative de contourner le détroit d'OrmuzFRAu moins 50 interpellations lors de la Marche des Fiertés d'Istanbul malgré l'interdictionFRTempête dans le Nord de la France : Dégâts Importants et TémoinagesFRLe bilan du double séisme au Venezuela s’alourdit à 1 450 décès et 774 bâtiments touchésFRCanicule exceptionnelle : catastrophe agricole majeure en France avec surmortalité animale et pertes de rendementsFRMondial 2026 : le Canada en 8es, Rabiot pressenti avec les Bleus et l’Algérie qualifiéeFRUne personne tuée dans une attaque massive de drones ukrainiens à KrasnodarFRNarbonne : Plus d'un millier de personnes défilent pour honorer Louis, tué à 17 ans
Newsgather

mathematik

Sabit6 haber5 kaynakSon güncelleme: 6 g önce

Son Haberler

23-Jähriger löst mit GPT-5.4 Pro jahrzehntealtes Erdős-Problem #1196
Gelişiyor
Bilim·29.04.2026AI özeti

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