KI-Agenten von Axiom prüfen den längsten Beweis der Mathematik maschinell

KI-Agenten prüften den längsten Beweis der Mathematik und fanden Fehler darin

Was geschah. Axiom Math hat am 26. Oktober eine computergeprüfte Fassung der Klassifikation der endlichen einfachen Gruppen veröffentlicht, eines zentralen Ergebnisses der Mathematik des 20. Jahrhunderts (Axiom Math, 2026). Der ursprüngliche Beweis umfasst rund 15.000 Seiten in mehr als 500 Artikeln von etwa 100 Mathematikern. In 24 Tagen steuerten Ingenieure und Mathematiker von Axiom Dutzende KI-Agenten, die etwa 43,1 Millionen Zeilen Code in Lean schrieben, einer Software, die jeden Beweisschritt prüft.

Dabei kamen 34 erhebliche Abweichungen von der veröffentlichten Literatur ans Licht. In einem Fall fanden die Agenten Gegenbeispiele zu einem Schritt in einem Beweis von 1986, und die KI von Axiom lieferte ein neues Resultat, um die Lücke zu schließen. Führende Gruppentheoretiker berieten bei den schwersten Fällen. Der Code liegt auf GitHub, und Axiom will die vollständige Fehlerliste veröffentlichen (Axiom Math, 2026).

Warum das wichtig ist. Die Agenten konnten ein Werk prüfen, das für jedes Team zu groß ist, um es von Hand nachzurechnen, und zeigen, wo es fehlerhaft ist. Dasselbe Muster passt auf Verträge, Zulassungsunterlagen, Patentportfolios und Fachliteratur. Menschen müssen weiterhin bestätigen, dass die geprüfte Aussage das Gemeinte ausdrückt. Die Maschine prüft nur die Schritte.

Was zu tun ist. Wenn ein Anbieter KI-Ergebnisse vorlegt, verlangen Sie ein Arbeitsergebnis, das eine unabhängige Stelle prüfen kann, keine Zusammenfassung.

Anthropic kaufte ein Ein-Personen-Biotech und legte Ergebnisse von Pharmapartnern vor

Was geschah. Anthropic gab am 27. Oktober die Übernahme von Mithril Medicine bekannt, einer Ein-Personen-Firma, deren Gründer mit Claude die Arbeit von 11 externen Laboren koordinierte (Anthropic, 2026). In weniger als 18 Monaten brachte die Firma eine Behandlung für zwei seltene Formen der Muskeldystrophie von der Idee bis zu vielversprechenden Ergebnissen an Mäusen. Laut Anthropic könnten Studien am Menschen frühestens Ende 2028 beginnen.

Auch Partner nannten Zahlen. Bei Generate Biomedicines war ein mit Claude entworfener Baustein einer Zelltherapie etwa 70 % kürzer als die Standardversion. Bei Enveda fand Claude in 1.061 Seiten Dokumentation alle 11 Probleme, die menschliche Prüfer entdeckt hatten, markierte sieben weitere und verkürzte die Prüfzeit um 89 %. Bristol Myers Squibb schätzt mit Claude, wie wahrscheinlich frühe Studienpläne Erfolg haben. Zahlen dazu nennt der Beitrag nicht (Anthropic, 2026).

Warum das wichtig ist. Ein KI-Anbieter besitzt jetzt einen Wirkstoffkandidaten. Pharmaunternehmen, die KI-Modelle einkaufen, sollten damit rechnen, dass ihr Modellanbieter in manchen Feldern zum Wettbewerber wird.

Banken und Blackstone stellen 63 Milliarden Dollar für Chips für Anthropic bereit

Was geschah. Bank of America, Blackstone, Citi und Morgan Stanley kündigten am 26. Oktober eine Finanzierung von 63 Milliarden Dollar für eine neu gegründete Gesellschaft an. Sie soll nur KI-Chips und Netzwerktechnik von Broadcom kaufen und an Anthropic vermieten (Broadcom, 2026a). Die Lieferungen sollen 2027 beginnen. Broadcom garantiert einen Teil des Restwerts der Hardware. Das maximale Risiko beziffert Broadcom auf 43 Milliarden Dollar, das über fünf Jahre Leasingzahlungen auf null sinkt (Broadcom, 2026b).

Nach Angaben von Reuters entfallen etwa 43,5 Milliarden Dollar, also 69 % der Summe, auf vorrangige Kredite. Der Deal folgt auf ein früheres Paket von 35 Milliarden Dollar von Apollo und Blackstone für dieselbe Chip-Partnerschaft (Soni et al., 2026).

Warum das wichtig ist. Rechenleistung für KI wandert in Leasingmodelle: Eine eigene Gesellschaft besitzt die Hardware, das KI-Labor mietet sie. Anthropic beantragte am selben Tag den Börsengang. Diese Leasingraten sind langfristige Kosten, die Investoren und Großkunden zu den Cloud-Verträgen hinzurechnen sollten.

Discord bringt Nachrichten aus öffentlichen Communities in die Websuche

Was geschah. Discord kündigte am 27. Oktober an, dass jeder seiner mehr als 63.000 Discoverable Servers, offene Communities mit mindestens 1.000 Mitgliedern, ab dem 16. November eine öffentliche Webseite erhält (Duncombe-Smith, 2026). Die Seiten können automatische Zusammenfassungen öffentlicher Kanäle zeigen. Ab Mitte Dezember können ausgewählte Nachrichten in Suchergebnissen erscheinen, ohne Nutzernamen und Avatare. Administratoren wählen die Kanäle aus, Mitglieder können widersprechen. In der EU, im Vereinigten Königreich, in Kanada, Brasilien, Australien und Südkorea bleiben Nachrichten von Mitgliedern verborgen, solange diese nicht zustimmen. Jugendliche sind überall ausgeschlossen.

Warum das wichtig ist. Gespräche über Produkte, Fehler und Wettbewerber, die von außen schwer zugänglich waren, werden durchsuchbar. Unternehmen gewinnen eine neue Quelle für die Marktbeobachtung, und Beiträge von Mitarbeitenden in öffentlichen Servern außerhalb Europas werden leichter auffindbar.

Was zu tun ist. Wenn Ihr Unternehmen einen Discoverable Server betreibt, prüfen Sie vor dem 16. November die Kanaleinstellungen unter Web Presence.

Italien verlangt, dass ein Mensch jede KI-gestützte Personalentscheidung trifft

Was geschah. Italiens Gesetzesdekret 179/2026, das Teile des EU AI Act umsetzt, ist am 23. Oktober in Kraft getreten (Repubblica Italiana, 2026). Nach Artikel 41 muss ein Arbeitgeber, der KI einsetzt, sicherstellen, dass Entscheidungen über Begründung, Änderung oder Beendigung eines Arbeitsverhältnisses, einschließlich Disziplinarmaßnahmen und Leistungsbeurteilungen, nie allein auf automatisierter Verarbeitung beruhen. Die letzte Entscheidung muss eine Person mit tatsächlicher Befugnis treffen. Eine Entscheidung, die gegen diese Regel verstößt, ist nichtig, und die Einwilligung des Beschäftigten hebt das Verbot nicht auf. Suche und Vorauswahl von Bewerbern sind ausgenommen (Repubblica Italiana, 2026).

Das Dekret benennt auch Italiens KI-Aufsicht. AgID benennt die Stellen, die KI-Systeme zertifizieren. Die nationale Cybersicherheitsbehörde ACN überwacht den Markt, und Banca d'Italia, CONSOB und IVASS sind für Hochrisiko-KI in Banken, Wertpapiergeschäft und Versicherungen zuständig. Für verbotene KI-Praktiken drohen Bußgelder bis 35 Millionen Euro oder 7 % des weltweiten Umsatzes (Agostini & Lombardi, 2026).

Warum das wichtig ist. Arbeitgeber in Italien dürfen keinen KI-Wert über eine Kündigung, eine Sanktion oder eine Leistungsbeurteilung entscheiden lassen, auch nicht mit Zustimmung der Beschäftigten. Eine so getroffene Entscheidung kann für nichtig erklärt werden.

Was zu tun ist. Wenn Sie in Italien KI im Personalwesen einsetzen, dokumentieren Sie, wer jede letzte Entscheidung getroffen hat und warum.

KI-Agenten erreichten bei echter Patentarbeit 52,8 von 100 Punkten

Was geschah. Forschende von PatSnap haben PatentAgentBench veröffentlicht, einen Test mit 510 Aufgaben aus echten Patentakten, Gerichtsverfahren und Amtsentscheidungen (Hu et al., 2026). Er umfasst acht Tätigkeiten, von Recherchen zum Stand der Technik und zur Handlungsfreiheit (Freedom to Operate) über das Ausarbeiten von Anmeldungen und Antworten an Prüfer bis zur Übersetzung. Die Agenten mussten Belege selbst finden, ohne vorgegebene Liste möglicher Dokumente. Die beste Kombination, Claude Opus 5 von Anthropic in einem von vier getesteten Agenten-Frameworks, erreichte im Schnitt 52,8.

Die Suche nach ähnlichen Designs scheiterte überall: Kein Aufbau fand mehr als 4 % der relevanten Designschutzrechte. Bei der Suche nach Stand der Technik, der ein Patent zu Fall bringen könnte, fand jedes in Claude Code betriebene Modell weniger als ein Drittel der relevanten Fundstellen. Der Wechsel von Claude Opus 5 in ein anderes Framework hob diesen Wert von 28,7 % auf 55,0 % (Hu et al., 2026).

Warum das wichtig ist. Die Entwürfe wirkten professionell, die Belege dahinter waren dünn. Die Software um ein Modell kann so viel ausmachen wie das Modell selbst, daher sagt das Modell-Ranking eines Anbieters wenig über sein Werkzeug.

Was zu tun ist. Testen Sie ein KI-Patentwerkzeug vor dem Kauf an eigenen früheren Fällen und messen Sie, wie viele der bekannten Fundstellen es findet.

Quellen

Agostini, A., & Lombardi, G. (2026, October 23). Legislative Decree no. 179/2026 in force from 23 October 2026: National governance, supervision, regulatory sandboxes and AI training. LEXIA. https://www.lexia.it/en/2026/10/23/legislative-decree-179-2026-governance-supervision-ai/
Anthropic. (2026, October 27). Early progress on accelerating drug development with Claude. https://www.anthropic.com/research/early-progress-drug-development
Axiom Math. (2026, October 26). Formalizing the enormous theorem. https://axiommath.ai/research/the-enormous-theorem-formalized/
Broadcom. (2026a, October 26). Bank of America, Blackstone, Citi and Morgan Stanley announce landmark $63 billion financing structure to enable AI compute capacity in partnership with Broadcom [Press release]. https://investors.broadcom.com/news-releases/news-release-details/bank-america-blackstone-citi-and-morgan-stanley-announce
Broadcom. (2026b). Bank of America, Blackstone, Citi and Morgan Stanley announce landmark financing structure in partnership with Broadcom [Investor presentation]. https://investors.broadcom.com/static-files/f4bda79d-cc66-4748-919b-40d08c658f2d
Duncombe-Smith, K. (2026, October 27). Making content from Discoverable Servers easier to discover. Discord. https://discord.com/blog/making-content-from-discoverable-servers-easier-to-discover
Hu, Y., Li, W., Zhou, J., Jiang, Z., Jin, Y., Xu, L., Sun, X., Duan, K., & Zhang, L. (2026). PatentAgentBench: Benchmarking LLM agents with professional patent task suites (arXiv:2610.35031). arXiv. https://arxiv.org/abs/2610.35031
Repubblica Italiana. (2026, October 8). Decreto legislativo 7 ottobre 2026, n. 179: Adeguamento della normativa nazionale alle disposizioni del regolamento (UE) 2024/1689 (GU Serie Generale n. 234). Gazzetta Ufficiale. https://www.gazzettaufficiale.it/eli/id/2026/10/08/26G00200/SG
Soni, A., Srivastava, P., & Azhar, S. (2026, October 26). Wall Street banks, Blackstone line up $63 billion to finance Broadcom AI chips for Anthropic. Reuters, via Investing.com. https://www.investing.com/news/stock-market-news/wall-street-banks-blackstone-line-up-63-billion-to-finance-broadcom-chips-for-anthropic-4973662