An OpenAI model has disproved a central conjecture in discrete geometry 文章

news.ycombinator.com2026-05-20NEWSen作者: tedsanders