形式化证明

条目：5

2026年二月 5 篇

类型	阅读	条目
[自动] [BLOGS_PODCASTS]	2min	mic GPT-5.2提出新胶子振幅公式并获合作者验证 02-18 GPT-5.2 OpenAI 理论物理
[自动] [BLOGS_PODCASTS]	3min	mic GPT-5.2推导新胶子振幅公式获正式证明 02-18 GPT-5.2 理论物理科学发现
[自动] [BLOGS_PODCASTS]	2min	mic GPT-5.2提出胶子振幅新公式并获合作验证 02-16 GPT-5.2 OpenAI 理论物理
[自动] [HACKER_NEWS]	4min	newspaper 迈向自主数学研究 02-16 自主研究数学 AI
[自动] [HACKER_NEWS]	4min	newspaper 迈向自主数学研究 02-15 自主研究数学 AI