Ben Ritchie (@synthapy) header
Ben Ritchie (@synthapy) profile picture

CTO @ @slate_iq. Previously: Founder/CTO of @connect4_app, @TrendyCoders @SecretStatusApp @lengo_ads. CPO at @cognism

London
Joined November 2007
Photo by Ben Ritchie (@synthapy)Photo by Ben Ritchie (@synthapy)Photo by Ben Ritchie (@synthapy)Photo by Ben Ritchie (@synthapy)Photo by Ben Ritchie (@synthapy)Photo by Ben Ritchie (@synthapy)Photo by Ben Ritchie (@synthapy)
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 👇
78
163
51
1,776
230,170
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!
43
66
11
800
126,393
Ben Ritchie retweeted
My God. Each pair of shoes is a child's life.
Today in Utrecht a grim milestone was marked; for the 2nd year in a row, a Dutch activist group laid out children’s shoes & read aloud the names & ages of the children who have been killed by the Israelis in Gaza. Today they read 19k names. It took almost 6 hours.
278
9,144
63
32,587
929,145
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.
90
113
74
1,722
306,614
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 ⬇️🧵
224
614
164
4,972
1,740,605
Replying to @elonmusk
Isn’t bribing people to vote a certain way election fraud?
282
196
10
6,029
123,435
🚨 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…
6
15
16
3,130
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 ⬇️
303
801
241
8,724
1,118,125
Russian bot on Twitter exposed …
394
6,211
733
20,125
701,371
In case you missed it
118
1,271
103
3,725
162,531
Best one yet 🤣💀
3,410
21,567
3,583
129,234
5,401,680
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🇺🇸🇺🇦
5,337
11,147
704
72,035
1,967,634
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.
7,542
12,483
792
61,365
3,037,555
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?
This is my personal account and these are my personal views. Zelensky’s thugs killed an American citizen and I’m not going to stop being pissed off about it. You don’t like it, stop following.
40
473
136
9,318
2,106,164
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.
5,563
9,197
748
41,874
1,892,350
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.
5
7
140
4,708
🚨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
196
528
68
2,802
227,731
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.
656
2,162
681
16,587
3,736,579
Ben Ritchie retweeted
no thank you but we will buy twitter for $9.74 billion if you want
11,409
16,810
6,025
217,141
33,768,413
Ben Ritchie retweeted
Wasn’t our fault but we fixed it anyways. Deep research is now live in the EU and UK!
Replying to @sama
unless you live in europe/the uk, but that’s not our fault :(
74
174
11
1,312
595,414