Mathematical Conjecturing

Tim and Christian delve into automating mathematical conjecturing using machine learning, discussing the power of transformers in abstract syntax trees and the potential of neural networks in mathematical tasks. Christian presents the idea of creating a population of mathematicians as agents to solve the metric problem in formal reasoning.