Me lo estoy imaginando:
Una base de datos de variedades de Calabi-Yau. Se pueden añadir más cuando se encuentren más.
El software elige un colector CY aleatorio, asigna flujos aleatorios, etc. Observa el sector de baja energía que correspondería a alguna acción de Supergravedad. Resuelve varios valores propios para masas y otras constantes.
Repite.
Si los resultados son "interesantes" según algún criterio, almacénelos. Los criterios podrían ser: Una buena relación de masas leptónicas. Contiene el grupo gauge SU(3) para los quarks. Constante cosmológica pequeña. Masa de Higgs pequeña. Cosas por el estilo.
También podría utilizar el aprendizaje profundo para sugerir configuraciones basadas en resultados anteriores. El software podría ejecutarse en los ordenadores personales de los usuarios.
Obviamente esto nunca pasará por todo $10^{272000}$ o las vacuas que sean, pero puede seleccionar algunas vacuas interesantes y los humanos (o las IA) pueden ser capaces de detectar patrones.
Supongo que a la gente se le habrá ocurrido hacer esto, así que me pregunto cuál es el cuello de botella. ¿Qué es lo más difícil?
Conocemos al menos algunos colectores CY. Así que supongo que el cuello de botella está en calcular las masas de las partículas. No veo por qué esto sería teóricamente difícil. Como primero resolvemos el potencial de Higg $V(\phi)$ que es una simple ecuación polinómica que dividiría el grupo gauge de una determinada manera. Entonces podemos encontrar las masas de las partículas y las matrices de mezcla diagonalizando la matriz de masas como $\overline{\psi}_a M^{ab} \psi_b$ . Todas estas cosas se pueden automatizar. (¿Tendríamos que encontrar masas renormalizadas? ¿O podríamos ignorar esto?)
Es decir, digo que debería ser "sencillo", ¡pero no he podido hacerlo! Así que me pregunto cuál es el problema: ¿es teoerético, técnico o físico (como si me supusiera demasiado esfuerzo)? ¿O es que no hay ningún físico vivo que tenga los conocimientos necesarios para hacer algo así?
Editar
Me retracto. Parece que hay muchos programas que intentan hacer cosas parecidas. Pero no he visto ningún programa a gran escala que lo haga. automáticamente .
Tal vez se hayan creado todos los programas por separado, pero no se han reunido en un solo sistema.
