vatt'ghern jaskier's ballads

#AI-for-math

1 post tagged AI-for-math.

  1. 07.22
    LLM 找到 Jacobian 猜想的反例，人類數學家負責驗證