High school students use AI to solve an open problem in mathematics | Hacker News Reader