KI-Radar — 28. Mai 2026
KI-generiert aus der täglichen Marktbeobachtung. Redaktionell kuratiert, aber nicht Satz-für-Satz lektoriert — zur Orientierung gedacht, nicht als zitierfähige Quelle.
Formale Verifikation macht KI-Mathematik zur Ingenieursdisziplin, während halluzinierte Zitationen im biomedizinischen Schrifttum 12-fach stiegen und 98% der Fälle unbeantwortet bleiben. OpenAI verbrennt $1,22 pro verdientem Dollar, und ein Viertel der Deutschen hat Chatbots bereits um Finanzrat gebeten.
Formale Verifikation senkt den Preis für mathematischen Durchbruch auf dreistellige Beträge
Google DeepMinds AlphaProof Nexus hat 9 von 353 offenen Erdős-Problemen gelöst — darunter zwei, die seit 56 Jahren ungelöst waren. Die Inferenzkosten pro Problem lagen im dreistelligen Dollarbereich. Die Architektur ist unspektakulär: Gemini 3.1 Pro generiert Beweisschritte in der formalen Sprache Lean, ein Compiler verifiziert jeden Schritt. Eine Post-hoc-Analyse zeigt, dass ein einfacher Agent aus LLM und Compiler-Feedback dieselben 9 Probleme löst wie ein vollständig ausgestatteter Ansatz — ein Hinweis darauf, dass schlanke Agentic Loops spezialisierte Systeme in verifizierbaren Domänen bereits überbieten.
Halluzinierte Zitationen in biomedizinischen Papers: 12-facher Anstieg, kaum Publisher-Reaktion
Ein Audit von 2,5 Millionen biomedizinischen Papers, dokumentiert im Lancet, zeigt einen Anstieg halluzinierter Zitationen von rund 4 auf 56,9 Fälle pro 10.000 Papers — gemessen in den ersten sieben Wochen 2026. 98,4% der betroffenen Arbeiten blieben ohne Publisher-Reaktion. Review-Artikel sind 57% stärker betroffen als andere Typen, was besonders kritisch ist: Reviews sind die Grundlage klinischer Leitlinien. Automatische Referenzprüfung vor dem Peer-Review-Schritt ist die naheliegende technische Antwort — sie existiert, wird aber offensichtlich noch nicht systematisch verlangt.
OpenAI verbrennt $1,22 pro verdientem Dollar
Q1 2026: rund $5,7 Mrd. Umsatz, rund $7 Mrd. Verlust, operative Marge circa −120% — selbst nach Bereinigung um aktienbasierte Vergütung. Die Restrukturierung der Microsoft-Partnership, die den 20%-Revenue-Share beseitigt, soll bis 2030 rund $100 Mrd. einsparen und verbessert die langfristige Kostenbasis. Der Investmentcase bleibt dennoch vollständig von Revenue-Beschleunigung abhängig: ohne kontinuierliches Umsatzwachstum trägt die Wirtschaftlichkeit nicht.
ChatGPT verbindet sich mit 12.000 Banken — qualitativer Sprung von Finanz-Chat zu Kontodatenanalyse
ChatGPT Finance ist ab 15. Mai 2026 für US-Pro-Nutzer über Plaid mit über 12.000 Banken verbunden. Schätzungen zufolge stellen bereits 200 Millionen ChatGPT-Nutzer monatlich Finanzfragen. Der Schritt von allgemeiner Finanzauskunft zur echten Kontodatenanalyse ist qualitativ: erstmals kann ein LLM auf Transaktionsdaten eines Nutzers schließen, nicht nur auf Allgemeinwissen. GPT-5.5 Thinking als Backend. Eine Ausweitung auf alle Nutzer ist angekündigt.
Jeder Vierte in Deutschland hat Chatbots bereits um Finanzrat gebeten
Eine repräsentative Bitkom-Umfrage (N=1.004, Mai 2026) zeigt: 25% der Deutschen haben Chatbots bereits für finanzielle Ratschläge genutzt, 27% wollen KI künftig für die Mehrheit ihrer Finanzentscheidungen einsetzen. Gleichzeitig befürchten 62%, dass KI das Betrugsrisiko erhöht. Die Banken-Apps erhalten die Note 3,0 — ein messbares Zeichen, dass die Nutzererwartungen schneller wachsen als die Banken liefern. Die Kombination aus wachsender ChatGPT-Finance-Nutzung und stagnierender App-Qualität verschärft den Druck auf klassische Institute.