#automated-reasoning

1 post

• 2026-05-28 AI 科研自動化已到轉折點：從 IMO 金牌到破解 Erdős 百年難題