Tim Kendall retweeted
Time to push for the frontier with the best team to ever do it. Come join us.
General Intuition CEO @pimdewitte, who's building foundation models trained on video game controller input data ("action-labeled gameplay clips"), says general intelligence won't "taste like an LLM":
"We have a scale of data that's going to allow us to jump to the frontier in one capability — which is any system that can be controlled with a game controller (which is most robots) — and then, you can use that to create a sufficiently general intelligence."
"As humans, the decision to talk or type is a very, very small subset of the actions that we can actually take."
"So in order to create a sufficiently general intelligence to play 10,000+ video games, the model has to be able to predict across the entire action space of human cognition when they're interacting with these environments. Which are 2D and 3D environments, interfaces, long-horizon tasks, short-horizon tasks, [etc.]."
"It has to be a sufficiently general intelligence in order to predict actions. Therefore, the type of model you get out is not going to taste like an LLM. This model is going to be incredibly good at navigating unforeseen environments. It's going to be incredibly good at zero-shotting any task that can be done with a game controller."
Tim Kendall retweeted
We're excited to announce a $4M Seed round led by @GameChangersVC, with support from incredible investors including @scooterbraun, @GuyOseary, @stellation, @SignalFire, @MaCVentureCap, and others.
A few years ago, while hosting community events and testing early products, my co-founders @WeilynChong, @NathanAhn, and I noticed a consistent pattern.
After every event, people asked the same questions:
Where are the photos? Who captured that moment? How do I reconnect with the people I met?
fortune.com/2026/06/16/photo…
Tim Kendall retweeted
Today we're announcing the new Opal to build the operating system for attention.
1 million people already use Opal every single day. We raised $10M.
Personal AGI is coming. The bottleneck won't be access to intelligence.
It will be attention.
This app has transformed my workflow. Also a proud back of Naveen and the company.
xitter.cf/extradotemail/status/1…
Tim Kendall retweeted
Apollo is spinning out from fiscal sponsorship into a PBC.
We are increasing our efforts in frontier AI safety research, evals and governance. Additionally, we are spinning up a product team to build AGI safety products starting with AI agent monitoring.
Tim Kendall retweeted
Next week we'll have a major announcement to share with more information about the team, the mission, and our new purpose-built, general reasoning model emphasizing prediction power and discovery - and how we will empower deployment of AI autonomy in critical systems where this is currently impossible.
Follow us and CEO @evelovesolive for more.
Tim Kendall retweeted
Tim Kendall retweeted
Continuous Human Verification Protocol (CHVP) is the backbone of Alien
The idea behind it is to verify that someone is a human, privately. It's an open protocol that uses all known trustless methods for identity verification. We realized early on that there is no ideal solution that could meet all 4 criteria: privacy of user data, decentralization, uniqueness, and easy UX for global adoption
CHVP is in its early stage of Phase 0 of the network and is the logical evolution to enable trust online in the age of AI
Tim Kendall retweeted
We are beyond thrilled to share our first flagship models, Rnj-1 base and instruct 8B parameter models. Rnj-1 is the culmination of 10 months of hard work by a phenomenal team, dedicated to advancing American SOTA OSS AI.
Lots of wins with Rnj-1.
1. SWE bench performance close to GPT 4o.
2. Tool use outperforming all comparable open source models.
3. Mathematical reasoning (AIME’25) nearly at par with GPT OSS MoE 20B.
….
Today, we’re excited to introduce Rnj-1, @essential_ai's first open model; a world-class 8B base + instruct pair, built with scientific rigor, intentional design, and a belief that the advancement and equitable distribution of AI depend on building in the open.
We bring American open-source at par with the best in the world.
Tim Kendall retweeted
🚀 Aleph prover just went BEAST MODE
4 math problems unsolved for 20+ years. Formal proofs in Lean 4. Less than 48 hours. Under $5k total.
✅ Binomial tail bounds conjecture (Telgarsky, 2009)
✅ Quantum gate lattice approximation (Greene & Damelin, 2015)*
✅ Erdős 124
✅ Erdős 481
✅ #1 on PutnamBench leaderboard
The era of AI mathematics is here.
Special thanks to @BorisHanin and @ylecun for helping bring this to life 🙏
And massive kudos to the @LeanFRO team — none of this is possible without the incredible foundation you've built.
Aleph will be soon available to the public, stay tuned!
*conditional on results from Sardari (2015), formalization pending
Tim Kendall retweeted
Our Aleph prover agent just hit #1 on PutnamBench, a benchmark built from Putnam problems - one the hardest college-level math olympiad - fully formalized with machine-checked proofs and no human involvement. Putnam problems are often considered harder than IMO problems and span a wide range of topics, including calculus, number theory, group theory, and other core areas of mathematics.
This is strong evidence that AI can handle deep, multi-step reasoning with correctness guarantees — the same kind of technology we’re using to verify real software, hardware, and scientific discoveries that require formal logic.
Tim Kendall retweeted
We just tested Aleph prover on this version of Erdos #124 problem and were able to prove it in less that 2.5 hours and under $200 in cost: gist.github.com/winger/a2c27…
xitter.cf/vladtenev/status/19949…
We are on the cusp of a profound change in the field of mathematics. Vibe proving is here.
Aristotle from @HarmonicMath just proved Erdos Problem #124 in @leanprover, all by itself. This problem has been open for nearly 30 years since conjectured in the paper “Complete sequences of sets of integer powers” in the journal Acta Arithmetica.
Boris Alexeev ran this problem using a beta version of Aristotle, recently updated to have stronger reasoning ability and a natural language interface.
Mathematical superintelligence is getting closer by the minute, and I’m confident it will change and dramatically accelerate progress in mathematics and all dependent fields.
Tim Kendall retweeted
Introducing Extra. Email will never feel the same again.
Join the Beta waitlist at extra.email.
Tim Kendall retweeted
My new project with Pinterest cofounder Evan Sharp, Tangle.com. (Still invite only for now.)
Tim Kendall retweeted
OMG it finally works!! 🚀🚀🚀
I got @OpenAI to draft emails 📧 for me in the background 🤯
This christmas I built an email assistant (EmailTriager.com) that automatically drafts email replies behind the scenes
no chrome extension necessary, here's the story 👇
Tim Kendall retweeted
We’re thrilled to announce open registration! This means you can sign up w/o an invite at Pinterest.com. Happy pinning to everyone!




















