Blueprint 技术指南 ｜ 构建数学协作新生态

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

2025

07-26

Blueprint 技术指南 ｜ 构建数学协作新生态

02-14

Lean4 项目实战指南

2024

12-29

Lean4 REPL 使用教程

12-15

Lean 教程(二) ｜ 函数式编程

11-17

AIMO | Kaggle 本地环境搭建

10-15

AlphaProof 解题分析与启发 | IMO 系列

10-15

ICLR 2025 | 数学形式化工作速览

09-23

AIMO 百万奖金赛 | Numina 技术原理解析

09-21

SciBench | LLM 解决大学水平科学问题的能力

09-13

OpenAI-o1 分析实测 | IMO2024 第一题