AI reportedly solved open problems from Scott Aaronson's 25-year-old papers in one shot · Digg