Matthieu VM retweeted
Launch day – Timestral, a time-series foundation model. Go check it out: mistral.ai/news/timestral/
@nicknikolov and I got to contribute a nice interactive visualisation showcasing the model's capabilities.
Matthieu VM retweeted
Dusting off this tweet from April because this gap in shared understanding of LLM capability is *widening*. It's now less "two groups of people speaking past each other" and more a sharp funnel.
- Napkin math somewhere around 6B people (~75% of the population) have barely come in contact with LLMs at all.
- Around 1-2B (~20%) are casual and infrequent users of free-tier ChatGPT-like products. This group sees derpy chatbots and treats them a bit like a better Google search, a writing aid, or etc. Maybe an agent tries to book you a flight. I have non-tech friends who (reasonably, imo) say they have not much use for it at all. Even many professionals outside of math&code are in this tier. For example, execs and many other functions spend a lot of their time talking to other people, so while they understand what is happening intellectually, it is still second-hand and a bit abstract.
- Now we get to professional use of frontier-grade LLMs in math&code. Somewhere around 20M people (0.2%) see first-hand that large, complex projects that used to take them weeks/months can now be completed by agents with a prompt. Building apps, copying apps, translating apps, decompiling apps from binaries... This has all happened very quickly and recently - less than 1 year ago, I was writing code manually by hand, typing memorized computer code commands into a code editor character by character, occasionally pressing Tab to autocomplete a little chunk of code.
- And finally we get to the ~5,000 people (~0.00006%) with access to frontier-grade systems internally. The external world has seen the preview. It looks like swarms of thousands of agents collaborating over weeks on software mega projects: minting zero days, running cyber attacks and defenses at machine speeds, discovering new science, advancing the frontier of mathematics. Things that would have taken top professionals in the industry years of work. Meanwhile, human review and comprehension are starting to fall behind. For example, people are still involved in the "archeology" of the OpenAI-HF incident from many months ago. Mathematicians may be poring over the 722 manuscripts on frontier mathematics for a while.
The funnel is driven by a combination of factors:
1. The impact scales with ambition, problem size, and horizon. A question with a paragraph answer barely stresses the system. You need a reservoir of big, difficult problems that you really care about. This aspect drives the consumer / professional dimension of the funnel.
2. The jaggedness of the system (which I have written about a lot separately). Capability peaks in domains that are digital, verifiable and economically valuable. This is because LLM capability emerges from reinforcement learning on verifiable rewards on a curated environment mixture driven by revenue potential. This aspect primarily drives the area (e.g. math&code) dimension of the funnel.
3. Access. Free-tier, paid-tier, internal.
So this is the weirdness of the moment. The general public has mostly not interacted with these systems. When they have, it looks like a derpy chatbot. The majority of professionals still see only a modest uplift. And a small sliver of professionals are experiencing the vertigo of the curve going vertical. And it is all happening at the same time.
Judging by my tl there is a growing gap in understanding of AI capability.
The first issue I think is around recency and tier of use. I think a lot of people tried the free tier of ChatGPT somewhere last year and allowed it to inform their views on AI a little too much. This is a group of reactions laughing at various quirks of the models, hallucinations, etc. Yes I also saw the viral videos of OpenAI's Advanced Voice mode fumbling simple queries like "should I drive or walk to the carwash". The thing is that these free and old/deprecated models don't reflect the capability in the latest round of state of the art agentic models of this year, especially OpenAI Codex and Claude Code.
But that brings me to the second issue. Even if people paid $200/month to use the state of the art models, a lot of the capabilities are relatively "peaky" in highly technical areas. Typical queries around search, writing, advice, etc. are *not* the domain that has made the most noticeable and dramatic strides in capability. Partly, this is due to the technical details of reinforcement learning and its use of verifiable rewards. But partly, it's also because these use cases are not sufficiently prioritized by the companies in their hillclimbing because they don't lead to as much $$$ value. The goldmines are elsewhere, and the focus comes along.
So that brings me to the second group of people, who *both* 1) pay for and use the state of the art frontier agentic models (OpenAI Codex / Claude Code) and 2) do so professionally in technical domains like programming, math and research. This group of people is subject to the highest amount of "AI Psychosis" because the recent improvements in these domains as of this year have been nothing short of staggering. When you hand a computer terminal to one of these models, you can now watch them melt programming problems that you'd normally expect to take days/weeks of work. It's this second group of people that assigns a much greater gravity to the capabilities, their slope, and various cyber-related repercussions.
TLDR the people in these two groups are speaking past each other. It really is simultaneously the case that OpenAI's free and I think slightly orphaned (?) "Advanced Voice Mode" will fumble the dumbest questions in your Instagram's reels and *at the same time*, OpenAI's highest-tier and paid Codex model will go off for 1 hour to coherently restructure an entire code base, or find and exploit vulnerabilities in computer systems. This part really works and has made dramatic strides because 2 properties: 1) these domains offer explicit reward functions that are verifiable meaning they are easily amenable to reinforcement learning training (e.g. unit tests passed yes or no, in contrast to writing, which is much harder to explicitly judge), but also 2) they are a lot more valuable in b2b settings, meaning that the biggest fraction of the team is focused on improving them. So here we are.
Matthieu VM retweeted
Wow this happened quickly, I didn't even realize it.
AWS embedded DuckDB into Aurora Postgres so now you can query Iceberg and Parquet seamlessly.
aws.amazon.com/blogs/aws/ama…
Matthieu VM retweeted
Alert: Apple just dropped a new model on Hugging Face.
It's a Qwen3.5-9B finetune that turns long documents into small page images to save tokens, then pulls up the full text of only the pages relevant to your question 💡
huggingface.co/apple/LensVLM…
Today, @ducklabs_com is joining @awscloud. The move is expected to be completed by early September.
Joining AWS gives DuckLabs the resources and reach to bring DuckDB, DuckLake, and the Quack protocol to many more developers and organizations – and to pursue ideas at a scale that would have been difficult for us to reach alone.
The DuckLabs team will remain together in Amsterdam and will continue working for the Duck Stack community as an AWS subsidiary.
Most importantly, #DuckDB and the other open source components of the Duck Stack will remain free and open source under the MIT license, with the non-profit DuckDB Foundation continuing its stewardship of the projects.
This is a significant moment for DuckLabs and the Duck Stack community. It marks the end of one chapter that we are immensely proud of, and the beginning of another that we believe will take DuckDB much further.
Read the full announcement here: ducklabs.com/ducklabs-is-joi…
#AWS
Matthieu VM retweeted
The Maxwell conjecture is false. Counterexample found by AI (GPT-5.6 Sol), communicated by human mathematicians: arxiv.org/abs/2607.27197
Matthieu VM retweeted
Announcing @Revoy’s $27M Series A
Diesel is expensive. But long-haul EV semis are even more expensive! Today we’re launching the United States’ first hybrid electric, cost-competitive long-haul freight network.
You don’t see it on your credit card statement, but the average American spends $1,270/year on long-haul freight. Diesel prices at the pump are outrageous today: rising on both international price shocks and increasing domestic shale oil costs. And pure EV semis are somehow even more expensive to operate. We need a better solution, and Ian Rust @semiautonomy figured it out. Revoy’s unique powered converter dolly lets us drop diesel usage by 95% and efficiently replace it with low-cost electricity.
After two years of demonstrations and iterative improvements, we’re now taking the unique Revoy vehicle that we design and manufacture, and launching our hybrid-electric freight network with a select set of carriers. Shippers can reduce diesel consumption immediately on Revoy’s network without having to convince legacy carriers to convert their fleets, and without any investment in new infrastructure or equipment.
We’re starting in the Pacific Northwest, with additional lanes planned.
What if you could make an electric exoskeleton for a diesel truck? I had great fun talking to Revoy's @reinpk & Ian Rust. Gift link to the full story: bloomberg.com/news/features/…
Let me expand upon this 🔽 and say something about AIs, mathematics, proofs, conjectures, problem-solving, goalposts, paperclips, genii and, more importantly, Campbell/Goodhart's law. 🧵⤵️ •1/38
Great blog post and an opportunity to try Apple new Container instead of docker
new post: how I develop recently using local models. the tooling is now good enough to do agentic workflows and everyone should give them a try!
vickiboykis.com/2026/06/15/r…
Matthieu VM retweeted
Rare sight. A French Canadair water bomber scoops water from the Seine, 50 km from Paris, to support firefighters battling a wildfire in the Fontainebleau Forest. via @Ant01ne
new post: how I develop recently using local models. the tooling is now good enough to do agentic workflows and everyone should give them a try!
vickiboykis.com/2026/06/15/r…
Matthieu VM retweeted
Today on the blog, we discuss a pathway for the second life of phones through the exploration of “phone cluster computing”, which can directly reduce the environmental footprint of computing by avoiding the need for further raw material extraction. More →goo.gle/4aJe5vO
Matthieu VM retweeted
DiffusionGemma is out 🔥
it's compute-bound so 4x faster compared to other Gemma-4 models (1k tok/s on H100) 💨
also great on coding, generate and iterate on any code from 3D generation to front-end ⤵️
A collection of skills for ML experimentation in Python, organized around skrub, scikit-learn, and skore and more broadly to the PyData ecosystem.
github.com/probabl-ai/skills
Matthieu VM retweeted
We’ve automated every single thing we can @every with AI agents.
And yet there’s way more human work to do than ever. We’ve gone from 4 -> 30 human employees since GPT-3.
I wrote a report on the structural reasons: how AI makes expert competence cheap, why that drives up demand for experts, and why the dynamic only intensifies as we approach AGI.
After Automation: every.to/p/after-automation
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.
An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.
This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
Matthieu VM retweeted
Apple Vision Pro gains wheelchair control, on-device speech recognition and vehicle motion cues.
We have not yet arrived at WWDC yet Apple unveils huge new accessibility features powered by Apple Intelligence and reveals Vision Pro functions that will change lives. The Vision Pro remains the most remarkable machine I've ever seen or heard of. It is S tier.
asymco.com/2026/05/19/apple-…
Matthieu VM retweeted
We’re releasing a 30B-A3B reasoning model that reaches gold-medal level across both physics and math Olympiad evaluations: IPhO directly, and IMO/USAMO with test-time self-verification and refinement.
A simple, unified scaling recipe for proof search.
huggingface.co/papers/2605.1…






























