Sabitlenmiş Tweet
simon
208 posts
simon
@nautsimon_
FMTS @AxiomMath | prev PyTorch/MTIA @meta | @uchicago 24'
San Francisco Katılım Şubat 2017
474 Takip Edilen244 Takipçiler
simon retweetledi
1/ The Ramanujan’s tau-function is a deep number theoretic object. It produces integers τ(n) from the Fourier expansion of the modular form discriminant.
When is it prime?
AxiomProver autonomously made progress on this mystery in Lean: Assuming abc, τ(n) misses 100% of primes.
English
simon retweetledi
Mathematics is often decades or centuries ahead of scientific applications from Non-Euclidean Geometry (early 1800s) -> General Relativity (1915) or Manifold learning (1800s) to modern ML (today). But, with new AI tools, this gap could close.
Axiom aims to not only increase the pace of discovery in mathematics adding more tools to the toolbox, but also leverage the underlying structure of mathematics to improve and indeed act as a substrate for reasoning in future AI models.
Excited to see where this goes, and ~especially excited~ that Simon Mahns who worked with our group is on the founding technical staff. 💜
Carina Hong@CarinaLHong
Excited to announce Axiom’s Series A. We raised $200 million fresh capital at a $1.6 billion+ valuation in a round led by Menlo Ventures to accelerate our strong execution momentum — extending our lead in formal math into Verified AI. Mathematicians and theoretical scientists dream up theories, formulate hypotheses. They then come up with proofs, a two-step process of discovery. We created Axiom to turn the sparks of curiosity into known truths - and to compress the timeline of breakthroughs. The Verified AI dream is a generalization of this dream. It is more than providing safeguards for mission-critical systems. This same gap between expert intuitions and the machinery needed for grounding exists today in any domain where the generation-verification iteration loop can be tighter. And yes, software eats the world, recursive self-improvement is a near sight. Verified AI is not about hallucinations, what’s lousy; instead, it’s about superintelligence, the brilliant. We work on Verified AI not due to a distrust in technology, but rather, we think the rapid advances of AI compels it. I’m grateful to work with and learn from the best team in the world. It’s not an easy journey, but climbing with you is what makes it worth it. And can’t wait to build with a more accelerated speed - nod to @shubho for grounding an ambitious vision in relentless execution everyday. This round was led by @mkraning with @CCgong. Thanks also to existing investors who doubled down for your conviction since the start (@jturow, @mattmcilwain of @MadronaVentures; @marcievu of @greycroftvc; @yanda, @IdaGirma, @nickgiometti of @BCapitalGroup; @ChrisAbshire_ of @Toyota_Ventures; @xtzhou, @jhuber of @TriatomicCap) and the new firms who we got to meet through the process.
English
simon retweetledi
Axiom launched six months ago with one conviction: mathematics is the right foundation for building systems that reason.
Today we announce Axiom's Series A.
We raised $200M at a $1.6B+ valuation, led by @MenloVentures, to extend our lead in formal mathematics into Verified AI.
English
simon retweetledi
1/ RELEASING AXLE: the Axiom Lean Engine ⚙️
We are serving our core Infrastructure for formal proving at scale.
These are the same Lean metaprogramming tools that are behind AxiomProver, powering it to win Putnam and crack open research conjectures.
Available to anyone today!
English
@Woah_Vickyy @realDonaldTrump rothchilds did the same thing to me the other day
English
Crazy how @realDonaldTrump heard I longed more at 176 and is trying everything in his power to liquidate ME🤦♂️ Sorry to everyone who’s feeling the pain.
Already told this goofy my average entry is 110 and I’m not levered but you gotta respect the lengths they go just to get ME
English
We have @deepseek_ai OCR free for folks to try out. just go to app.wafer.ai 🐳
English
You can’t do anything with 125-140 IQ, Greg. 125-140 is a nightmare. Dumbest smart person alive. The world’s least impressive autist. The most mediocre former gifted kid on the planet.
taoki@justalexoki
125-140IQ is probably the worst IQ you could have. literally anything else is better
English
@Woah_Vickyy its tied to # of members of uchicago blockchain club actually
English
Been working non-stop these last 2 weeks.
I finally understand what it means when people say "you think you're going hard but you could always go harder." Pause lol.
Anyways, as a quick update, @ucblockchain is now set up to be the smartest org at @UChicago🤷♂️
English
The first time I saw the Haka, I thought it was cool.
Then I realized they do it to disrupt proceedings any time they have a minor objection over something.
I now view it as the political Maori equivalent of a temper tantrum.
Steve Laws 🏴@Steve_Laws_
Imagine thinking you can have a democracy when half the Parliament are third worlders.
English
1/n: ml code is slow!
profiling tools are scattered and broken.
today, we’re introducing a way to VIBE-PROFILE your machine learning models. 😎
check out @keysandcaches
English
Awesome project and still more to come :)
Prophet Arena@ProphetArena
🔮 Introducing Prophet Arena — the AI benchmark for general predictive intelligence. That is, can AI truly predict the future by connecting today’s dots? 👉 What makes it special? - It can’t be hacked. Most benchmarks saturate over time, but here models face live, unseen future events. You can’t memorize tomorrow (unless you’ve cracked time travel). - It’s interpretable. Strong performance = real foresight, which translates into real investment gains. 👉 Check it out: prophetarena.co
English
