Charlie-Wang-03/ai4math-chronicle

Explore the breakthroughs reshaping AI for Mathematics — one evidence-backed timeline from theorem proving to mathematical discovery. 追踪重塑 AI4Math 的关键突破：从定理证明到数学发现，一条证据驱动的大事记。

语言：Astro · GitHub 星标：4 · Fork：0

话题：ai-agents · ai-for-mathematics · ai4math · astro · formal-mathematics · llm · mathematical-reasoning · open-data

在 GitHub 上查看原仓库