A user urges OpenAI to match spending on conjecture proofs with math PhD funding · Digg