分類： 自動化推理

• Google 發表「AI 協同數學家」：刷新最難數學基準SOTA，與牛津教授破解數十年無解難題