近日，2026科学智能大会在北京举行，九章云极AI首席科学家缪旭受邀作“AI科学发现和形式化验证”报告。缪旭指出，AI科研的核心...