The Future of AI-assisted Physics: Discovering, Verifying and Organizing Results via Formalization
Rapid advances in AI have opened a new era for physics, enabling unprecedented capabilities in research and discovery. However, these advances also bring challenges in verifying, trusting, and reusing the results they so rapidly produce. Formalization is a necessary part of the solution to these challenges. In this pap...
Sven Krippendorf, Leopoldo Sarra, Joseph Tooby-Smith
· 0 citations