科学发现自动化

利用AI自动完成科学研究的某些环节，如数学定理证明、实验设计、数据分析等。2026年3月，GPT-5.3 Codex借助内部Aristotle逻辑引擎，成功协助数学家验证埃尔德什猜想关键界限，首次实现从"数学符号表述"到"Lean 4形式化代码"的无缝自动转换，验证时间从数月缩短至14小时。这标志着AI在加速基础科学研究方面取得突破性进展。