IXThinker·2026-10-12 16:00

數學定理網絡研究探討加速人工智能證明路徑

數學定理之間的依賴關係，能否幫AI更快找到證明路徑？「人工智能與數學」讀書會第二季第3期聚焦數學定理網絡，由北師大博士李曉凱主講，從複雜網絡視角審視數學證明與自動推理的可能。

定理織成一張網

從複雜網絡的視角看數學，定理與公理是節點，證明過程中的引用關係是邊，由此織成一張橫跨整個數學體系的定理網絡。北師大系統科學學院在讀博士李曉凱擔綱主講，從這一視角重新審視數學證明的結構與規律。