Carina Hong Takes Founder Role at Axiom Math

A post by @dimitrispapail quotes @CarinaLHong and states she is founder and CEO of Axiom Math. The description identifies the company as an AI startup focused on advanced mathematical reasoning and autoformalization. The text tags her explicitly as Founder and ends with the note New role followed by a wink emoji. No other details about the startup, timeline, or prior positions appear in the source line.