科学发现自动化

科学发现自动化指AI自主进行材料筛选、数学证明等科学研究的过程。2026年2月，多个案例展示了这一趋势。

典型案例

• 材料科学：新罕布什尔大学AI在24小时内扫描67,573种化合物，发现25种不含稀土的高温磁性材料
• 数学证明：GPT-5.2 Thinking协助陶哲轩验证埃尔德什猜想

工业意义

将研发周期从"十年"缩短至"数天"，预示着科学研究的范式变革。

相关页面

• [[新罕布什尔大学]] — 材料发现案例
• [[陶哲轩]] — 数学证明合作者
• [[gpt-5-2-thinking]] — 数学推理模型
• [[自举-ai]] — AI自我演进概念