Sharing AI progress in mathematicsopenai.com
415 points by OfficialTurkey 3 hours ago | 341 comments