عاجل
FRCanicule : un homme de 30 ans est mort sur une piste d'athlétisme dans le Val-d'OiseFRJournaliste d'Al Jazeera tué dans un bombardement israélien à GazaFRCanicule : 35 départements en vigilance rouge, des milliers de personnes manifestent pour les droits LGBT+FRUn bébé de 1 an tué par balle par la police lors d'une interventionFRDeux adolescents meurent noyés dans le Doubs à Besançon, la canicule suscite des inquiétudesFRL'Iran annonce la fermeture du détroit d'Ormuz en réponse aux attaques israéliennesFRConsommation d'alcool interdite sur la voie publique à Paris et dans d'autres départementsFRBrexit: une majorité de Britanniques estime que le référendum a nui au paysFRTableau de Picasso découvert lors d'une perquisition sur fond de trafic de drogueFRÉquipe de France : les Bleus lancent leur Mondial 2026 avec une victoire 3-1 contre le SénégalFRCanicule : un homme de 30 ans est mort sur une piste d'athlétisme dans le Val-d'OiseFRJournaliste d'Al Jazeera tué dans un bombardement israélien à GazaFRCanicule : 35 départements en vigilance rouge, des milliers de personnes manifestent pour les droits LGBT+FRUn bébé de 1 an tué par balle par la police lors d'une interventionFRDeux adolescents meurent noyés dans le Doubs à Besançon, la canicule suscite des inquiétudesFRL'Iran annonce la fermeture du détroit d'Ormuz en réponse aux attaques israéliennesFRConsommation d'alcool interdite sur la voie publique à Paris et dans d'autres départementsFRBrexit: une majorité de Britanniques estime que le référendum a nui au paysFRTableau de Picasso découvert lors d'une perquisition sur fond de trafic de drogueFRÉquipe de France : les Bleus lancent leur Mondial 2026 avec une victoire 3-1 contre le Sénégal
Newsgather

mathematik

مستقر4 خبر3 مصادرآخر تحديث: 19.05.2026

أحدث الأخبار

23-Jähriger löst mit GPT-5.4 Pro jahrzehntealtes Erdős-Problem #1196
يتطور
علوم·29.04.2026ملخص الذكاء الاصطناعي

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