OpenAI reportedly planned an October 6 GitHub release of solutions to hundreds of unsolved math problems · Digg