一个利用通用代数探索全新合作方式和机器辅助的试点项目
2024-09-27
著名数学家陶哲轩提议开展一个利用通用代数探索全新合作方式和机器辅助的试点项目。该项目旨在探索岩浆的简单方程式理论，并构建一个包含大量方程式及其关系的数据库。项目将利用 Github 仓库、Lean 证明辅助语言和自动证明工具等，鼓励专业数学家、公众和 AI 工具协作完成证明、反驳和可视化等任务。
著名数学家陶哲轩提议开展一个利用通用代数探索全新合作方式和机器辅助的试点项目。该项目旨在探索岩浆的简单方程式理论，并构建一个包含大量方程式及其关系的数据库。项目将利用 Github 仓库、Lean 证明辅助语言和自动证明工具等，鼓励专业数学家、公众和 AI 工具协作完成证明、反驳和可视化等任务。