VGPT-RSI y verificación formal parcial de la hipótesis de Riemann
VGPT-RSI verifica formalmente la hipótesis de Riemann con certificados de frontera y desigualdades de Lagarias. Identifica obstáculos matemáticos.
#coq
GLACIER: Modelo multimodal estudiante-maestro para propiedades moleculares
GLACIER integra gráficos, SMILES y descriptores fisicoquímicos para predecir propiedades moleculares con alta eficiencia. Código abierto.