“The Aristotle AI system's architecture includes a large transformer model that uses a Monte Carlo tree search strategy to discover valid reasoning paths.”