Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

person

Carina Hong

2 stories tagged by Digg

Recent stories

AI

AxiomProver Completes Lean Formalization of BGP246

Axiom Math's AI system produced a Lean formalization of the prime gap bound.

XM

CH

ML

14 Sources, 42d ago, first seen 42d ago

AI

AI Experts Discuss Frontier Models, Kimi K3, Policy, and Inference in Weekly Stream

1 Source, 61d ago, first seen 61d ago

On Digg

Carina Hong

@axiommathai : https://axiommath.ai/careers

Home
Technology
Gaming
Entertainment
World & Business
Science
Sports
AI

Carina Hong · Digg

person

Carina Hong

2 stories tagged by Digg

Recent stories

AI

AxiomProver Completes Lean Formalization of BGP246

Axiom Math's AI system produced a Lean formalization of the prime gap bound.

XM

CH

ML

14 Sources, 42d ago, first seen 42d ago

AI

AI Experts Discuss Frontier Models, Kimi K3, Policy, and Inference in Weekly Stream

1 Source, 61d ago, first seen 61d ago

On Digg

Carina Hong

@axiommathai : https://axiommath.ai/careers

View Digg Profile

Elsewhere on the web

@CarinaLHong