Noticias sobre AutoGraphForge

AutoGraphForge realiza la automatización de las conjeturas de la teoría de grafos desde la generación hasta el filtrado y las pruebas a gran escala a través de una tubería de circuito cerrado guiada por contraejemplos, lo que indica que el enfoque de la investigación matemática de IA está cambiando de "ayuda de prueba" a "ayuda de descubrimiento". La innovación clave de este sistema es utilizar 559 relaciones conocidas para filtrar conjeturas redundantes y ampliar la escala de verificación a 348.000 imágenes, haciendo que las conjeturas generadas automáticamente sean más creíbles y comprobables. Para los matemáticos y la investigación científica impulsada por la IA, esto significa que la etapa de adivinación que tradicionalmente se basa en la intuición está comenzando a obtener soporte informático escalable y reproducible.