Twitxy Saved

Jonathan Siddharth

Verified account This account is verified. Learn more

@Jonsid

Founder and CEO, Turing.

Accelerating Superintelligence on the Real-World Frontier.
Palo Alto, CA turing.com Joined November 2008
5K Following 8.2K Followers 8.2K Posts

Latest posts 5

Jonathan Siddharth Verified account @Jonsid
Carina and the @axiommathai team just machine-checked the longest proof humans ever wrote, in 24 days.

Along the way they surfaced a gap in a decades-old published argument.

Huge congrats @CarinaLHong!

As you once told me, the hardest problems for humanity are reasoning bound. You're proving it.
Axiom Verified account @axiommathai Oct 27
The largest math proof in human history is now computer-verified.

Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."

About 15,000 pages, built by over 100 mathematicians across generations.
View quoted post on X
0 replies 4 reposts 32 likes 4.2K views View on X
Jonathan Siddharth Verified account @Jonsid
Secret: 🤫 Turing is not a data company.

We're a data and deployment company, built for the real-world frontier.

The world wants models that do real work, not just win benchmarks. The best data is data that helps a model master real work. You only get that data from deployment, because that's where the real distribution lives.

Frontier labs and enterprises both need this loop to build superintelligence for the real world.

IRL is the new RL.
3 replies 7 reposts 52 likes 3.6K views View on X