物理超智能实验室用未公开Anthropic模型证明量子计算重要猜想

物理超智能实验室（PSI）利用一款未公开的Anthropic模型，在3天内完成量子计算领域‘阿伦森—安拜尼斯猜想’的证明，该证明通过数学辅助工具Lean检验，论文和代码已公开。斯坦福学者已阅读并反馈称其为‘重大成果’，但成果仍待学界独立审查。PSI称数学陈述、论文初稿和形式化证明均由AI生成，技术人员大卫·图尔图里安负责审阅和正确性担保。