Carina Hong Retweets Note on Open-Sourced Formalizations

Carina Hong, founder and CEO of Axiom Math, retweeted a post by @pradheepraop. The post states that some formalizations are being open sourced and calls the development really cool. Hong leads an AI startup focused on advanced mathematical reasoning and autoformalization. The retweet highlights visible replies on X that note the public availability of the formalizations alongside an attached photo. No additional details on the specific formalizations or their source appear in the packet.