Preimpresión publicada en arXiv
"Establecer el exponente óptimo relacionando sumas y conjuntos de diferencias"
- ocho páginas firmadas por Haowei Lin de Tencent Hunyuan y Shanda Li de la Universidad Carnegie Mellon. Pone fin al problema de la combinatoria aditiva, en la que casi todos los sistemas de inteligencia artificial de alto perfil se han probado durante el año pasado, desde AlphaEvolve de Google DeepMind hasta GPT y Claude. No tenían la respuesta: el diseño clave fue propuesto por Hyra, un agente de investigación de Tencent que trabaja en el modelo abierto Hy3. Una verificación formal de la prueba se publica en
repositorio abierto
en Lean 4: un lenguaje para la verificación automática de pruebas matemáticas.
Leer más
|
@habr_ai