Toby Ord Says Mathematics Exceeds Automated Proof

Toby Ord posted a thread on his new piece titled Mathematics is About Much More than Proof. He notes calculation was automated in the twentieth century and symbolic manipulation followed. AI systems now advance on proof. Ord states that asking the right questions and developing new fields of enquiry remain. He points out the lack of training data or verifiable reward for these skills in current systems. Ord adds there is not yet much evidence on whether AI can identify important questions among all possibilities.