ENTITY
Ken Ono
Ken Ono
PulseAugur coverage of Ken Ono — every cluster mentioning Ken Ono across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
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…
-
Axiom Math's AI-generated math papers accepted; raises $200M
Axiom Math, a startup founded by 2001-born mathematician Hong Letong, has achieved a significant milestone with five of its AI-generated mathematical papers accepted for publication in academic journals. The company's A…