[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]

# ![@CarinaLHong Avatar](https://lunarcrush.com/gi/w:26/cr:twitter::1460166165980798984.png) @CarinaLHong Carina Hong

Carina Hong posts on X about ai, math, succinct, san diego the most. They currently have XXXXXX followers and XX posts still getting attention that total XXXXXX engagements in the last XX hours.

### Engagements: XXXXXX [#](/creator/twitter::1460166165980798984/interactions)
![Engagements Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::1460166165980798984/c:line/m:interactions.svg)

- X Week XXXXXXX +70%
- X Month XXXXXXX +91%
- X Months XXXXXXXXX +1,599%

### Mentions: XX [#](/creator/twitter::1460166165980798984/posts_active)
![Mentions Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::1460166165980798984/c:line/m:posts_active.svg)

- X Month X -XX%
- X Months X -XX%

### Followers: XXXXXX [#](/creator/twitter::1460166165980798984/followers)
![Followers Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::1460166165980798984/c:line/m:followers.svg)

- X Week XXXXXX +105%
- X Month XXXXXX +133%
- X Months XXXXXX +1,267%

### CreatorRank: XXXXXXX [#](/creator/twitter::1460166165980798984/influencer_rank)
![CreatorRank Line Chart](https://lunarcrush.com/gi/w:600/cr:twitter::1460166165980798984/c:line/m:influencer_rank.svg)

### Social Influence

**Social topic influence**
[ai](/topic/ai), [math](/topic/math) #632, [succinct](/topic/succinct), [san diego](/topic/san-diego), [if you](/topic/if-you), [generated](/topic/generated), [stem](/topic/stem), [sir](/topic/sir)

**Top accounts mentioned or mentioned by**
[@axiommathai](/creator/undefined) [@menloventures](/creator/undefined) [@elliotglazer](/creator/undefined) [@fcharton](/creator/undefined) [@anthropicai](/creator/undefined) [@kenono691](/creator/undefined) [@adawan919](/creator/undefined) [@ccgong](/creator/undefined) [@rishicomplex](/creator/undefined) [@bryanjohnson](/creator/undefined) [@alpacaaurelius](/creator/undefined) [@garymarcus](/creator/undefined) [@brennanowain](/creator/undefined) [@iruletheworldmo](/creator/undefined) [@elonmusk](/creator/undefined) [@aiforsuccess](/creator/undefined) [@samcharrington](/creator/undefined) [@twiml](/creator/undefined) [@justinmateen](/creator/undefined) [@albealfa](/creator/undefined)
### Top Social Posts
Top posts by engagements in the last XX hours

"Introducing Axiom's discovery team: @albe_alfa 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"  
[X Link](https://x.com/CarinaLHong/status/1993357938204004781)  2025-11-25T16:35Z 10.9K followers, 373.2K engagements


"Today I am launching @axiommathai At Axiom we are building a self-improving superintelligent reasoner starting with an AI mathematician"  
[X Link](https://x.com/CarinaLHong/status/1973030861600903634)  2025-09-30T14:23Z 10.9K followers, 1.2M engagements


"Introducing Axioms discovery team led by @f_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"  
[X Link](https://x.com/CarinaLHong/status/1991531330946101500)  2025-11-20T15:37Z 10.9K followers, 294.7K engagements


"Claude by @AnthropicAI proved Erdos problem #124 in Lean"  
[X Link](https://x.com/CarinaLHong/status/1995619298732384443)  2025-12-01T22:21Z 10.9K followers, 95.1K engagements


"AxiomProver solved Erdos problem #481 - took X hours #124 simplified version took over XX hours (oof) and was not as succinct as we'd like it to be"  
[X Link](https://x.com/CarinaLHong/status/1995905801719066763)  2025-12-02T17:19Z 10.9K followers, 22.6K engagements


"If Neurips Lunch is Bad Have Early Dinner Thursday 4-6pm Shorebird (10min walk to Convention) We're in San Diego Axiom @axiommathai B Capital @BCapitalGroup @nickgiometti and Madrona @MadronaVentures @jturow are hosting a happy hour on Verified Reasoning. We are hiring Come if you work on RL / reasoning automated theorem proving and autoformalization and formal verification broadly. We also look for applied ML folks and strong generalist engineers. (There's also wagyu burger deviled eggs crispy cauliflowers and drinks)"  
[X Link](https://x.com/CarinaLHong/status/1996357039891878338)  2025-12-03T23:13Z 10.9K followers, 17.7K engagements


"Erdos Problem #481's graph generated by AxiomProver - super elegant proof"  
[X Link](https://x.com/CarinaLHong/status/1996394493990629444)  2025-12-04T01:41Z 10.9K followers, 9229 engagements


"AxiomProver keeps getting stronger. And @axiommathai keeps growing. I'm excited to share that Prof. Ken Ono @KenOno691 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)"  
[X Link](https://x.com/CarinaLHong/status/1996606602238189831)  2025-12-04T15:44Z 10.9K followers, 483.2K engagements


"There is beauty in growing your student into your collaborator. Sir Hardy to Ramanujan. Professor Ono to me. And now a group of brightest mathematicians at Axiom @axiommathai to our AI. The Thue equations we worked with are on the board. Our paper was an instance of traditional computation assisting discoveries on modular forms elliptic curves and K3 surfaces"  
[X Link](https://x.com/CarinaLHong/status/1996628393220362742)  2025-12-04T17:11Z 10.9K followers, 106.9K engagements


"Putnam the world's hardest undergrad math contest ended 4pm PT yesterday. By 3:58pm AxiomProver @axiommathai autonomously solved 8/12 of Putnam2025 in Lean a XXX% verifiable language. Last year our score would've been #4 of 4000 and a Putnam Fellow (top XX in recent yrs)"  
[X Link](https://x.com/CarinaLHong/status/1997711442708173051)  2025-12-07T16:54Z 10.9K followers, 423.1K engagements


"The William Lowell Putnam Exam is the world's most prestigious university competition. The median score is often X. Axiom is a 4-month-old startup in Palo Alto. We're building the starting point for reasoning: an AI mathematician. Lean is a XXX% machine verifiable language"  
[X Link](https://x.com/CarinaLHong/status/1997711443828089222)  2025-12-07T16:54Z 10.9K followers, 20.6K engagements


"Getting XX on Putnam in general is very hard. May be harder than 5/6 on IMO 2025"  
[X Link](https://x.com/CarinaLHong/status/1998108874096930864)  2025-12-08T19:14Z 10.9K followers, 12.3K engagements