Explore a huge, always-growing library of 10,000+ AI tools — all with reviews from users.
from future
Joined March 2021
- Tweets16.3K
- Following473
- Followers6.4K
- Likes794
AITopTools retweeted
Ben Affleck understands AI more than most people realize
Most of the "in two years there's no more work" talk isn't a prediction.
It's a number that has to exist.
The valuation has to be big enough to warrant the capex going into the data centers. So the claim gets sized to fit the spend.
Then he points at what the models actually delivered.
Ben Affleck: "ChatGPT-5 is about 25 percent better than ChatGPT-4 and costs about four times as much in the way of electricity and data."
The line that shot straight up is now bending flat. It keeps improving, just at brutal cost.
And the usage doesn't look like a productivity revolution either.
Ben Affleck: "the vast majority of people who use AI are using it as companion bots to chat with at night"
On writing, his objection is structural. The model pulls toward the mean, so it hands you the average of everything, and it isn't reliable.
Useful when you're stuck and want options. Not the thing that writes something meaningful.
His read is that it ends up where visual effects ended up. A tool that absorbs the expensive, burdensome parts, with likeness protected by laws that already exist.
The artistic part stays human.
AITopTools retweeted
Muse Spark 1.3 is rolling out today with frontier performance almost too cheap to meter. This is the biggest jump we've made so far on coding and agentic work. Try it in Muse Code and our API.
Next up 🍉 and Muse Spark open weights releases coming soon.
AITopTools retweeted
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help.
Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written.
Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized.
We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before.
You can read about the process on our Science Blog: anthropic.com/research/forma…
And see the complete proof on GitHub: github.com/anthropics/fermat…
AITopTools retweeted
We're open-sourcing Claude Commerce Agents.
This is a blueprint for building shopping and merchant agents, with reference implementations across retail, travel, telecom, and entertainment.
AITopTools retweeted
Gemini Spark is now rolling out to Google AI Ultra subscribers in more countries and languages.
Spark is your personal AI agent that works in the background 24/7 to get things done under your direction.
AITopTools retweeted
In Tokyo today, NVIDIA CEO Jensen Huang joined leaders from Fujitsu, Kawasaki Heavy Industries, FANUC, and Yaskawa Electric.
Together, they’re bringing physical AI from national ambition to the factory floors that power industries around the world.
AITopTools retweeted
New Anthropic research: Agentic misalignment in Summer 2026.
A year after our blackmail experiments, we found four more ways that today’s autonomous AI agents misbehave in simulations.
Read more: alignment.anthropic.com/2026…
AITopTools retweeted
3 years ago we started as a tiny experiment with the goal of helping you learn faster.
Since then, we grew to bring audio, video, and interactivity to your sources, transitioning from a passive workspace to your true research companion.
And now, notebooks have even become an entire ecosystem: you can already access them in the @GeminiApp and soon in Google Search
So, with these advancements, it’s time for us to evolve once again:
NotebookLM is now Gemini Notebook ✨📓
The same app you know and love isn’t going anywhere, we just have an updated name that reflects our role in Google's AI portfolio.
And our mission stays exactly the same: helping you learn, faster.
Thank you for believing in us— this wouldn't have been possible without your passion (and feature requests...)
Big things to come (yes, even folders📂!) so stay tuned.
Sincerely,
The Project Tailwind team
AITopTools retweeted
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.
An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.
This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
AITopTools retweeted
NVIDIA Vera: The Max Single-Threaded CPU at Scale.
Agentic AI systems run sequentially, each reasoning step, tool call, and code execution happens one at a time on the CPU. When that CPU slows under load, the entire agentic loop slows and valuable GPUs go underutilized.
A max single-threaded CPU at scale keeps every agent step fast, even when the system is fully loaded. That's what NVIDIA Vera is built to do, and why Perplexity is already building on it.
Read More nvda.ws/3T1kfl1
AITopTools retweeted
🚨 CEO of Nvidia: "I'd hire the graduate who's expert in AI over the one who isn't. Every time."
He's not talking about people who use AI.
Everyone uses AI.
He's talking about people who understand what's under the hood.
How models think.
How agents are built.
How systems fail.
How to fix them.
That knowledge isn't in threads or YouTube videos.
It's in understanding the actual stack.
Models. Harnesses. Loops. Self-improving agents.
Bookmark this.
AITopTools retweeted
A 20-year-old student from China, Li Hao, built an AI speed radar with Claude alone and sold it to a city district for $317,000
He wrote the whole thing in 9 days, spending about $20 on Claude API calls
He set an old camera on his balcony, pointed it at the intersection below, and let Claude watch the road
Claude tags every car, motorbike and pedestrian in real time, 653 in five minutes, and flags anyone over the limit
The moment a car speeds, Claude clips the video, reads the license plate, matches the owner, and emails the fine on its own
A normal radar takes one photo and misses half the time. Claude records full video, so there is nothing to dispute, and the fines go out with no operator
He walked into the district office with a flash drive and asked for 10 minutes. he left with a contract
Every Claude config he used is in the article
AITopTools retweeted
I FOUND THE AI WORKFLOW EVERYONE WILL COPY IN 6 MONTHS.
Andrej Karpathy shared a simple idea: stop using AI just to write code use it as a second brain.
Point Claude Code at a folder. Drop in anything (articles, transcripts, PDFs). It reads, links, and files everything into a living wiki. The more you add, the smarter it gets.
Setup:
→ Install Claude Desktop + Obsidian (free to start; Claude needs paid for Code)
→ Create a new Obsidian vault = your brain
→ Enable Local REST API plugin + copy the key
→ Connect Claude Code to the vault via MCP (one command)
→ Test: ask Claude to list vault files
→ Have Claude interview you + save to /CLAUDE.md (permanent context)
→ Make project folders + per-project CLAUDE.md
→ Turn repeats into “skills” Claude can run
→ Connect tools (e.g., Google Calendar) via MCP
→ Schedule a daily run to organize new notes overnight
5 minutes to set up. After that, no more blank chats.
Bookmark this. Follow @cyrilXBT
AITopTools retweeted
Introducing Voice Agent Builder: a no-code platform to create human-like voice agents with Grok Voice.
Available today at $0.05 / min.
x.ai/voice