AI Stack

TAGS / TERM

自动化定理证明

共 2 篇

  1. 迈向自主数学研究：AI 探索自动化定理证明 2026-02-15 · HACKER_NEWS
  2. 🤖AI竟伪造数学证明？深扒“创意数学”背后的惊人真相！ 2026-01-26 · HACKER_NEWS