Study: String theory finally testable thanks to AI | Virexa