№formal·general

Formal

别名

首次出现: 2026-05-22
最近出现: 2026-06-06
累计提及: 21

§ 01综述

∅

Formal 的综述正在准备。
相关报道少于 3 条时不强行生成。

§ 02相关报道01 条在档

01
Google LEAP：让通用LLM形式数学证明成功率从10%飙升至70%
AI Will↗

§ 03邻近话题