Hamburg verzeichnet 9576 erfolgreiche Abiturienten, die höchste Zahl seit einem Jahrzehnt. Die Bestehensquote stieg auf 95,8%, der Notendurchschnitt verbesserte sich auf 2,34. Kritiker bemängeln jedoch die schwachen Ergebnisse in Deutsch und Mathematik.
SpaceX-Aktie und -Anleihen unter Druck. Entscheidender Test: Aufnahme in den Russel-1000-Index am Montag. Wird die Magie von Elon Musk die harten mathematischen Realitäten überwinden?
DGB-Chefin Yasmin Fahimi findet Buhrufe gegen Friedrich Merz beim DGB-Kongress nachvollziehbar. Sie kritisiert Merz' Aussage zur Rente als "frech" und lehnt zentrale Empfehlungen der Rentenkommission ab, wie die Abschaffung der Rente mit 63.
Finanzmathematiker Werner Siepe widerspricht der Annahme, dass heutige Rentner die Kassen leeren und Jüngeren nichts bleibt. Er erklärt, dass jeder mehr aus der gesetzlichen Rente erhält, als er eingezahlt hat, und junge Leute sogar freiwillig mehr einzahlen sollten.
Hessen führt schrittweise das Online-Lernsystem Bettermarks ein, um Schülern interaktives und individuelles Mathematiktraining zu ermöglichen. Die Software passt sich dem Leistungsstand an und gibt personalisierte Rückmeldungen.
Die Fachkräftelücke in MINT-Berufen in Deutschland ist seit 2024 zum vierten Mal in Folge gesunken. Trotz der Entspannung bleibt der Bedarf hoch, wobei Zuwanderung und gezielte Bildungsmaßnahmen als entscheidende Faktoren für die Zukunft gelten.
Ein 23-jähriger Laie hat mit einem Prompt an GPT-5.4 Pro das offene Erdős-Problem #1196 gelöst – Mathematiker sehen darin eine neue Qualität.
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.
