Talks & Seminars

Christopher Birkbeck｜AI proof discovery and autoformalised libraries

mjj·Nov 4, 2026, 9:52 PM CST·0

Christopher Birkbeck · University of East Anglia

Rutgers AI and Mathematics Seminar · Past · Hybrid

2026-10-07 10:00 – 11:00 (UTC-04:00)

Rutgers University，Hill Center 705 / Zoom

#1 · Opening post

北京时间　10 月 7 日（周三）22:00–23:00

历史 Zoom 会议号　949 9974 9212　｜　密码　516100

如何让一次 AI 辅助证明中的引理被其他研究者复用？Birkbeck 以关于 adic spaces 的合作研究为例，介绍将证明形式化并把可复用部分纳入 Tau Ceti 等数学库的过程。

Manage content