San Francisco — Compute, not human insight, disproved a discrete geometry conjecture. An OpenAI model found the counterexample by exhaustively varying parameterizations — human-verified, not formally
Hacker News