Assessment of open AI math results | Dark Hacker News