This thought expt (on how to find maths problems that openAI can solve) is interesting tjoresearchnotes.wordpress.com/2026/08/02/r... a) all of their proofs fit into one context window, b) scan open problems looking for addressable ones, 3) reported cost is only the compute cost for the successes
