Carina Hong, a brilliant mathematician, has left formal studies to found Axiom Math. The company aims to build artificial intelligence capable of advanced mathematical reasoning. Hong has already attracted top talent from Meta and Google Brain. Axiom Math recently announced solving two long-standing mathematical problems. This venture signals a new frontier in AI development.source https://timesofindia.indiatimes.com/education/news/who-is-carina-hong-a-24-year-old-stanford-dropout-who-attracted-metas-top-ai-researchers-to-her-startup/articleshow/125887238.cms