Claude Opus 4.6 löst 10 von 12 Putnam 2025 Aufgaben autonom in Rocq
In einem neuen Experiment hat Claude Opus 4.6, ausgestattet mit einer Suite von Model Context Protocol (MCP)-Tools für den Beweisassistenten Rocq, zehn von zwölf Aufgaben der Putnam-Mathematikwettbewerbs 2025 eigenständ…
- In einem neuen Experiment hat Claude Opus 4.6, ausgestattet mit einer Suite von Model Context Protocol (MCP)-Tools für den Beweisassistenten Rocq, zehn von zwölf Aufgabe…
- Die MCP-Tools, die in Zusammenarbeit mit Claude entwickelt wurden, basieren auf einer „Compile‑First, Interactive‑Fallback“-Strategie, die aus den Logdaten eines frühere…
- Der autonome Agent arbeitete auf einer isolierten virtuellen Maschine ohne Internetzugang und setzte 141 Subagenten ein, die über 17,7 Stunden aktive Rechenzeit (51,6 St…
In einem neuen Experiment hat Claude Opus 4.6, ausgestattet mit einer Suite von Model Context Protocol (MCP)-Tools für den Beweisassistenten Rocq, zehn von zwölf Aufgaben der Putnam-Mathematikwettbewerbs 2025 eigenständig bewiesen. Die MCP-Tools, die in Zusammenarbeit mit Claude entwickelt wurden, basieren auf einer „Compile‑First, Interactive‑Fallback“-Strategie, die aus den Logdaten eines früheren miniF2F‑Rocq‑Experiments abgeleitet wurde.
Der autonome Agent arbeitete auf einer isolierten virtuellen Maschine ohne Internetzugang und setzte 141 Subagenten ein, die über 17,7 Stunden aktive Rechenzeit (51,6 Stunden reale Zeit) nutzten. Während dieses Prozesses wurden rund 1,9 Milliarden Tokens verarbeitet. Alle erarbeiteten Beweise sind öffentlich zugänglich.
Welche Linse du auf diese Meldung legen solltest
Dieses Thema ist relevant, weil es zeigt, wie sich KI-Produkte, Modelle oder Rahmenbedingungen in der Praxis verschieben.
Achte zuerst darauf, was sich fuer Nutzer, Builder oder Unternehmen konkret veraendert und ob daraus ein nachhaltiger Trend entsteht.
Kontext ohne Glossar-Suche
Wenn du nach dieser Meldung weiterlernen willst
Von dieser Meldung direkt in Hub, Analyse und Nachbarthemen
Achte zuerst darauf, was sich fuer Nutzer, Builder oder Unternehmen konkret veraendert und ob daraus ein nachhaltiger Trend entsteht.
Dieses Thema taucht in denselben KI-Entwicklungen regelmaessig mit auf und hilft beim groesseren Bild.