AI 改写数学竞赛 | 从 IMO Grand 到 AlphaProof

嗯..! 目前共计 24 篇日志。 继续努力。

2024

09-04

AI 改写数学竞赛 | 从 IMO Grand 到 AlphaProof

08-25

陶哲轩：数学不仅仅是严谨性和证明

08-24

哥德巴赫猜想 x AICoder

07-13

SageMath 初学者指南 | 安装及基本使用

07-07

LeanDojo | 为 Lean 定理证明器搭建桥梁

06-04

数学形式化 | Lean4Game 教程

06-04

Glimpse Of Lean

2023

11-27

NeurIPS 论文粗读

11-14

Lean & GPT | 构建自己的 GPT

11-13

Lean4 教程一 ｜ 基础安装