Heim
Anthropic startet Claude Mythos, um die Erdős-Vermutung mit einem knappen Beweis zu lösen
Am 26. wandte sich Sholto Douglas, Ingenieur bei Anthropic, an X, um bekannt zu geben, dass ihr neuestes Modell, Claude Mythos, ein seit einem Jahrhundert ungelöstes Rätsel der kombinatorischen Geometrie gelöst hatte: die Erdős-Vermutung über Einheitsabstände. Als „cleverer und prägnanter Beweis“ bezeichnet, trat dieser Durchbruch kurz nach der Behauptung von OpenAI auf, GPT-5.5 habe denselben Meilenstein gelöst, was den sich verschärfenden Wettlauf zwischen führenden KI-Laboren in der reinen mathematischen Entdeckung unterstrich.
Dieses Ergebnis betonte einen kollaborativen Agentenansatz, der sich von traditionellen Einzelmodellmethoden unterscheidet. Berichten zufolge setzte das Team einen automatisierten Testrahmen ein, der mehrere unabhängige Claude Code-Instanzen umfasste. In dieser Konfiguration erhielten Agenten mit Zugriff auf Mythos Probleme und generierten diverse Lösungspfade, die dann aggregiert und an andere unabhängige Instanzen verteilt wurden, um eine Kreuzvalidierung durchzuführen.
Während der Mathematiker Daniel Litt anmerkte, dass Mytos’ ursprüngliche Ausgabe „leicht minderwertig“ im Vergleich zu der von OpenAI war, verfolgte das Modell schließlich denselben Lösungspfad und leitete unabhängig einen originelleren und gestraffteren Beweis ab. Anthropic hat seither offiziell eine von Opus4.7 kompilierte Beweisversion veröffentlicht.
Diese Entwicklung hat die branchenweiten Debatten über den Verlauf von „reinen großen Sprachmodellen (LLMs)“ versus „symbolischen Reasoning-Assistenzsystemen“ neu entfacht. Zuvor hatte Google DeepMind bekannt gegeben, dass es neun Erdős-Probleme mit seinem AlphaProof Nexus-System gelöst habe. Seine starke Abhängigkeit von der formalen Beweissprache Lean löste jedoch Kontroversen über den Wert autonomer Schlussfolgerungen innerhalb rein generativer KI aus.
Im Gegensatz dazu adressiert Claude Code, der als Agentenrahmen operiert, nun die dringendsten wissenschaftlichen Herausforderungen der Menschheit durch Multi-Agenten-Kollaboration. Der KI-Sektor erlebt rasante Paradigmenwechsel; kürzlich bestätigte ein Fields-Medaillen-Gewinner, dass ChatGPT5.5Pro autonom in der Lage sei, mathematische Forschung auf Promotionsniveau in nur zwei Stunden abzuschließen. Während Modelle wie Claude Mythos und GPT-5.5 autonome Evolution in Spitzendomenen wie Algorithmusentdeckung und Systemverwundbarkeitsausnutzung demonstrieren, wechselt die KI von der frühen Ära des „Prompt Engineering“ zu einer Ära, die durch autonome Agenten mit tiefer logischer Schlussfolgerung und wissenschaftlichen Erkundungsfähigkeiten definiert ist.
Verwandter Artikel
Soy MiniMax3 Monitorlautsprecher: Große Leistung in einem kleinen Gehäuse
Sonic hat den MiniMax3 Monitor vorgestellt, ein neues Paar professioneller Studio-Lautsprecher, die für Desktop-Nearfield-Monitoring und persönliche Audio-/Video-Setups konzipiert sind. Mit einem Preis von 2099 Yuan haben diese kompakten, dennoch lei
Amazon übernimmt Decart für 7 Milliarden US-Dollar und sichert sich einen wichtigen KI-Chip-Adapter
Laut dem Wall Street Journal verhandelt Amazon über den Kauf des KI-Startups Decart zu einer geschätzten Bewertung von 7 Milliarden US-Dollar. Sollten keine konkurrierenden Angebote entstehen, könnte die Transaktion bald abgeschlossen werden, was die
Wie Locus eine der größten Herausforderungen der Robotik angeht: Manipulation
NeuraGrasp bewältigt verschiedene Artikel, darunter kleine Behälter, poröse Polybeutel und Textilien. | Quelle: Locus RoboticsLocus Robotics Corp. hat zahlreiche robotische Hürden in aktiven Betriebsumgebungen gemeistert. Seine autonomen mobilen Robo
Empfehlungen zu verwandten Spezialthemen
Design & Kunst
Die besten KI-Illustrationstools: Redaktionelle Szenen und Cover-Grafiken schneller erstellen
Die besten und am besten bewerteten KI-Illustrationstools 2026: Unsere sorgfältig zusammengestellte Liste enthält die leistungsstärksten Tools, mit denen Sie im Handumdrehen atemberaubende redaktionelle Szenen und auffällige Cover-Grafiken erstellen können. Jede Option wurde strengen Praxistests unterzogen und wird im Vergleich zwischen kostenlosen und kostenpflichtigen Versionen vorgestellt, damit Sie die perfekte Lösung für Ihren Arbeitsablauf finden können. Probieren Sie diese unverzichtbaren Lösungen noch heute aus, um Ihren KI-Vorteil zu nutzen und Ihre kreative Produktivität zu steigern. Entdecken Sie sie jetzt auf XIX.AI.
10 Tools
xix.ai
Bildung und Lernen
Die besten KI-Nachhilfelehrer für die Prüfungsvorbereitung: Üben Sie Mathematik, Naturwissenschaften und Englisch
Die besten und am besten bewerteten KI-Nachhilfetools für die Prüfungsvorbereitung des Jahres 2026 finden Sie hier auf XIX.AI! Unsere sorgfältig zusammengestellte Liste enthält leistungsstarke, bahnbrechende Tools, die einen Vergleich zwischen kostenlosen und kostenpflichtigen Angeboten, Tests aus der Praxis sowie wöchentlich aktualisierte Rankings bieten. Sie helfen Ihnen dabei, Ihre Schreibeffizienz zu steigern, das Erlernen komplexer Themen zu vereinfachen und Ihr akademisches Potenzial voll auszuschöpfen. Entdecken Sie jetzt Ihr perfektes Tool zur Prüfungsvorbereitung und legen Sie noch heute los, um Ihren KI-Vorteil zu nutzen!
10 Tools
xix.ai
Finanzen
KI-Budgetplanungstools für das persönliche Geldmanagement
2026 Neueste Besten Top-Bewertete KI-Budgetplanungs-Tools für persönliches Geldmanagement sind hier auf XIX.AI! Diese kuratierte Sammlung bietet leistungsstarke, revolutionäre Lösungen, die Ihnen helfen, reale Tests durchzuführen, Ausgaben Gewohnheiten zu verstehen und personalisierte Pläne zu erstellen, um die Produktivität zu steigern. Genießen Sie einen kostenlosen vs. bezahlten Vergleich sowie detaillierte Rankings. Unbedingt auszuprobierende Tools, die darauf ausgelegt sind, das Geldmanagement zu vereinfachen und Ihre KI-Vorteile freizuschalten. Entdecken Sie jetzt!
11 Tools
xix.ai
Gesundheit Wellness
KI-gestützte Schlafüberwachungsassistenten: Verbessern Sie Ihre Erholung durch bessere Gewohnheiten vor dem Schlafengehen
2026 – Die neuesten, besten und am höchsten bewerteten AI-Geräte zur Schlafüberwachung, sorgfältig ausgewählt für eine optimale Erholung. Dieser vollständig aktualisierte wöchentliche Leitfaden präsentiert leistungsstarke Tools mit praktischen Tests, einem Vergleich von kostenlosen und kostenpflichtigen Optionen sowie detaillierten Ranglisten, um Ihnen die beste Lösung zu zeigen, die die Schlafqualität verbessert und bessere Gewohnheiten zum Zubettgehen fördert. Entdecken Sie ihn jetzt auf XIX.AI, um Ihren Vorteil durch KI zu nutzen.
10 Tools
xix.ai
Datenanalyse
KI-gestützte SQL-Copilots für Produkt- und Umsatzanalysen
Die besten und am besten bewerteten KI-SQL-Copilots für Produkt- und Umsatzanalysen im Jahr 2026! XIX.AI hat eine leistungsstarke, bahnbrechende Sammlung unverzichtbarer Tools zusammengestellt, die anhand wöchentlich aktualisierter Rankings in der Praxis getestet werden. Diese Tools helfen Anwendern dabei, ihre Produktivität erheblich zu steigern, indem sie die Datenanalyse beschleunigen, komplexe Abfragen optimieren und präzise Erkenntnisse liefern, um intelligentere Geschäftsentscheidungen zu ermöglichen. Entdecken Sie jetzt das perfekte Tool, um Ihren KI-Vorteil voll auszuschöpfen!
14 Tools
xix.ai
Bildung und Lernen
Die besten KI-Hausaufgabenhelfer, die wirklich etwas vermitteln: Lerne Konzepte, nicht nur Antworten
2026: Die aktuell besten und am besten bewerteten KI-Hausaufgabenhelfer, die nicht nur Antworten liefern, sondern auch Kernkonzepte vermitteln – leistungsstarke Tools für Schüler und Studenten. Eine kuratierte Liste, die Sie unbedingt ausprobieren sollten. Wöchentlich aktualisiert. Vergleich zwischen kostenlosen und kostenpflichtigen Angeboten. Praxistests. Genaue Rankings, die Ihnen helfen, Ihr volles Lernpotenzial auszuschöpfen. Entdecken Sie jetzt das perfekte Tool für intelligenteres Lernen.
10 Tools
xix.ai
Kommentare (0)
Am 26. wandte sich Sholto Douglas, Ingenieur bei Anthropic, an X, um bekannt zu geben, dass ihr neuestes Modell, Claude Mythos, ein seit einem Jahrhundert ungelöstes Rätsel der kombinatorischen Geometrie gelöst hatte: die Erdős-Vermutung über Einheitsabstände. Als „cleverer und prägnanter Beweis“ bezeichnet, trat dieser Durchbruch kurz nach der Behauptung von OpenAI auf, GPT-5.5 habe denselben Meilenstein gelöst, was den sich verschärfenden Wettlauf zwischen führenden KI-Laboren in der reinen mathematischen Entdeckung unterstrich.
Dieses Ergebnis betonte einen kollaborativen Agentenansatz, der sich von traditionellen Einzelmodellmethoden unterscheidet. Berichten zufolge setzte das Team einen automatisierten Testrahmen ein, der mehrere unabhängige Claude Code-Instanzen umfasste. In dieser Konfiguration erhielten Agenten mit Zugriff auf Mythos Probleme und generierten diverse Lösungspfade, die dann aggregiert und an andere unabhängige Instanzen verteilt wurden, um eine Kreuzvalidierung durchzuführen.
Während der Mathematiker Daniel Litt anmerkte, dass Mytos’ ursprüngliche Ausgabe „leicht minderwertig“ im Vergleich zu der von OpenAI war, verfolgte das Modell schließlich denselben Lösungspfad und leitete unabhängig einen originelleren und gestraffteren Beweis ab. Anthropic hat seither offiziell eine von Opus4.7 kompilierte Beweisversion veröffentlicht.
Diese Entwicklung hat die branchenweiten Debatten über den Verlauf von „reinen großen Sprachmodellen (LLMs)“ versus „symbolischen Reasoning-Assistenzsystemen“ neu entfacht. Zuvor hatte Google DeepMind bekannt gegeben, dass es neun Erdős-Probleme mit seinem AlphaProof Nexus-System gelöst habe. Seine starke Abhängigkeit von der formalen Beweissprache Lean löste jedoch Kontroversen über den Wert autonomer Schlussfolgerungen innerhalb rein generativer KI aus.
Im Gegensatz dazu adressiert Claude Code, der als Agentenrahmen operiert, nun die dringendsten wissenschaftlichen Herausforderungen der Menschheit durch Multi-Agenten-Kollaboration. Der KI-Sektor erlebt rasante Paradigmenwechsel; kürzlich bestätigte ein Fields-Medaillen-Gewinner, dass ChatGPT5.5Pro autonom in der Lage sei, mathematische Forschung auf Promotionsniveau in nur zwei Stunden abzuschließen. Während Modelle wie Claude Mythos und GPT-5.5 autonome Evolution in Spitzendomenen wie Algorithmusentdeckung und Systemverwundbarkeitsausnutzung demonstrieren, wechselt die KI von der frühen Ära des „Prompt Engineering“ zu einer Ära, die durch autonome Agenten mit tiefer logischer Schlussfolgerung und wissenschaftlichen Erkundungsfähigkeiten definiert ist.
Soy MiniMax3 Monitorlautsprecher: Große Leistung in einem kleinen Gehäuse
Sonic hat den MiniMax3 Monitor vorgestellt, ein neues Paar professioneller Studio-Lautsprecher, die für Desktop-Nearfield-Monitoring und persönliche Audio-/Video-Setups konzipiert sind. Mit einem Preis von 2099 Yuan haben diese kompakten, dennoch lei
Amazon übernimmt Decart für 7 Milliarden US-Dollar und sichert sich einen wichtigen KI-Chip-Adapter
Laut dem Wall Street Journal verhandelt Amazon über den Kauf des KI-Startups Decart zu einer geschätzten Bewertung von 7 Milliarden US-Dollar. Sollten keine konkurrierenden Angebote entstehen, könnte die Transaktion bald abgeschlossen werden, was die
Wie Locus eine der größten Herausforderungen der Robotik angeht: Manipulation
NeuraGrasp bewältigt verschiedene Artikel, darunter kleine Behälter, poröse Polybeutel und Textilien. | Quelle: Locus RoboticsLocus Robotics Corp. hat zahlreiche robotische Hürden in aktiven Betriebsumgebungen gemeistert. Seine autonomen mobilen Robo
Die besten und am besten bewerteten KI-Illustrationstools 2026: Unsere sorgfältig zusammengestellte Liste enthält die leistungsstärksten Tools, mit denen Sie im Handumdrehen atemberaubende redaktionelle Szenen und auffällige Cover-Grafiken erstellen können. Jede Option wurde strengen Praxistests unterzogen und wird im Vergleich zwischen kostenlosen und kostenpflichtigen Versionen vorgestellt, damit Sie die perfekte Lösung für Ihren Arbeitsablauf finden können. Probieren Sie diese unverzichtbaren Lösungen noch heute aus, um Ihren KI-Vorteil zu nutzen und Ihre kreative Produktivität zu steigern. Entdecken Sie sie jetzt auf XIX.AI.
10 Tools
xix.ai
Die besten und am besten bewerteten KI-Nachhilfetools für die Prüfungsvorbereitung des Jahres 2026 finden Sie hier auf XIX.AI! Unsere sorgfältig zusammengestellte Liste enthält leistungsstarke, bahnbrechende Tools, die einen Vergleich zwischen kostenlosen und kostenpflichtigen Angeboten, Tests aus der Praxis sowie wöchentlich aktualisierte Rankings bieten. Sie helfen Ihnen dabei, Ihre Schreibeffizienz zu steigern, das Erlernen komplexer Themen zu vereinfachen und Ihr akademisches Potenzial voll auszuschöpfen. Entdecken Sie jetzt Ihr perfektes Tool zur Prüfungsvorbereitung und legen Sie noch heute los, um Ihren KI-Vorteil zu nutzen!
10 Tools
xix.ai
2026 Neueste Besten Top-Bewertete KI-Budgetplanungs-Tools für persönliches Geldmanagement sind hier auf XIX.AI! Diese kuratierte Sammlung bietet leistungsstarke, revolutionäre Lösungen, die Ihnen helfen, reale Tests durchzuführen, Ausgaben Gewohnheiten zu verstehen und personalisierte Pläne zu erstellen, um die Produktivität zu steigern. Genießen Sie einen kostenlosen vs. bezahlten Vergleich sowie detaillierte Rankings. Unbedingt auszuprobierende Tools, die darauf ausgelegt sind, das Geldmanagement zu vereinfachen und Ihre KI-Vorteile freizuschalten. Entdecken Sie jetzt!
11 Tools
xix.ai
2026 – Die neuesten, besten und am höchsten bewerteten AI-Geräte zur Schlafüberwachung, sorgfältig ausgewählt für eine optimale Erholung. Dieser vollständig aktualisierte wöchentliche Leitfaden präsentiert leistungsstarke Tools mit praktischen Tests, einem Vergleich von kostenlosen und kostenpflichtigen Optionen sowie detaillierten Ranglisten, um Ihnen die beste Lösung zu zeigen, die die Schlafqualität verbessert und bessere Gewohnheiten zum Zubettgehen fördert. Entdecken Sie ihn jetzt auf XIX.AI, um Ihren Vorteil durch KI zu nutzen.
10 Tools
xix.ai
Die besten und am besten bewerteten KI-SQL-Copilots für Produkt- und Umsatzanalysen im Jahr 2026! XIX.AI hat eine leistungsstarke, bahnbrechende Sammlung unverzichtbarer Tools zusammengestellt, die anhand wöchentlich aktualisierter Rankings in der Praxis getestet werden. Diese Tools helfen Anwendern dabei, ihre Produktivität erheblich zu steigern, indem sie die Datenanalyse beschleunigen, komplexe Abfragen optimieren und präzise Erkenntnisse liefern, um intelligentere Geschäftsentscheidungen zu ermöglichen. Entdecken Sie jetzt das perfekte Tool, um Ihren KI-Vorteil voll auszuschöpfen!
14 Tools
xix.ai
2026: Die aktuell besten und am besten bewerteten KI-Hausaufgabenhelfer, die nicht nur Antworten liefern, sondern auch Kernkonzepte vermitteln – leistungsstarke Tools für Schüler und Studenten. Eine kuratierte Liste, die Sie unbedingt ausprobieren sollten. Wöchentlich aktualisiert. Vergleich zwischen kostenlosen und kostenpflichtigen Angeboten. Praxistests. Genaue Rankings, die Ihnen helfen, Ihr volles Lernpotenzial auszuschöpfen. Entdecken Sie jetzt das perfekte Tool für intelligenteres Lernen.
10 Tools
xix.ai
