开源序GitHub 开源项目排行

google-deepmind / alphageometry

用于复现 DDAR 与 AlphaGeometry 几何定理证明器的代码，配合论文研究求解奥林匹克几何问题。

仓库 Star: 4,903总榜 #12,318
Fork: 571
最近推送: 9 个月前更新
仓库创建: 2023 年创建

应用与完整系统 AI 应用PythonApache-2.0 · 宽松，可直接商用

用途与标签

用之前确认

超过 6 个月没有代码推送（最近一次 2026-01-13），维护情况需要确认。

AI 与智能体学习与资源 # theorem-proving # geometry # automated-reasoning # research-code

Star 走势

含按 GitHub 历史估算的数值

原始观测记录 · 2

历史观测
采集时间	仓库 Star	数据来源
2026-11-06 11:58 UTC	4,903	数据来源
2026-11-03 09:36 UTC	4,903	数据来源