AI Progress Sparks Doubts On Human Role In Future Math Research · Digg