Carina Hong's banner

Carina Hong

@CarinaLHong • 16,944 subscribers

@axiommathai : https://t.co/Qzh4GiCCXU

Shorts

Axiom sets out to build an AI mathematician. We are the underdog. 4 months old, 2 years late to the game, under 10 FTEs (recently grew to 17), and had 1:5 in funding and in valuation to our competitor. Today, AxiomProver solved Erdos Problems #124 and #481 in Lean, a 100% verifiable language. Onwards!

Axiom sets out to build an AI mathematician. We are the underdog. 4 months old, 2 years late to the game, under 10 FTEs (recently grew to 17), and had 1:5 in funding and in valuation to our competitor. Today, AxiomProver solved Erdos Problems #124 and #481 in Lean, a 100% verifiable language. Onwards!

125,853 görüntüleme

Videos

Anya Rossi

sweetdream.ai

SweetDream.ai•Sponsored•Livecam

Watch Anya Live

Anya is streaming live right now! Join her private show and enjoy exclusive content.

Exclusive private shows

1.2k viewers online

Private Show

Join now for exclusive access

Free preview available • Premium content

Today, I am launching Axiom At Axiom, we are building a self-improving superintelligent reasoner, starting with an AI mathematician.

Today, I am launching Axiom At Axiom, we are building a self-improving superintelligent reasoner, starting with an AI mathematician.

1,262,443 görüntüleme • 10 ay önce

AxiomProver keeps getting stronger. And Axiom keeps growing. I'm excited to share that Prof. Ken Ono Ken Ono has joined Axiom as Founding Mathematician and FTE #15. He left his tenured position as STEM Advisor to Provost at UVA to build an AI mathematician with us. Here's Ken's story. (1)

AxiomProver keeps getting stronger. And Axiom keeps growing. I'm excited to share that Prof. Ken Ono Ken Ono has joined Axiom as Founding Mathematician and FTE #15. He left his tenured position as STEM Advisor to Provost at UVA to build an AI mathematician with us. Here's Ken's story. (1)

574,645 görüntüleme • 8 ay önce

Introducing Axiom's discovery team: Alberto Alfarano Alberto's path runs from the IMO → trading → training AI to crack a 130-year-old conjecture. He found new Lyapunov functions while no general algorithm existed before. AI for math discovery redefines the boundary of human minds.

Introducing Axiom's discovery team: Alberto Alfarano Alberto's path runs from the IMO → trading → training AI to crack a 130-year-old conjecture. He found new Lyapunov functions while no general algorithm existed before. AI for math discovery redefines the boundary of human minds.

373,882 görüntüleme • 8 ay önce

Introducing Axiom’s discovery team, led by François Charton: We build models that will create novel constructions, map problems into solutions and intuitions, and learn the structure of entire mathematical worlds. Built to attack hard open problems, one at a time.

Introducing Axiom’s discovery team, led by François Charton: We build models that will create novel constructions, map problems into solutions and intuitions, and learn the structure of entire mathematical worlds. Built to attack hard open problems, one at a time.

297,565 görüntüleme • 8 ay önce

Daha fazla içerik yok.