Miguel Jimenez Sola (@MiguelFJimenezS) header
Miguel Jimenez Sola (@MiguelFJimenezS) profile picture

Melilla / Málaga / London. Head of AI Services at Yoti

London, England
Joined October 2018
Photo by Miguel Jimenez Sola (@MiguelFJimenezS)Photo by Miguel Jimenez Sola (@MiguelFJimenezS)Photo by Miguel Jimenez Sola (@MiguelFJimenezS)Photo by Miguel Jimenez Sola (@MiguelFJimenezS)Photo by Miguel Jimenez Sola (@MiguelFJimenezS)Photo by Miguel Jimenez Sola (@MiguelFJimenezS)Photo by Miguel Jimenez Sola (@MiguelFJimenezS)Photo by Miguel Jimenez Sola (@MiguelFJimenezS)Photo by Miguel Jimenez Sola (@MiguelFJimenezS)Photo by Miguel Jimenez Sola (@MiguelFJimenezS)
Miguel Jimenez Sola retweeted
💙 Día de Melilla 2026 Hoy más que nunca, orgullosos de ser melillenses, españoles y europeos; de nuestra tierra, nuestra historia y de pertenecer a la mejor nación del mundo, España. ¡Viva Melilla! ¡Viva España! 🇪🇸🇪🇺 #529AñosJuntos
48
403
28
1,487
24,999
Miguel Jimenez Sola retweeted
What makes solving Navier-Stokes important? Fluid dynamics affects more than you realize in your everyday life. This breakthrough — if it is true — gives you: Cheaper, safer flying and driving. Air over a wing or around a car is a Navier-Stokes problem. Better control of that flow means less drag, so planes and trucks burn less fuel, stay quieter, and stall less often. Weather you can actually plan around. Storms, jet streams, and ocean currents are giant fluid problems. Sharper turbulence physics is one of the remaining limits on hurricane tracks, heat waves, and flood forecasts. That is the difference between “maybe evacuate” and a clear warning. Hearts, stents, and artificial valves. Blood is a fluid. Doctors already simulate flow through arteries and implants from CT/MRI scans. A more reliable theory of swirling, high-speed blood flow would help design stents, heart valves, and aneurysm treatments that work better. Cleaner power from wind and turbines. Wind hitting a turbine blade, steam inside a power plant, and fuel mixing in an engine are all the same equations. Better models mean more electricity from the same wind farm and engines that waste less fuel Ships, pipes, and dirty air. Oil in a pipeline, water in city mains, smoke over a city, and waves slamming a hull all follow Navier-Stokes. Better predictions cut leaks, pump energy, and help track pollution after a spill or wildfire. Many other everyday effects: buildings, sports, and rain. The same math decides whether a skyscraper sways in a gale, why a dimpled golf ball flies farther, how air moves through a house’s vents, and even how raindrops form in clouds. Those are not abstract puzzles; they are why planes fly, forecasts exist, and a stadium roof doesn’t peel off. None of this happens instantly because of a math problem solution by AI. But everything that does happen is going to help engineer a better life for all of us. This is big.
Solving Navier-Stokes is a real leap. Out of all the math problems AI has cracked so far, this is the first one that could actually help humanity in practice. Before this, AI was mostly brute-forcing one or two Erdős problems out of 1,200 with raw AI compute, and solving those didn't really change much for the real world. We are accelerating. Get ready to keep up.
Readers added context they thought people might want to know
This result proves Navier-Stokes solutions can develop singularities (break down) in finite time under specific conditions, per the Millennium math problem. It yields no established gains in turbulence prediction, engineering, forecasts or medicine. openai.com/index/navier-s… claymath.org/millennium-pro… physics.stackexchange.com/questions/8756…
71
820
150
6,022
814,477
Fascinating. Things are accelerating quite rapidly.
Yes, this result cost millions of dollars. But remember that when @OpenAI announced o3 it cost ~$500,000 to score 87.5% on ARC-AGI 1. Today, Astra scores higher for ~$20. In 2025 it took us and GDM an enormous amount of compute to achieve IMO gold. For the 2026 IMO, anyone with a $20/month ChatGPT subscription could do it. Massively scaling test-time compute gives us a glimpse of the future. I believe that a year from now everyone will have an AI at their fingertips capable of solving problems of this caliber.
1
28
Miguel Jimenez Sola retweeted
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.
5,647
19,999
14,813
119,777
75,418,916
Miguel Jimenez Sola retweeted
Agree with @JensenHuang: we’re entering the AGI era. The AGI era must also be the alignment era. We need to teach AI to love humanity and train AI monitors as capable as the AIs they supervise. Said best by @merettm in this thoughtful, sobering piece: openai.com/index/an-alien-mi…
GPT-6 Astra, trained on ~100K+ NVIDIA Grace Blackwell NVLink72. From ChatGPT to o1 to Astra in 4 years. AGI has arrived. Congratulations @OpenAI team. 400K GPUs coming online next.
116
125
16
1,477
166,532
Miguel Jimenez Sola retweeted
GPT-6 Astra is state-of-the-art on FrontierMath Tier 4, ARC-AGI 3, and TerminalBench-4.0. GPT‑6 Astra is also a major advance for scientific discovery, with state-of-the-art performance on Terminal-Bench Science 0.1 and HealthBench Pro.
205
1,091
1,035
10,258
5,381,065
Miguel Jimenez Sola retweeted
A new star enters the Chat. Meet GPT-6 Astra.
857
1,656
490
22,809
1,893,318
Miguel Jimenez Sola retweeted
Of all the use cases for GPT-6 Astra, I'm most excited for scientific discovery. We at @OpenAI have not pushed it to its limits on math and science. I look forward to waking up every morning and seeing what new scientific breakthrough someone has made with this model!
New OpenAI repo with a Lean formalization by GPT-6-Astra proves that there are infinitely many pairs of consecutive primes whose distance is at most 186 github.com/openai/PrimeGaps1…
107
177
19
2,630
313,714
Miguel Jimenez Sola retweeted
Ceuta no se vende, Ceuta se defiende 🇪🇸
487
9,894
175
44,854
889,864
Miguel Jimenez Sola retweeted
Es feria en Málaga, días de diversión, folklore y fiesta. Los vientos ayer soplaron de poniente. Se veían las costas de África. En Ceuta no ha habido feria, ni diversión, ni folklore, ni fiesta. Allí hay confusión, miedo y pena, mucha pena y desamparo. Desde el corazón un pensamiento de cariño y esperanza para los ceutíes.
356
3,875
105
14,433
235,638
Miguel Jimenez Sola retweeted
Today, we’re launching Alpamayo 2 Super, our frontier open reasoning model for autonomous vehicles. Beyond seeing, Alpamayo understands and reasons through the complex world - thinks before it acts. It’s a powerful backbone for robotaxis, trucks, shuttles, delivery vans, tractors and the long tail of mobile robots—billions of autonomous machines someday. We’re releasing it for commercial use under OpenMDW-1.1 so teams can inspect it, fine-tune it and deploy it—open models advance safety and security. The next wave of AI is robotics—and it starts with autonomous vehicles. Great work, Alpamayo team! blogs.nvidia.com/blog/alpama…
1,098
1,833
522
15,574
2,153,209
Miguel Jimenez Sola retweeted
📢Meet Qwen3.8-Max — our most capable model to date. Next week, the open weights of Qwen3.8-Max will be released, and Qwen3.8-27B is also going open-weights to meet you all!🎉 Qwen3.8-Max, a new bar for coding and cowork at 2.4T parameters: - Autonomous coding: 10+ days of self-evolving development, from empty folder to production without hand-holding, complete project trace in the GitHub:github.com/qwen-code-dev-bot… - Real work, real results: Production-quality deliverables across hundreds of professions. - Long-horizon mastery: System-level autonomous planning with closed-loop adaptive learning, driving 500+ turns of chip design optimization and 365 days of e-commerce strategy. - Native multimodal intelligence: Vision isn't just input — it's a continuous feedback loop for planning, execution, and self-correction. 💰Pricing: Input: $2.0 / M tokens Output: $6.0 / M tokens Implicit Caching: $0.25 / M tokens Start building with Qwen3.8-Max! 🚀 📖 Blog: qwen.ai/blog?id=qwen3.8 ✅ Qwen Studio: chat.qwen.ai/?models=qwen3.8… ⚡ API: qwencloud.com/models/qwen3.8…
1,226
2,778
1,982
22,523
7,266,059
Estimado ministro, la información no es cierta. Estoy segura que desde @interiorgob le contarán la cruda realidad que vivimos a esta hora en nuestros barrios.
La práctica totalidad de quienes entraron en Ceuta han vuelto ya a Marruecos. No es posible trasladarse de Ceuta y Melilla a la Peninsula sin identificarse en un control de policía. La integridad del espacio Schengen está absolutamente garantizada. Basta de confusión interesada
384
1,968
339
7,647
807,490
Miguel Jimenez Sola retweeted
For my first post, I’m sharing a letter @NVIDIA signed on why open models matter. AI will transform every industry, power every company, and be built by every country. Open models strengthen safety and cybersecurity, accelerate innovation and diffusion, and enable sovereignty. The world needs both frontier closed models and frontier open models. images.nvidia.com/pdf/Open-W…
15,937
29,168
10,956
171,085
66,581,265
⭐️⭐️ ¡¡𝗦𝗢𝗠𝗢𝗦 𝗕𝗜𝗖𝗔𝗠𝗣𝗘𝗢𝗡𝗘𝗦 𝗗𝗘𝗟 𝗠𝗨𝗡𝗗𝗢!! #VamosEspaña | #CopaMundialFIFA
6,022
90,031
5,583
266,426
11,899,103
Miguel Jimenez Sola retweeted
Fable 5 isn't nerfed, it's SLAUGHTERED. the problem isn't even the model itself, but the hard guardrails Anthropic has set in place.
FABLE 5 CAME BACK NERFED. We re-ran the July 1st version of Claude Fable 5 on BridgeBench. The results are brutal: Debugging: 86.2 → 25.9 Refactoring: 73.6 → 38.4 Hallucination: 75.9 → 61.7 The new guardrails are kicking in on way too many tasks and falling back to Opus 4.8. This is not the model that got banned. Anthropic owes everyone an explanation.
301
484
222
5,577
2,176,990
Miguel Jimenez Sola retweeted
Fable 5 is back.
4,240
10,979
5,015
89,950
17,355,661
Miguel Jimenez Sola retweeted
Introducing a limited preview of GPT-5.6 Sol, our next generation frontier model, as well as GPT-5.6 Terra, a balanced model for efficient, everyday work, and GPT-5.6 Luna, a fast and affordable model for high-volume work. openai.com/index/previewing-…
3,522
5,578
5,316
39,751
18,960,016
Miguel Jimenez Sola retweeted
The US government, citing national security authorities, has issued an export control directive to suspend all access to Fable 5 and Mythos 5 by any foreign national, whether inside or outside the United States, including foreign national Anthropic employees. The net effect of this order is that we must abruptly disable Fable 5 and Mythos 5 for all our customers to ensure compliance. Access to all other Claude models is not affected. We apologize for this disruption to our customers. We believe this is a misunderstanding and are working to restore access as soon as possible. Read our full statement: anthropic.com/news/fable-myt…
12,125
25,008
28,881
86,562
93,525,944