Hacker News front page● 精選10/9 08:26AI 評分88
數學家集體回應 OpenAI 解出百餘道開放問題
OpenAI 10 月 6 日宣布解決 100 多道數學開放問題後，社群網站 Proofs and Prompts 彙集了 100 多條數學家署名的反應，並持續更新至 10 月 9 日。反應中提到的結果包括 Thompson 群 F 非順從、Eilenberg–Ganea 猜想為假、Boone–Higman 猜想被完全解決，以及 Borel 猜想在四維失效、粗 Baum-Connes 猜想失效。