Artículos Relacionados con Prueba

El Centro de Noticias de HTX ofrece los artículos más recientes y un análisis profundo sobre "Prueba", cubriendo tendencias del mercado, actualizaciones de proyectos, desarrollos tecnológicos y políticas regulatorias en la industria de cripto.

GPT-5.6 resuelve en solo una hora un problema matemático de 50 años: 64 IA se coronan con la corona de la teoría de grafos

El 11 de julio, OpenAI anunció que GPT-5.6 Sol Ultra había demostrado la «Conjetura de Doble Cubierta de Circuitos», un problema matemático abierto durante 50 años en teoría de grafos, en menos de una hora. El sistema empleó 64 agentes de IA concurrentes que trabajaron en paralelo bajo un protocolo estricto: explorar múltiples enfoques iniciales distintos, evitar la convergencia prematura en una sola idea, y someter cada propuesta de prueba a un riguroso escrutinio por parte de un subconjunto de agentes «críticos». La estrategia de la IA simplificó primero el problema a grafos cúbicos sin puentes. Luego, aplicó el teorema del «8-flujo» de Tutte para asignar etiquetas vectoriales a las aristas. El paso clave fue un lema innovador (Lema 2.1) que transformó el problema topológico en uno de álgebra lineal, demostrando la existencia de una solución mediante un análisis impecable de espacios vectoriales duales y mapeos lineales. Los investigadores de OpenAI destacan que este logro fue posible gracias a la «Computación Paralela en Tiempo de Prueba» (TTC), que permite un razonamiento extenso y paralelo, reduciendo el tiempo de resolución de días a una hora. Este avance sugiere que la IA ha alcanzado capacidades de razonamiento abstracto de alto nivel y abre la puerta a aplicaciones en la resolución de problemas científicos complejos.

marsbit07/15 08:03

GPT-5.6 resuelve en solo una hora un problema matemático de 50 años: 64 IA se coronan con la corona de la teoría de grafos

marsbit07/15 08:03

Llega el matemático de IA de Tsinghua: desde la idea hasta el teorema, participa en la redacción de un artículo de 84 páginas sobre algoritmos cuánticos

El equipo del Instituto de Investigación de Inteligencia Artificial de la Universidad de Tsinghua, dirigido por el profesor Liu Yang, ha desarrollado un sistema de agente inteligente llamado AIM para la investigación matemática. A diferencia de herramientas anteriores centradas en resolver problemas, AIM participa activamente en las primeras etapas de la investigación científica, ayudando a los investigadores a explorar ideas, organizar teoremas y generar borradores de demostraciones. Recientemente, AIM colaboró en un estudio de algoritmos cuánticos de vanguardia titulado "Sign Embedding Quantum Algorithms for Matrix Equations and Matrix Functions". La investigación comenzó con una intuición humana sobre la aproximación racional como posible principio de diseño de algoritmos cuánticos. AIM ayudó a expandir las posibles líneas de investigación y, tras la selección humana, contribuyó a organizar los teoremas, generar pruebas preliminares y analizar la complejidad, dando lugar a un artículo de 84 páginas. El trabajo demuestra un flujo colaborativo humano-IA en cinco fases: expansión de rutas, selección humana por valor, formación de teoremas, auditoría de complejidad y validación final. El algoritmo cuántico resultante, "Sign Embedding", ofrece un marco unificado para problemas de ecuaciones matriciales y funciones matriciales. Este caso ilustra cómo la IA puede aumentar la productividad en investigación teórica manejando tareas exploratorias y derivativas, mientras el juicio humano mantiene el control sobre la dirección, los supuestos y el valor científico del trabajo.

marsbit07/10 02:57

Llega el matemático de IA de Tsinghua: desde la idea hasta el teorema, participa en la redacción de un artículo de 84 páginas sobre algoritmos cuánticos

marsbit07/10 02:57

La industria de la criptografía entra en la era de la "demostración": las meras visiones ya no bastan

**La era del "Muéstrame" en cripto: Ya no basta con la visión** El sector tecnológico y, en particular, el de las criptomonedas, ha entrado en una nueva fase: la era del "Muéstrame". Ya no es suficiente con presentar una visión atractiva, un producto mínimo viable (MVP) o un equipo prometedor. El público, cada vez más sofisticado y escéptico tras años de ruido y malos actores, exige pruebas tangibles. Este cambio se debe a varios factores: la creciente desconfianza hacia una tecnología que lleva décimas desarrollándose, la entrada a gran escala de instituciones financieras tradicionales (TradFi) como BlackRock, Fidelity o JPMorgan con productos reales (fondos tokenizados, ETF, soluciones blockchain), y el contraste con industrias como la IA, que han entregado productos consumibles. Estos actores han elevado el listón de lo que se considera un proyecto serio. La narrativa ha pasado de "¿Qué estás construyendo?" a "¿Qué has construido y quién lo usa?". La comunicación efectiva ahora requiere un "stack de pruebas" que incluya: * **Asociaciones reales y ejecutadas**, con contratos e integraciones, no meras conversaciones. * **Datos concretos y verificables** en la red principal (mainnet): volumen, carteras activas, ingresos. * **Señales de ajuste al mercado (product-market fit)**, como una base de usuarios orgánica y creciente que no sean solo inversores. * **Validación por terceros**: auditorías, investigaciones independientes. Para los equipos, esto significa que la historia debe construirse desde los hechos comprobables, no al revés. Un ejemplo concreto ("reducimos la liquidación transfronteriza de 3 días a 4 minutos con 3 empresas usándolo hoy") es más poderoso que una declaración ambiciosa ("construimos el futuro de los pagos"). Esto no hace que la visión sea irrelevante, pero la proporción ha cambiado: antes podía ser 80% visión y 20% sustancia; ahora es lo contrario. La visión da contexto y ambición, pero debe estar respaldada por logros demostrables. Esta mayor exigencia es una buena noticia para los proyectos con fundamentos sólidos, ya que filtra el ruido y permite que su señal genuina resuene con más fuerza. La pregunta clave es si la estrategia de comunicación está diseñada para probar el valor o solo para prometerlo.

链捕手06/25 06:24

La industria de la criptografía entra en la era de la "demostración": las meras visiones ya no bastan

链捕手06/25 06:24

活动图片