Leonel Pineda

Quant & PhD en Computación. Matemática rigurosa y computabilidad aplicadas a problemas financieros complejos. De los límites teóricos a la práctica en mercados.

[Leonel Pineda @LeonelPineda_]

Si buscas fórmulas mágicas o respuestas fáciles, estás en el lugar equivocado.

Soy Leonel Pineda: PhD en Computación y grado en Historia (Suma Cum Laude). Aplico matemáticas avanzadas y modelos algorítmicos a los mercados financieros.

Abro hilo 🧵👇

[Leonel Pineda @LeonelPineda_]

La «supremacía» en IA no existe. Llamarla así es ignorar que un modelo no razona: solo comprime datos según la complejidad de Kolmogorov y busca un mínimo local para funcionar. La matemática no entiende de retórica política ni de egos; solo de límites computacionales.

[Donald J. Trump @realDonaldTrump]

Many people think that the words “Artificial Intelligence” are inaccurate, and very ineloquent, relative to AI, or Artificial Intelligence. A far more elegant and accurate description of this new phenomena would be Superior Intelligence (SI) or, Extreme Intelligence (EI) or, Supreme Intelligence (SI). This is a Poll, and I would appreciate everybody voting! Which is the best name for this ever growing “Revolution?” President DONALD J. TRUMP

[Leonel Pineda @LeonelPineda_]

La Tesis de Church-Turing es el mapa de la razón algorítmica. Nos permite razonar sobre los límites del software del futuro sin importar el hardware. Marca el origen de la teoría computacional y el horizonte definitivo para la inteligencia artificial.

[Leonel Pineda @LeonelPineda_]

La Tesis de Church-Turing no es un teorema que se demuestre; es la frontera de la realidad computacional. Postula que cualquier algoritmo o procedimiento paso a paso existente es reducible a una Máquina de Turing. Define el límite absoluto de lo ejecutable.

[Leonel Pineda @LeonelPineda_]

La convergencia entre el Cálculo λ de Church y las máquinas de Turing establecieron la definición natural de "algoritmo". El Problema de la Parada nos recuerda el límite: existen preguntas lógicas cuya solución jamás podrá ser programada.

[Leonel Pineda @LeonelPineda_]

@Realgeopolitica Tranquilo: desde los años 30, los padres de la computación (Turing, Gödel) demostraron que las máquinas tienen límites matemáticos. No pueden calcularlo "todo". Hay problemas no computables que pertenecen exclusivamente a los seres humanos.

[Leonel Pineda @LeonelPineda_]

Los LLM no "piensan", solo interpolan puntos sobre lo que leyeron.

Resolver un Problema del Milenio exige crear herramientas matemáticas que NO existen en sus datos. Los humanos seguimos siendo los unicos capaces de crear e inventar. La ciencia exige creatividad, no compresión.

[Dr Alexander D. Kalian @AlexanderKalian]

If true, OpenAI autonomously solving the Navier-Stokes Millennium Problem would have ground-breakingly demonstrated out-of-distribution reasoning in LLMs.

Sadly, it's likely plagiarised.

Millennium Problems almost certainly require approaches beyond in-distribution existing methods or "connecting the dots" between papers.

Millennium Problems likely require entirely new techniques, analyses, or even branches of mathematics to be devised - i.e. strongly OOD approaches.

LLMs are however notoriously bad at OOD reasoning and creative ingenuity.

... as is GenAI in general.

OOD reasoning - i.e. reliably venturing far beyond the scope of training data - is a critical problem across all AI algorithms available in 2026.

So when OpenAI announced that they had solved a Millennium Problem, I was naturally extremely shocked...

... I was willing to accept partial defeat as a sceptic on AI overhype, and seismically shift my current research-grade understanding of AI.

Well... nope.

The plagiarism accusations raised are significant - alleging that the bulk of the work was stolen from the private Codex chats of mathematicians Tristan Buckmaster and Levent Alpöge.

Given strong OOD pain points in LLMs, no major published breakthroughs in overcoming them, the published evidence from Buckmaster, and previous bad conduct of frontier AI labs regarding IP, privacy etc...

Occam's razor seems to favour the misconduct explanation.

So no, we are not in a "math singularity" or "RSI".

LLMs have made plenty of progress in mathematics, but now are hitting hard walls in problems that require OOD reasoning rather than in-distribution "connecting the dots".

Elite human researchers still beat LLMs, on creative ingenuity.

And the only ways that LLMs can so far "overcome" this, is by plagiarising those elite human researchers.

[Leonel Pineda @LeonelPineda_]

@Blafereiande23 No confundas a los matemáticos con OpenAI. A los matemáticos les importa la verdad; a OpenAI, cuanto valdrán en la siguiente ronda de inversión. Su modelo de negocios es empaquetar promesas científicas para asegurar capital. Es pura publicidad. Por eso incluso robaron la idea.

[Leonel Pineda @LeonelPineda_]

Celebrar Navier-Stokes vende titulares. El problema no es la existencia en papel, sino inventar matemáticas para explicar la turbulencia real más allá de aproximaciones estocásticas. Cuando sus modelos diseñen esa matemática sin fundir la VRAM, me avisan.

[OpenAI @OpenAI]

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.

[Leonel Pineda @LeonelPineda_]

@sebastianjose__ Añadir más chips no resuelve la turbulencia. Kolmogorov demostró que la disipación en microescalas escala exponencialmente y satura cualquier hardware. La IA es útil para cálculos masivos, pero no reemplaza la creatividad humana para crear teorías.

[Leonel Pineda @LeonelPineda_]

@Sammoga123 OpenAi dice demostrar la existencia de una singularidad matemática, pero eso soluciona el acertijo teórico ideal, no el caos de la turbulencia en la vida real. Es confundir demostrar un teorema con resolver la simulación física.

[Leonel Pineda @LeonelPineda_]

@anonimo_9038 Quien no distingue entre un axioma y un teorema cree que la física se resuelve "escalando GPUs". Un video de IA solo imita superficies; la turbulencia real exige entender la física interna no descubierta. Estudia Matemáticas antes de confundir un render con la realidad.

[Leonel Pineda @LeonelPineda_]

Aquí comparto mis algoritmos, pruebas de backtesting y reflexiones teóricas.

Si te interesa la verdad dura de las matemáticas aplicadas al mundo real, bienvenido. Sígueme y activa la campana 🔔.

[Leonel Pineda @LeonelPineda_]

Si buscas fórmulas mágicas o respuestas fáciles, estás en el lugar equivocado.

Soy Leonel Pineda: PhD en Computación y grado en Historia (Suma Cum Laude). Aplico matemáticas avanzadas y modelos algorítmicos a los mercados financieros.

Abro hilo 🧵👇

[Leonel Pineda @LeonelPineda_]

3.- Desmontando mitos en computación y trading. El 90% de lo que vende el "crypto-twitter" o la gente de sistemas corporativa se cae al aplicar álgebra lineal, análisis matemático y combinatoria básica.

[Leonel Pineda @LeonelPineda_]

Monarquía y democracia en la práctica dependen de la clase social que manda. La nobleza se mueve por honor, tradición y linaje; la burguesía, por viveza, influyentísimo y compadrazgo.

[Mαr Mounier 🌐 @elhigadodmarita]

OJO:
Esto SOLO se refiere a una auténtica monarquía católica, no a remedos de monarquías, masónicas, disfrazadas de católicas:

Recuerda: el ataque es desde el nivel preternatural caído (demonios-anticristos), operando en el nivel natural (hombre) para herir al orden sobrenatural (Dios).