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

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

2024

10-15

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

10-15

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

09-23

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

09-21

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

09-13

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

09-04

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

08-25

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

08-24

哥德巴赫猜想 x AICoder

07-13

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

07-07

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