AI disproves open math conjecture using simple prompts · Digg