Maestro系统为Lean证明引入全局调度，研究级定理求解率提升63% UIUC与AWS AI Labs联合提出的Maestro框架，通过引入具备全局视野的协调者角色，重构了Lean形式化证明的失败处理机制。该系统在Fable 5与... 2026年10月21日 人工智能 #UIUC #自动定理证明 分享海报
