Eilmeldung
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 mortsFRGuerre au Moyen-Orient : Téhéran prévient que toute ingérence dans la gestion du détroit d'Ormuz risque d'accroître les tensionsFRUne personne tuée dans une attaque massive de drones ukrainiens à KrasnodarFRRépression de la Gay Pride à Istanbul : au moins 50 interpellationsFRNarbonne : Plus d'un millier de personnes défilent pour honorer Louis, tué à 17 ansFRBilan Humain de la Canicule en France : Plus de 1 200 Décès Supplémentaires RecensésFRCanicule, conflits, catastrophes et élections : les principaux événements du week-endFRRumeur de trafic d'enfants sur Vinted : une légende urbaine sans fondementFRLe «Notre-Dame», le plus gros porte-conteneurs sous pavillon français, arrive au HavreCRYPTO-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 mortsFRGuerre au Moyen-Orient : Téhéran prévient que toute ingérence dans la gestion du détroit d'Ormuz risque d'accroître les tensionsFRUne personne tuée dans une attaque massive de drones ukrainiens à KrasnodarFRRépression de la Gay Pride à Istanbul : au moins 50 interpellationsFRNarbonne : Plus d'un millier de personnes défilent pour honorer Louis, tué à 17 ansFRBilan Humain de la Canicule en France : Plus de 1 200 Décès Supplémentaires RecensésFRCanicule, conflits, catastrophes et élections : les principaux événements du week-endFRRumeur de trafic d'enfants sur Vinted : une légende urbaine sans fondementFRLe «Notre-Dame», le plus gros porte-conteneurs sous pavillon français, arrive au Havre
Newsgather

mathematik

Stabil6 Meldungen5 QuellenZuletzt aktualisiert: 6 g önce

Neueste Meldungen

23-Jähriger löst mit GPT-5.4 Pro jahrzehntealtes Erdős-Problem #1196
In Entwicklung
Wissenschaft·29.04.2026KI-Zusammenfassung

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