目录
数学证明
条目：13
2026年二月
11 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[BLOGS_PODCASTS] | 2min | mic
分享AI模型在First Proof数学挑战中的证明尝试 02-24
First Proof
数学证明
AI推理 |
[自动]
[BLOGS_PODCASTS] | 2min | mic
分享AI模型针对First Proof数学挑战的证明尝试 02-23
First Proof
数学证明
推理能力 |
[自动]
[BLOGS_PODCASTS] | 2min | mic
分享AI模型针对First Proof数学挑战的证明尝试 02-23
First Proof
数学证明
推理能力 |
[自动]
[HACKER_NEWS] | 9min | newspaper
Lean 4 定理证明器原理与AI竞争新优势 02-21
Lean 4
定理证明器
形式化验证 |
[自动]
[BLOGS_PODCASTS] | 3min | mic
GPT-5.2推导胶子振幅新公式并获验证 02-18
GPT-5.2
理论物理
胶子振幅 |
[自动]
[BLOGS_PODCASTS] | 2min | mic
GPT-5.2 提出胶子振幅新公式并获合作验证 02-18
GPT-5.2
理论物理
胶子振幅 |
[自动]
[BLOGS_PODCASTS] | 3min | mic
GPT-5.2提出胶子振幅新公式并获验证 02-17
GPT-5.2
OpenAI
理论物理 |
[自动]
[BLOGS_PODCASTS] | 2min | mic
GPT-5.2提出新胶子振幅公式获学术验证 02-17
GPT-5.2
OpenAI
理论物理 |
[自动]
[BLOGS_PODCASTS] | 2min | mic
GPT-5.2 提出胶子振幅新公式并获合作者验证 02-16
GPT-5.2
理论物理
胶子振幅 |
[自动]
[BLOGS_PODCASTS] | 2min | mic
GPT-5.2推导新胶子振幅公式获正式验证 02-14
GPT-5.2
OpenAI
理论物理 |
[自动]
[ARXIV] | 4min | school
利用 Gemini 加速科学研究：案例研究与通用技术 02-04
Gemini
科学研究
数学证明 |
2026年一月
2 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 3min | newspaper
🔍 深度拆解：AI伪造数学证明的惊人真相！🚀 01-26
LLM
幻觉
数学证明 |
[自动]
[HACKER_NEWS] | 3min | newspaper
🤖AI竟伪造数学证明？深扒“创意数学”背后的惊人真相！ 01-26
AI
数学证明
形式化验证 |
无匹配条目