OpenAI模型反駁離散幾何中80年的中心猜想
openai的一個推理模型通過反駁關於點放置的數十年猜想，解決了平面單位距離問題。
OpenAI 透露，一個新的通用推理模型自主解決了平面單位距離問題（planar unit distance problem），這是一個歷時近 80 年的組合幾何挑戰。該 AI 證偽了重新調整的方形網格最大化單位距離對的中心猜想，找到了無限多的示例，從而實現多項式改進。包括菲爾茲獎得主蒂姆·高爾斯（Tim Gowers）和數論學家阿魯·香卡（Arul Shankar）在外的外部數學家驗證了該證明，並撰寫了一篇配套論文。這標誌著數學中的一個著名開放問題首次由通用 AI 模型而非數學專用系統解決。