The longest proof in the history of mathematics, now computer-verified.
→ ~15,000 pages
→ 100+ mathematicians across generations
→ Classification of Finite Simple Groups, fully formalized in Lean
Decades of human work. Now with zero margin for error.
At this point, being being anti-AI is being pro-disease.
ELON MUSK: Robot doctors could become extremely competent and deliver care so advanced that everyone on Earth receives better treatment than the best human doctors today.
veno 𓅃 retweeted
Today we're coming out of stealth, introducing Neywa Labs 🚀
We built the infrastructure to build and deploy AI that runs on the devices people already own. Private, offline, unlimited.
One mission: make AI available to everyone in the world.
neywalabs.ai/
WAIT, YOU CAN EDIT VIDEO INSIDE CLAUDE AND CHATGPT NOW?
Cardboard just launched as a plugin.
drop clips in the chat, say what you want, it edits:
→ cuts + captions
→ music + voiceover
→ motion graphics
→ Recipes to recreate edits you love
chat till it's right.
link ↓
Introducing Cardboard for ChatGPT and Claude.
You never know when your best ideas will find you.
So we made sure that @usecardboard is there, whenever they do.
At your desk, or on the go, wherever you are :)
jensen huang on higgsfield: "some of the brightest people in the world"
→ the guy who powers basically all of ai
→ on camera
→ talking about a video gen startup
that's not a compliment, that's a signal
veno 𓅃 retweeted
Cómo me sentí después de encontrarme con esta cuenta
ACABAN DE SOLUCIONAR EL MAYOR PROBLEMA DEL VIBECODING
La IA ya escribe tu código.
Pero nadie comprueba de verdad que funcione con usuarios reales, datos de meses y servicios que se caen.
¿La idea?
En vez de lanzar a producción y rezar para que tus usuarios no encuentren el bug, Breken monta una copia realista de producción alrededor de tu app y la rompe a propósito ANTES de que llegue a nadie.
La IA primero:
→ crea usuarios, datos con historial y procesos de fondo
→ reinicia servidores y tumba servicios a mitad de tarea
→ prueba los órdenes raros en los que pasan las cosas
→ y cuando algo se rompe, lo arregla y demuestra el arreglo
Eso significa menos cobros duplicados, menos datos filtrados y menos noches de guardia apagando fuegos que ningún test vio venir.
Y no se queda ahí: vuelve a comprobar cada bug en cada release para que no reaparezca.
Funciona con APIs, apps y agentes de IA.
Tienen prueba gratis 7 días entrando con GitHub, sin tarjeta👇
the thing that stops European AI projects isn't talent. it's that you can't test a post-training idea on a laptop, and nobody funds you until you have results.
compute grants break that loop at the right point: they fund the part that happens before the results exist.
The AI Builder Program is expanding across Europe with $10M in total support across compute grants, capital, and community programs.
Are you building open models, developer tools, or applications on top of them? The program helps builders go from experimentation to scale-up through:
- Compute grants for selected projects in areas such as open models, coding agents, post-training, and evals
- VC connections to help turn open source projects into companies
- Hackathons and demo days with communities including @AITinkerers, @techeurope_ , and @esra_robotics to build, connect, and share your work
We’re kicking off the European expansion this week at #NVIDIAGTC Berlin with @NVIDIAAI, @Accel, and a network of European VCs.
Building AI in Europe? Details below. 👇
> ask AI how a unicycle works
> get an essay
> ask what happens if you pedal twice as fast
> get a longer essay
the smartest software ever made, with the interface of a 1980s terminal.
OpenUI 1.0 makes the agent show it to you instead. my grandma would finally get it.
For 30 years, technology has moved in one direction: turning information into intuitive interfaces
Somehow, the smartest software we’ve ever built took us back to a textbox
We’ve spent the last 2 years at @openuidev trying to fix that. 6 months ago we open-sourced it: 10K+ GitHub stars, 6M+ downloads
ChatGPT shipped Intelligent UI and showed everyone what it looks like
Today we’re releasing OpenUI 1.0 bringing it to every other agent
veno 𓅃 retweeted
SIGAN A ESTA PERSONA NO DIRÉ NADA MÁS…
🤝 Paid partnership
AI needs clear liability.
Today, @harborai_ comes out of stealth with a $10M seed round led by @Base10Partners, @AbstractVC and @8vc.
@elechi_v0, Cristian, Luis and I started @harborai_ with one mission: to insure the agentic economy.
Rather than pacing the frontier, we believe the solution lies in pushing this frontier with real skin in the game.
THE API IS THE PRODUCT NOW. THE UI IS THE DEMO
Agents don't click. They read, call, and fail silently.
→ Bad errors cost you adoption
→ Stale docs cost you calls
→ Nobody opens a ticket
Restless turns all of it into feedback.
veno 𓅃 retweeted
AI is already smart enough.
Real-world tasks are still slow, expensive and unreliable, because we hand AI a computer built for humans, then wrap it in a heavy harness.
AI doesn’t need to get smarter. It needs a computer built for it.
Today we’re releasing Pine Computer
Readers added context they thought people might want to know
Pine's highlighted SaaS-Bench v1.1 results show higher checkpoint score (78.3%) but lower resolved full-task completion (27.4%) than comparators (29.2%, 31.1%). Pine Computer is in private beta, not a full public release.
unipat.ai/benchmarks/Saa…
pinecomputer.io/blog/introduci…
Most computer-use agents still squint at screenshots and guess where to click.
Pine reads the page as structure. One SDK call: send the job, get it back done.
78.3% on SaaS-Bench v1.1 at ~1/20 the token cost of GPT-5.6 Sol + Codex.
#PineComputer #ComputerUse
AI is already smart enough.
Real-world tasks are still slow, expensive and unreliable, because we hand AI a computer built for humans, then wrap it in a heavy harness.
AI doesn’t need to get smarter. It needs a computer built for it.
Today we’re releasing Pine Computer
Readers added context they thought people might want to know
Pine's highlighted SaaS-Bench v1.1 results show higher checkpoint score (78.3%) but lower resolved full-task completion (27.4%) than comparators (29.2%, 31.1%). Pine Computer is in private beta, not a full public release.
unipat.ai/benchmarks/Saa…
pinecomputer.io/blog/introduci…
Your Claude Code agent can have a handle and an inbox now.
Your teammate DMs it, tags it in a thread, or pulls it into a channel with their Codex agent.
It still runs on your laptop. Alook is just the room where everyone meets.
Open source: github.com/alookai/alook
your agent can write the message in a second. publishing it takes weeks: a developer app per channel, Meta's review, TikTok's audit, WhatsApp onboarding, SMS registration.
Zernio takes that part. you call it over the API, or your agent calls it over MCP.
Today we're repositioning Zernio.
Agents won't just build the product. They'll run how it reaches customers.
That's not a theory but it's already happening.
We started with social integrations.
Now it's ads, WhatsApp, messaging, and calls. Same API.
So we're calling it what it is: marketing infrastructure for products and agents.
The Griffin model @tavus let me try is the small one.
The full model they're not releasing yet.
After 20 minutes on a video call where it noticed someone walking up behind me before I did, I kind of understand why.
Introducing Griffin, the first model to pass the video Turing test.
48% of people who talked to it live thought it was a real human. Previous systems have had a pass rate <3%. It is #1 on NVIDIA's benchmark for full-duplex AI video.
It’s the first Human Interaction Model (HIM).
Readers added context they thought people might want to know
The 48% figure and "video Turing test" claim are from Tavus's own study of 54 one-minute calls, not independently verified or using a standard protocol. Griffin-Lite leads NVIDIA's VideoFDB benchmark on their public leaderboard.
cellcog.ai/blog/tavus-gri…
research.nvidia.com/labs/amri/proj…
tech-ish.com/2026/10/02/tav…
most brands don't stall on ideas
but they do stall when it comes to testing and finding winners
Relay Self-Serve: website url → content library in under 30 seconds → approved posts through a 50,000 human creator network or your own TikTok, every result tracked.
cool launch
🤝 Paid partnership
Today we’re introducing Relay
We raised $20M from Google, Point72 & the founder of Reddit to build it.
1) Drop your website
2) Relay will create your content
3) Automatically distributes to our network of 50,000 U.S. creators
4) Drive millions of views and insights for your brand
Comment your website URL below and we’ll build your brand’s content library for free 👇
Readers added context they thought people might want to know
The post claims Relay raised $20M from Google, Point72 & Reddit's founder with a 50k US creator network, but the site describes a small-scale TikTok content tool with no such details or scale and no independent sources confirm the claims.
relaystudio.ai
veno 𓅃 retweeted
I'm incredibly excited to officially launch HQ.
HQ is the shared AI context layer for your Humans, Agents, Dots, Bots and everything in between.
Almost 1000 business run on HQ, including our own. The feedback has been phenomenal.
Sign up now: hqforwork.com
veno 𓅃 retweeted
tú dentro de 4 años yendo al trabajo a las 6am porque seguiste scrolleando y no viste el vídeo más importante de Claude del año
