Thomas discusses the importance of integrating external tools like proof assistants and SAT solvers in AI applications. He emphasizes how these tools can enhance the reliability of numerical codes, particularly in checking structural integrity. This approach opens new avenues for ensuring accuracy and robustness in AI systems.
