“Bucky Moore predicts that the scope of problems AI models can address will widen to include verifiable fields such as math, computer programming, and physics.”