关于 AI4Math 大事记

一个以时间线为核心的 AI for Mathematics 历史档案

AI4Math 大事记把论文、正式证明工件、研究仓库、机构公告与独立佐证组织成稳定的 canonical Event，让重要进展更容易被发现、放回历史脉络，并进一步核查其证据。

这个网站解决什么问题？

Chronicle 不是新闻流、论文数据库、排行榜或 Awesome List。它优先记录具有历史或领域意义的 AI4Math 事件，并长期保留事件的重要性、AI 与人类贡献、来源、验证状态、历史关系与修订记录。

阅读模型

三个核心阅读入口分别承担不同任务：浏览历史、定位事件、理解可信度。

按事件发生时间阅读 AI4Math 的演进。搜索和轻量筛选不会改变历史顺序，年份用于快速跳转。

通过全文搜索、结构化多选筛选与排序定位具体系统、人物、问题、方法或证据条件。

了解收录边界、H1–H3、S1–S5、E0–E4、验证状态、形式保障、不确定性与更正机制。

使用与共建

About 同时集中保留原“使用与共建”页面的职责：研究引用、机器复用和公共维护。

在论文、报告、课程材料或研究项目中引用 Chronicle。需要可复现版本时，优先使用 GitHub Release snapshot 或记录明确访问日期。

使用 JSON、NDJSON、JSON Schema、RSS、Sitemap、llms.txt 与 canonical YAML 做分析、检索、知识整理或 AI-assisted workflows。

提交遗漏事件、来源线索、事实纠错、验证更新、翻译修正或网站改进。贡献流程保持 GitHub-native、可审查、可追溯。

网站与 main 分支组成持续演进的 living corpus；GitHub Releases 提供更适合引用和复现的版本快照。代码采用 MIT License，Chronicle 原创编辑内容与数据汇编采用 CC BY 4.0。

所有公开贡献都遵循既有编辑标准与 human-in-the-loop review。提交 Issue 或 Pull Request 不保证纳入 Chronicle；H1、争议性验证状态以及重大数学正确性 / 优先权判断继续受既有人工 gate 约束。