Conjecture Machines: AI agents and the new validation bottleneck in science
Google DeepMind2026-07-3115 页
AI as a Scientific Collaborator: From biology to black holes, ChatGPT is accelerating research
OpenAI2026-02-1220 页
Verified Machine Learning Infrastructure: Formal Methods for Trustworthy Artificial Intelligence Deployment
RAND Corporation2026-06-1953 页
Verified Machine Learning Infrastructure: Formal Methods for Trustworthy Artificial Intelligence Deployment
RAND Corporation2026-06-1953 页
AI安全产业研究报告2026
数说安全（北京赛博英杰科技有限公司）2026-07-22104 页