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…