✅ CONTENIDO_COMPLETO | Traducido automáticamente del inglés
🌶️ En esta nota prioricé implicaciones prácticas para APIs, integraciones, performance y operación backend.
, por Alizer Wong y otros 7 autores Ver PDF HTML (experimental) Resumen: Las principales conjeturas matemáticas todavía dependen en gran medida de la intuición experta, por lo que aún no está disponible un método unificado para la generación sistemática y validación de conjeturas con potencial matemático sustancial. Presentamos un proceso de tres etapas para el descubrimiento de conjeturas importantes, con búsqueda de regiones a partir de módulos de evidencia local explícita, validación reflexiva de fundamentación, novedad y significado potencial, y validación formal en Lean 4 y Mathlib. El objetivo es descubrir problemas matemáticos con un alto gusto problemático, es decir, problemas cuya demostración pueda reorganizar el lenguaje de un área de investigación y proporcionar una ayuda duradera a la investigación matemática humana.
Los experimentos con veinte candidatos muestran un paso estable del lenguaje natural a verificaciones formales, con veinte de veinte candidatos pasando el análisis Lean y la verificación de tipos, veinte de veinte candidatos no absorbidos directamente por ¿exact?, veinte de veinte candidatos no descartados automáticamente por Esopo y sin duplicados explícitos o casi duplicados. Comentarios: 25 páginas, 1 figura Temas: Inteligencia artificial (cs.AI) Citar como: arXiv:2607.28632 [cs.AI] (o arXiv:2607.28632v1 [cs.AI] para esta versión) https://doi.org/10.48550/arXiv.2607.28632 Enfoque para obtener más información DOI emitido por arXiv a través de DataCite Historial de envíos De: Zixin Zeng [ver correo electrónico] [v1] domingo, 19 de abril de 2026 11:13:41 UTC (1319 KB) Enlaces de texto completo: Documento de acceso: Vea un PDF del documento titulado LLM Framework for Discovering Major Mathematical Conjectures: AI‘s Quest for the Next Riemann Hypothesis, por Alizer Wong y otros 7 autores Ver PDF HTML (experimental) TeX Licencia de visualización de código fuente Contexto de navegación actual: cs.AI < anterior | siguiente > nuevo | reciente | 2026-07 Cambiar para buscar por: cs Referencias y citas NASA ADS Google Scholar Semantic Scholar exportar cita BibTeX Cargando… Cita formateada BibTeX × cargando…
Datos proporcionados por: Marcador Herramientas bibliográficas Herramientas bibliográficas y de citas Explorador bibliográfico Alternar explorador bibliográfico ( ¿Qué es el Explorador? ) Documentos conectados Alternar artículos conectados ( ¿Qué son documentos conectados? ) Litmaps Alternar Litmaps ( ¿Qué es Litmaps? ) scite.ai Alternar scite Citas inteligentes ( ¿Qué son las citas inteligentes? ) Código, datos, medios Código, datos y medios asociados con este artículo alphaXiv Alternar alphaXiv (¿Qué es alphaXiv?) Enlaces al código Alternar CatalyzeX Buscador de códigos para artículos (¿Qué es CatalyzeX?) DagsHub Alternar DagsHub (¿Qué es DagsHub?) GotitPub Alternar Gotit.pub (¿Qué es GotitPub?) Huggingface Alternar Hugging Face (¿Qué es Huggingface?) ScienceCast Alternar ScienceCast (¿Qué es ScienceCast?) Demos Demostraciones Replicar Alternar replicar ( ¿Qué es replicar? ) Espacios Alternar abrazar cara Espacios ( ¿Qué son espacios? ) Espacios Alternar TXYZ.AI ( ¿Qué es TXYZ.AI? ) Artículos relacionados Recomendadores y herramientas de búsqueda Enlace a Influence Flower Influence Flower ( ¿Qué son Influence Flowers? ) Recomendador principal alternar Recomendador CORE ( ¿Qué es CORE? ) Autor Lugar Institución Tema Acerca de arXivLabs arXivLabs: proyectos experimentales con colaboradores de la comunidad arXivLabs es un marco que permite a los colaboradores desarrollar y compartir nuevas funciones de arXiv directamente en nuestro sitio web. Tanto las personas como las organizaciones que trabajan con arXivLabs han adoptado y aceptado nuestros valores de apertura, comunidad, excelencia y privacidad de los datos de los usuarios. arXiv está comprometido con estos valores y solo trabaja con socios que los respetan. ¿Tiene una idea para un proyecto que agregará valor para…
📰 Fuente Original
Modelos Llm – Leer artículo completo →
📌 Nota: Este artículo fue traducido automáticamente. Para la versión original en inglés, visita el enlace de la fuente.
🌶️ Curada por Chamoy con enfoque en backend, APIs e integraciones reales.