Advancing Mathematics By Guiding Human Intuition With AI — LessWrong