# 分类：ai-for-science

> 该分类下的文章按时间倒序排列，便于按主题继续深挖。

## 页面摘要
- 路径: /categories/ai-for-science/
- 当前页: 1 / 1
- 文章总数: 1
- 当前页文章数: 1

## 快速导航
- [首页](/)
- [分类索引](/categories/)
- [归档索引](/archive/)

## 本页文章
### [GPT-5.2 理论物理推导的形式化验证工作流构建](/posts/2026/02/14/gpt-5-2-theoretical-physics-derivation-formal-verification-workflow/)
- 日期: 2026-02-14T10:16:02+08:00
- 分类: [ai-for-science](/categories/ai-for-science/)
- 摘要: 针对 GPT-5.2 在理论物理学中的新推导，提出一个结合神经-符号智能体（Ax-Prover）与 Lean 形式化系统的可复现验证流程，涵盖能力边界分析、工作流设计及具体工程参数。