Forschung
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 Beweisassistente…
arXiv – cs.LG