
CTO @ @slate_iq. Previously: Founder/CTO of @connect4_app, @TrendyCoders @SecretStatusApp @lengo_ads. CPO at @cognism
London
Joined November 2007
- Tweets7K
- Following4.4K
- Followers754
- Likes15.4K
Ben Ritchie retweeted
I got early access to Project Genie from @GoogleDeepMind ✨
It's unlike any realtime world model I've tried - you generate a scene from text or a photo, and then design the character who gets to explore it.
I tested dozens of prompts. Here are the standout features 👇
Ben Ritchie retweeted
Axiom sets out to build an AI mathematician.
We are the underdog.
4 months old, 2 years late to the game, under 10 FTEs (recently grew to 17), and had 1:5 in funding and in valuation to our competitor.
Today, AxiomProver solved Erdos Problems #124 and #481 in Lean, a 100% verifiable language.
Onwards!
Ben Ritchie retweeted
My God. Each pair of shoes is a child's life.
Ben Ritchie retweeted
Sam Altman says he’s less interested in replacing coders (100% automation) — and more focused on making them 10x more productive. That could happen this year.
Ben Ritchie retweeted
Gemini 2.5 Pro is taking off 🚀🚀🚀
The team is sprinting, TPUs are running hot, and we want to get our most intelligent model into more people’s hands asap.
Which is why we decided to roll out Gemini 2.5 Pro (experimental) to all Gemini users, beginning today.
Try it at no cost at gemini.google.com
📣 Today, we’re introducing Gemini 2.5, our most intelligent AI model.
An experimental version of Gemini 2.5 Pro is available now in the Gemini app for Gemini Advanced users: gemini.google.com/app
Let’s get into this update ⬇️🧵
Ben Ritchie retweeted
Replying to @elonmusk
Isn’t bribing people to vote a certain way election fraud?
Ben Ritchie retweeted
🚨 BREAKING: Trump just signed an executive order in a federal power-grab of state elections, forcing states to adopt his rules, or risk losing funding. It’s one of the most extreme attempts to centralize power over elections in U.S. history.
democracydocket.com/news-ale…
Ben Ritchie retweeted
Gemma 3 is here! Our new open models are incredibly efficient - the largest 27B model runs on just one H100 GPU. You'd need at least 10x the compute to get similar performance from other models ⬇️
Ben Ritchie retweeted
Three years ago today, Russia launched an unprovoked, brutal invasion of Ukraine. A few short weeks later, @KarenPence and I travelled with @SamaritansPurse and witnessed firsthand the flood of women and children fleeing the Russian onslaught near the Ukrainian border. We will never forget it.
Every day since, Ukrainian soldiers have bravely fought and died on this front line of freedom and the American people and our Allies have rightly given them the means to defend their nation. As Leader of the Free World, America must continue to Stand Strong and lead free nations to give Ukraine the support they need to win a victory for their sovereignty, security and freedom. Slava Ukraini🇺🇸🇺🇦
Ben Ritchie retweeted
Here is Europe. We have happily paid three times as much to Ukraine as the USA. We are not asking for anything in return and we are not extorting the Ukrainians while they are fighting for their lives. Because we are not assholes.
Ben Ritchie retweeted
Putin started a war that killed hundreds of thousands -- but you will never hear even one ounce of modest criticism of Putin from certain people.
It's REALLY strange huh?
Ben Ritchie retweeted
Trump announced for the first time the actual figures of US aid to Ukraine: America provided $67 billion in military aid and $31.5 billion in direct budget support.
So the total amount of US aid to Ukraine is less than $100 billion, and not $350 billion, as Trump previously stated.
And why did Trump lie before?
Oh yes, that's his nature.
Ben Ritchie retweeted
Replying to @elonmusk @KonstantinKisin
Why haven't you stated a word about the 20 year seasoned dictator of Russia or his meaningful elections? You have not mentioned Putins role even remotely.
Ben Ritchie retweeted
🚨AI SOLVES SUPERBUG MYSTERY IN 2 DAYS—SCIENTISTS TOOK 10 YEARS
A groundbreaking AI tool by Google just cracked a complex antibiotic resistance problem in 48 hours—a discovery that took Imperial College London microbiologists a decade to prove.
Professor José R. Penadés, who led the research, was stunned when AI independently arrived at the same conclusion—despite his findings being unpublished and unavailable online.
Professor José R. Penadés:
“It’s not just that it found the right answer—it gave us 4 more hypotheses, including one we never even considered.”
Scientists now believe AI could revolutionize medical research, accelerating breakthroughs in ways previously unimaginable.
Source: BBC
Ben Ritchie retweeted
I was given early access to Grok 3 earlier today, making me I think one of the first few who could run a quick vibe check.
Thinking
✅ First, Grok 3 clearly has an around state of the art thinking model ("Think" button) and did great out of the box on my Settler's of Catan question:
"Create a board game webpage showing a hex grid, just like in the game Settlers of Catan. Each hex grid is numbered from 1..N, where N is the total number of hex tiles. Make it generic, so one can change the number of "rings" using a slider. For example in Catan the radius is 3 hexes. Single html page please."
Few models get this right reliably. The top OpenAI thinking models (e.g. o1-pro, at $200/month) get it too, but all of DeepSeek-R1, Gemini 2.0 Flash Thinking, and Claude do not.
❌ It did not solve my "Emoji mystery" question where I give a smiling face with an attached message hidden inside Unicode variation selectors, even when I give a strong hint on how to decode it in the form of Rust code. The most progress I've seen is from DeepSeek-R1 which once partially decoded the message.
❓ It solved a few tic tac toe boards I gave it with a pretty nice/clean chain of thought (many SOTA models often fail these!). So I upped the difficulty and asked it to generate 3 "tricky" tic tac toe boards, which it failed on (generating nonsense boards / text), but then so did o1 pro.
✅ I uploaded GPT-2 paper. I asked a bunch of simple lookup questions, all worked great. Then asked to estimate the number of training flops it took to train GPT-2, with no searching. This is tricky because the number of tokens is not spelled out so it has to be partially estimated and partially calculated, stressing all of lookup, knowledge, and math. One example is 40GB of text ~= 40B characters ~= 40B bytes (assume ASCII) ~= 10B tokens (assume ~4 bytes/tok), at ~10 epochs ~= 100B token training run, at 1.5B params and with 2+4=6 flops/param/token, this is 100e9 X 1.5e9 X 6 ~= 1e21 FLOPs. Both Grok 3 and 4o fail this task, but Grok 3 with Thinking solves it great, while o1 pro (GPT thinking model) fails.
I like that the model *will* attempt to solve the Riemann hypothesis when asked to, similar to DeepSeek-R1 but unlike many other models that give up instantly (o1-pro, Claude, Gemini 2.0 Flash Thinking) and simply say that it is a great unsolved problem. I had to stop it eventually because I felt a bit bad for it, but it showed courage and who knows, maybe one day...
The impression overall I got here is that this is somewhere around o1-pro capability, and ahead of DeepSeek-R1, though of course we need actual, real evaluations to look at.
DeepSearch
Very neat offering that seems to combine something along the lines of what OpenAI / Perplexity call "Deep Research", together with thinking. Except instead of "Deep Research" it is "Deep Search" (sigh). Can produce high quality responses to various researchy / lookupy questions you could imagine have answers in article on the internet, e.g. a few I tried, which I stole from my recent search history on Perplexity, along with how it went:
- ✅ "What's up with the upcoming Apple Launch? Any rumors?"
- ✅ "Why is Palantir stock surging recently?"
- ✅ "White Lotus 3 where was it filmed and is it the same team as Seasons 1 and 2?"
- ✅ "What toothpaste does Bryan Johnson use?"
- ❌ "Singles Inferno Season 4 cast where are they now?"
- ❌ "What speech to text program has Simon Willison mentioned he's using?"
❌ I did find some sharp edges here. E.g. the model doesn't seem to like to reference X as a source by default, though you can explicitly ask it to. A few times I caught it hallucinating URLs that don't exist. A few times it said factual things that I think are incorrect and it didn't provide a citation for it (it probably doesn't exist). E.g. it told me that "Kim Jeong-su is still dating Kim Min-seol" of Singles Inferno Season 4, which surely is totally off, right? And when I asked it to create a report on the major LLM labs and their amount of total funding and estimate of employee count, it listed 12 major labs but not itself (xAI).
The impression I get of DeepSearch is that it's approximately around Perplexity DeepResearch offering (which is great!), but not yet at the level of OpenAI's recently released "Deep Research", which still feels more thorough and reliable (though still nowhere perfect, e.g. it, too, quite incorrectly excludes xAI as a "major LLM labs" when I tried with it...).
Random LLM "gotcha"s
I tried a few more fun / random LLM gotcha queries I like to try now and then. Gotchas are queries that specifically on the easy side for humans but on the hard side for LLMs, so I was curious which of them Grok 3 makes progress on.
✅ Grok 3 knows there are 3 "r" in "strawberry", but then it also told me there are only 3 "L" in LOLLAPALOOZA. Turning on Thinking solves this.
✅ Grok 3 told me 9.11 > 9.9. (common with other LLMs too), but again, turning on Thinking solves it.
✅ Few simple puzzles worked ok even without thinking, e.g. *"Sally (a girl) has 3 brothers. Each brother has 2 sisters. How many sisters does Sally have?"*. E.g. GPT4o says 2 (incorrectly).
❌ Sadly the model's sense of humor does not appear to be obviously improved. This is a common LLM issue with humor capability and general mode collapse, famously, e.g. 90% of 1,008 outputs asking ChatGPT for joke were repetitions of the same 25 jokes. Even when prompted in more detail away from simple pun territory (e.g. give me a standup), I'm not sure that it is state of the art humor. Example generated joke: "*Why did the chicken join a band? Because it had the drumsticks and wanted to be a cluck-star!*". In quick testing, thinking did not help, possibly it made it a bit worse.
❌ Model still appears to be just a bit too overly sensitive to "complex ethical issues", e.g. generated a 1 page essay basically refusing to answer whether it might be ethically justifiable to misgender someone if it meant saving 1 million people from dying.
❌ Simon Willison's "*Generate an SVG of a pelican riding a bicycle*". It stresses the LLMs ability to lay out many elements on a 2D grid, which is very difficult because the LLMs can't "see" like people do, so it's arranging things in the dark, in text. Marking as fail because these pelicans are qutie good but, but still a bit broken (see image and comparisons). Claude's are best, but imo I suspect they specifically targeted SVG capability during training.
Summary. As far as a quick vibe check over ~2 hours this morning, Grok 3 + Thinking feels somewhere around the state of the art territory of OpenAI's strongest models (o1-pro, $200/month), and slightly better than DeepSeek-R1 and Gemini 2.0 Flash Thinking. Which is quite incredible considering that the team started from scratch ~1 year ago, this timescale to state of the art territory is unprecedented. Do also keep in mind the caveats - the models are stochastic and may give slightly different answers each time, and it is very early, so we'll have to wait for a lot more evaluations over a period of the next few days/weeks. The early LM arena results look quite encouraging indeed. For now, big congrats to the xAI team, they clearly have huge velocity and momentum and I am excited to add Grok 3 to my "LLM council" and hear what it thinks going forward.
Ben Ritchie retweeted
Wasn’t our fault but we fixed it anyways. Deep research is now live in the EU and UK!
































