AI for Formal Math, and Physics, and why they're different
Perimeter Institute for Theoretical Physics
Artificial IntelligenceVideo · 1 h 16 min
Alexander Meiburg
Artificial Intelligence researcher, Perimeter Institute for Theoretical Physics,
1 talk