Carina Hong
PulseAugur coverage of Carina Hong — every cluster mentioning Carina Hong across labs, papers, and developer communities, ranked by signal.
-
Axiom AI solves 12 Putnam math exam problems, nears human score
Axiom, a seven-month-old startup, has achieved a significant milestone by solving 12 problems on the prestigious Putnam undergraduate math exam, scoring 8/12. This accomplishment places their AI system closer to top hum…
-
AI finds 50-year-old flaw in widely used economic theorem
Axiom Math's formal verification system, EconLib, has identified a flaw in a 50-year-old economic theorem by Robert Aumann, which has been widely used in fields like information economics and antitrust law. The AI syste…
-
Math seen as key to AGI's future, beyond LLMs
Carina Hong, interviewed on Madrona's Founded & Funded podcast, posits that advanced AI, including AGI and ASI, will require a third pillar beyond Large Language Models and predictive analytics. She advocates for a dete…