David Spergel urges doubling math PhD enrollment for AI formalization · Digg