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: Ein Gemini-Modell liefert Beweisstrategien, Lean verifiziert die formalisierten Schritte. 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
Die am 27. April 2026 veröffentlichte Vereinbarung verändert die Zahlungsströme zwischen Microsoft und OpenAI: Microsoft zahlt keine Umsatzbeteiligung mehr an OpenAI; OpenAI zahlt bis 2030 weiterhin an Microsoft, zum bisherigen Prozentsatz mit einer Obergrenze. Daraus lassen sich weder 100 Milliarden Dollar Einsparung für OpenAI noch ein sofortiger Umsatzsprung von 25 Prozent ableiten. Microsoft bleibt primärer Cloudpartner; OpenAI-Produkte werden grundsätzlich zuerst auf Azure angeboten, sofern Microsoft die erforderliche Kapazität bereitstellen kann. Beschaffungsentscheidungen sollten Vertragsrechte, Verfügbarkeit und Ausweichmöglichkeiten prüfen.
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.
Redaktionelle Präzisierung vom 8. September 2026
Die Datierung dieser Ausgabe bleibt erhalten. Quellenzuordnung und Handlungsempfehlungen wurden überprüft und präzisiert; die folgenden Quellen belegen die korrigierten Aussagen. Historische Marktangaben sind keine aktuellen Beschaffungs- oder Rechtsauskünfte.