OpenAI’s Navier-Stokes release included a Lean 4 formal proof

September 10, 2026 dirk 0 Comments 3 tags
OpenAI’s Navier-Stokes release included a Lean 4 formal proof Source: Hacker News ...
Read More

OpenAI Agents API

September 10, 2026 dirk 0 Comments 3 tags
OpenAI Agents API Source: Hacker News ...
Read More

ThreatsDay: 200 Android Flaws, Browser-Built Phishing, 119K Scam Shops + 23 More Stories

September 10, 2026 dirk 0 Comments 3 tags
ThreatsDay: 200 Android Flaws, Browser-Built Phishing, 119K Scam Shops + 23 More Stories A lot of this week’s security news ...
Read More

Germany: Was die AfD in den Schulen in Sachsen-Anhalt verändern könnte

September 10, 2026 dirk 0 Comments 4 tags
Mehr Bismarck, weniger Hitler; Inklusion abschaffen und Unterricht zu Hause: Im Bereich der Bildungspolitik hat die AfD in Sachsen-Anhalt viele ...
Read More

Germany: ARD-Vorwahlumfrage für Berlin: Linke liegt hauchdünn vor der CDU

September 10, 2026 dirk 0 Comments 4 tags
Es könnte eng werden bei der Wahl in Berlin: Die Linke liegt der ARD-Umfrage zufolge knapp vor der CDU. Das ...
Read More

Hamburg: “Schieflage” an Hamburgs Gerichten: Staat könnten Millionen entgehen

September 10, 2026 dirk 0 Comments 4 tags
Überlastung und Personalmangel: Im Justizausschuss der Bürgerschaft ging es um Missstände bei den Hamburger Gerichten. Quelle: tagesschau.de (Regional Hamburg) Stand ...
Read More

More questions about whether researchers can trust OpenAI with unpublished math

September 10, 2026 dirk 0 Comments 3 tags
More questions about whether researchers can trust OpenAI with unpublished math Source: Hacker News ...
Read More

>10x More Efficient Pretraining

September 10, 2026 dirk 0 Comments 3 tags
>10x More Efficient Pretraining Source: Hacker News ...
Read More

Germany: Bundesanwaltschaft übernimmt Ermittlungen zu Strom-Sabotage

September 10, 2026 dirk 0 Comments 4 tags
Nach den Attacken auf Umspannwerke in mehreren Bundesländern hat die Bundesanwaltschaft die Ermittlungen übernommen. Dem Tatverdächtigen wird verfassungsfeindliche Sabotage vorgeworfen. ...
Read More

Hamburg: Trauerfeier für Kühne im Hamburger Michel

September 10, 2026 dirk 0 Comments 4 tags
Zur Trauerfeier für den Unternehmer und Mäzen Klaus-Michael Kühne kam Prominenz aus Politik, Kultur und Sport. Quelle: tagesschau.de (Regional Hamburg) ...
Read More