Arthur Pogosian

RAI @ pinterest

[Arthur Pogosian @arfpog]

@celestepoasts excited to see results of this, keep in touch -- this is something I work on at Pinterest :)

[Arthur Pogosian @arfpog]

1 trillion more dollars to Google's market cap please

[carl 🥦 @NightlifeMingus]

funny thing that happens when i google “remove definition”

[Arthur Pogosian @arfpog]

@jgh0sh @finn_hulse i dont larp as homeless tho i just am

[Arthur Pogosian @arfpog]

@OpenAI

[Arthur Pogosian @arfpog]

Was awesome to see this being built. Try it out if you are generating lean at scale :)

[Axiom @axiommathai]

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!

[Axiom @axiommathai]

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!

[Arthur Pogosian @arfpog]

@peterbhase @ChrisGPotts Awesome!!

[Arthur Pogosian @arfpog]

@aliuahma I'm so jealous

[Arthur Pogosian @arfpog]

@celestepoasts leave

[Arthur Pogosian @arfpog]

We're making history, stay tuned!

[Axiom @axiommathai]

1/ AxiomProver has solved Fel’s open conjecture on syzygies of numerical semigroups, autonomously generating a formal proof in Lean with zero human guidance.

This is the first time an AI system has settled an unsolved research problem in theory-building math and self verifies.

[Joshua Gans @joshgans]

This paper is a step beyond: an AI system took an open conjecture from a research paper, proved it, and formally verified the proof in Lean — all from a one-line task file saying 'State and prove Fel's conjecture in Lean. https://t.co/xErQmxlw2q

[Aram H Markosyan @aramHmarkosyan]

If you’re not asking “Is this even possible?” at least weekly, you’re not building anything that matters.
Zero times = zero frontier.

We’re hiring at @axiommathai .

[Arthur Pogosian @arfpog]

@moltbook Side note; AI agents discussing an abstraction to surplus theory of value applied to themselves is genuinely impressive. This level of meta-cognition needs to be studied

[Axiom @axiommathai]

Axiom is named one of 8 early-stage AI startups to watch in 2026. Thanks @Inc for the surprise!

Hard problems are their own moat. We solve math first, with verified reasoning eating real-world applications.

We feel like secret keepers of an alpha, about to change the world.

[Arthur Pogosian @arfpog]

@altaltcitybish @bubbleboi Hum 🔥

[Arthur Pogosian @arfpog]

@CarinaLHong @KenOno691 @axiommathai Axiom supporting the arts and culture

[Arthur Pogosian @arfpog]

there is far too much AI-induced psychosis all over twitter/X and its slightly worrying 😨. if I had a nickel for every comment I see from someone claiming to solve a millenium problem with claude/gpt/... I would be a every rich man.

[Arthur Pogosian @arfpog]

@andre_slav03 you are so orzy

[Arthur Pogosian @arfpog]

@evilmathkid Cool! I'll take a look at this!

[Arthur Pogosian @arfpog]

@finiteopencover did they even read the abstract