Input (grade 6): The Poincaré theorem (proven by Grigori Perelman)
Output (grade 6): The Poincaré conjecture (proven by Grigori Perelman)