5 AI-Generated Math Papers Accepted! 00s Founder Hong Letong Raises $1.4B
量子位1340 字 (约 6 分钟)
87
Axiom Math’s AI system AxiomProver generated and formally verified 8 math papers, 5 of which have passed peer review; its core is a ‘natural language → Lean formalization → machine verification’ loop. Founder Hong Letong (born 2001) led a $1.4B RMB funding round, with valuation reaching $1.6B USD.
入选理由：AxiomProver在24小时内可生成完整、机器验证的数学证明，已解决6个Ballantine等提出的猜想并发现1个反例
FeaturedArticle#AI Math#Formal Proof#Lean#Axiom Math#Hong Letong中文