new openai api compatible webserver for llama-cpp-python
- /v1/responses api (w codex cli support)
- continuous batching
- structured response parsing (auto tools, reasoning)
- multimodal support (images, audio)
video: gemma 4 12b running in codex on amd ai max desktop
Andrei retweeted
We've partnered with SpaceXAI to train Grok 4.5.
It’s our most powerful model yet and the first we've built for more than software engineering.
Andrei retweeted
llama.cpp recently added DFlash support to its speculative decoding arsenal. Along with MTP, Eagle3 and various ngram-based techniques, the local model performance takes another step up.
Special thanks to NVIDIA team and Ruixiang Wang specifically for leading this effort!
github.com/ggml-org/llama.cp…
Andrei retweeted
Hi there 👋
We're building macOS infrastructure for agents, developers and CI systems. Here's a quick demo showing how we're using Fuji to empower our @cursor_ai background agents.
shoutout to Aman for all the amazing work adding multi-token prediction support to llama.cpp
still experimental which is why this isn't in the main python api yet but should be soon
teapawt.org/osanseviero/status/206…
Gemma 4 MTP just got officially merged into llama.cpp
This means you can use Gemma 4 QAT + MTP for a lightweight + super fast setup. Excited to see what the community builds with it
github.com/ggml-org/llama.cp…
check out the server here: github.com/abetlen/llama-cpp…
you can run it as a uv script with the pre-compiled wheels:
git clone github.com/abetlen/llama-cpp…
cd llama-cpp-python/examples/server
uv run \
--index abetlen.github.io/llama-cpp-…{cpu,metal,cu125,vulkan,rocm,etc} \
--script server.py -C configs/gemma-4-12b-it-qat.json
ps: i want to thank @julien_c and @reach_vb for supporting the project and open source in general from huggingface and openai
Andrei retweeted
Gemma 4 MTP just got officially merged into llama.cpp
This means you can use Gemma 4 QAT + MTP for a lightweight + super fast setup. Excited to see what the community builds with it
github.com/ggml-org/llama.cp…
btw you can run Gemma 4 QAT using llama.cpp in a T4 Google Colab notebook (link in reply)
Andrei retweeted
llama.cpp adds MTP for the Qwen3.6 family
This is a significant milestone for the local AI ecosystem. The performance jump with these changes is massive and elevates local inference on commodity hardware further.
Special thanks to Aman Gupta for leading this development!
github.com/ggml-org/llama.cp…
Andrei retweeted
llama.cpp at 100k stars
now that 90% of the code worldwide is being written by AI agents, I predict that within 3-6 months, 90% of all AI agents will be running locally with llama.cpp 😄
Jokes aside, I am going to use this small milestone as an opportunity to reflect a bit on the project and the state of AI from the perspective of local applications. There is a lot to say and discuss and yet it feels less and less important to try to make a point. Opinions about viability of local LLMs are strongly polarized, details are overlooked, the scientific approach is lacking. Arguments are predominantly based on vibes and hype waves.
One thing is clear though - local LLMs are used more and more. I expect this trend to continue and likely 2026 will end up being one of the most important years for the local AI movement.
I admit that I didn't expect the agentic era to come so quickly to the local LLM space. One year ago, the available models were too computationally expensive for doing long-context tasks. There wasn't an obvious path towards meaningful agentic applications. The memory and compute requirements were huge. Last summer, with the release of gpt-oss, things started to change. It was the first time we saw a glimpse of tool calling that actually works well within the resource constraints of our daily devices. Later in the year, even better models were released and by now, useful local agentic workflows are a reality.
Comparing local vs hosted capabilities at a given moment of time is pointless. To try put things into perspective:
- We don't need frontier intelligence to automate searches and sending emails
- We don't need trillion parameter models to be able to summarize articles or technical documents
- We don't need massive GPU data centers to control our home appliances or turn the lights off in the garage
I believe that there is a certain level of intelligence we as humans can comprehend and meaningfully utilize to improve our working process. Beyond that level, access to more intelligence becomes unnecessary at best and counterproductive at worst. I also believe that that level of useful artificial intelligence is completely within reach locally and it has always been just a matter of implementing the right software stack to bring it to the end user.
With llama.cpp, I am confident that we continue to be on the right track of building that software stack!
The llama.cpp project is going stronger than ever. With more than 1500 contributors, the project keeps growing steadily.
From technical point of view, I think that llama.cpp + ggml is the only solution that actually makes sense. That is, the software stack must run efficiently on every possible device, hardware and operating system. The technology is too important to be vendor-locked. It has to be developed in the open, by the community, together with the independent hardware vendors. This is the only right way to build something that will truly make a difference in the long run.
I won't try to convince you about what is currently and will be possible with local AI. We will just continue to build as usual. I am confident that after the smoke clears and we look objectively at what we have built together, the benefits will be obvious to everyone.
Big shoutout to all llama.cpp maintainers. I feel extremely lucky to be able to work together with so many talented contributors. Every day I learn something new and I feel there is so much more cool stuff that we are going to build. Also, I am really thankful that the project continues to have reliable partners to support it!
Cheers!
Andrei retweeted
🚨 We're open-sourcing Druids, a library for coordinating and deploying coding agents across machines.
Our beta users have used Druids to work on open math problems, conduct ML "autoresearch," and make software faster.
Andrei retweeted
This past July, @AlexKontorovich and Terry Tao announced progress of a “medium” Prime Number Theorem proof, which was a very exciting result. However, it faced technical difficulties in complex analysis related to the Riemann zeta function, which has been notoriously tricky for Lean.
Today I’m very glad to announce a ~25K line Lean proof of a “strong” Prime Number Theorem, by establishing the classic zero-free region for the Riemann zeta function.
Github: github.com/math-inc/strongpn…
Woohoo!! The "Medium" strength Prime Number Theorem was just proved in @leanprover Lean: (the bottom node in the picture is Green)
The main `MediumPNT` file is about 8000 lines of code, which uses a big `ZetaBounds` file with around 4000 lines of code, and another ~1000 lines for residue calculus on rectangles.
It was remarkably fun to collaborate with dozens of people, the vast majority of whom I've never met (and likely will never meet; some are math students, others are, e.g., software engineers doing some Mathlib just for fun on the weekends...), and knowing with *certainty* that their contributions are solving the tasks I set out. Quite a model for large scale math projects!
Andrei retweeted
Gauss is entering beta testing with select mathematicians.
🔗 Blog: math.inc/gauss
🔗 GitHub: github.com/math-inc/strongpn…
🔗 Early access: math.inc/early-access
Andrei retweeted
Today we're announcing Gauss, our first autoformalization agent that just completed Terry Tao & Alex Kontorovich's Strong Prime Number Theorem project in 3 weeks—an effort that took human experts 18+ months of partial progress.
really happy to announce i'm in sf now fulltime on an o1 visa!
thank you @jessemhan @morph_labs and @lisawehden for making this happen
also, a big thank you to @natfriedman @PhilCulliton and @julien_c
Incredibly proud of this work by the @morph_labs team!
This quoted post is unavailable.
Andrei retweeted
A mathematical paper autoformalized for the first time: amazing work by @morph_labs, presented today at the Big Proof conference by @jdlichtman and @jessemhan.
I am very impressed by the blazing fast progress of the morph team. Especially by @LeyanPan and @critic_model.
This quoted post is unavailable.
























