AI and Math State of the Art | Dark Hacker News