Aún falta. Decepcionado de los LLMs actuales

 Los LLMs comerciales más difundidos son probabilísticos. Funcionan mediante redes neurales que ponderan una sucesión de tokens para calcular cuál es el token siguiente que tiene más sentido utilizar para que la frase tenga una ponderación total de connotación más ajustado a lo considerado como éxito. La tokenización es la operación que se utiliza para determinar el nivel de análisis sintáctico más adecuado para que operen las redes y se ponderen en su función las cadenas. La tokenización es uno de los cuellos de botella de la IA actual por diversos motivos. 

En Julio 2026 me encontré con algunas proposiciones que causaban bastantes problemas en mi ontología reísta bungeana-romeriana personal. Trabajando para restaurar la consistencia ajustada dentro de lo posible en un sistema de infinitas proposiciones, y que ya años atrás había dejado de lado la posibilidad de que tuviera una estructura axiomática en el sentido euclideano (ver sistematización cognoscitiva de Rescher), migré desde el reísmo estricto Bungeano a un procesualismo ontológico, suponiendo como verdadera la proposición de Gustavo Romero de que el procesualismo romeriano es equivalente al reísmo bungeano y que por lo tanto de podía seguir trabajando tranquilo en ese sistema. 

Entre septiembre y ahora casi octubre he estado leyendo el sistema de Lesniewski, dónde me enamoré del sistema prototético-ontológico-mereológico, pero que quise experimentar una sustitución de la notación, usando la de Łukasiewicz, que es más elegante y simple, aunque no tan geométrica y perfecta como la de Lesniewski. Jugué y probé ese sistema resultante (que Lesniewski hubiera a matarme), llegando a muchas proposiciones interesantes, muchas muy torpes y que otros autores de la escuela de leópolis-varsovia ya habían fundado de manera directamente científica y indeterminadamente más rigurosas y razonadas. 

¿Cómo se relaciona con el título todo eso?: ningún LLM actual me ha servido más que un papel y un lápiz o mi pizarra para estudiar este tipo de sistemas. Ni siquiera cuentan bien la cantidad de letras de una proposición tan simple como CCCpqCppCCCpppCCpfp o similares, sosteniendo que la proposición tiene 17 letras, otras veces 18, otras incluso 16, y ni hablar de la posición de cada una de las variables involucradas o de su status de tautología, contingencia o contradicción. Espero que mejoren pronto, así se podrán usar para acelerar el trabajo, disminuir el tiempo, o disminuir la cantidad de errores en las proposiciones metalógicas sobre este tipo de proposiciones.