LeanAgent

• AI资讯

  清华校友用AI征服162个数学定理，连陶哲轩的难题也难不倒它！

  [db:摘要]

  aiuc

  2024年10月12日

  0080