使用Claude Opus 5时，Maestro在arXivLean的2026年6月版本中自主发现了48个定理里34个的证明，而原生代理只做到19个。