wuyang6
18 lines
556 B
Markdown
18 lines
556 B
Markdown
---
|
|
{
|
|
"title": "Astra 的十项数学结果：答案、正确性与理解开始脱钩",
|
|
"summary": "从十项数学结果、验证流程和人类理解成本分析 AI 辅助数学研究的新阶段。",
|
|
"date": "2026-08-06",
|
|
"updated": "2026-08-10",
|
|
"topic": "ai-research",
|
|
"tags": ["ai-math", "astra", "verification"],
|
|
"kind": "site",
|
|
"status": "published",
|
|
"visibility": "public",
|
|
"canonicalUrl": "https://astra-math.k1412.top",
|
|
"preview": "/previews/astra-math.jpg"
|
|
}
|
|
---
|
|
|
|
独立研究文章站。中央博客保留统一入口。
|