扫描下载APP
其它方式登录
25岁华裔天才洪乐潼创办AI公司Axiom，聚焦形式化验证技术，用数学公理和Lean语言确保大模型推理过程可证明、无幻觉，瞄准金融、军工等高可靠性场景；公司成立两年获2亿美元A轮融资，估值16亿美元，已攻克埃尔德什难题并在普特南竞赛中获满分，但面临商业化路径与速度-正确性平衡等现实挑战。
以太坊基金会联合执行主任Tomasz Stańczak宣布卸任，上任仅11个月后由低调的Bastian Aue接替。其离职折射出基金会在去中心化理想与市场竞争效率间的深层张力：从Miyaguchi时期的协调者定位，到Stańczak推动的高效执行与AI融合战略，再到新领导层可能回归原则性协调。同期ETH价格承压，叠加‘Lean Ethereum’等关键提案临门，凸显以太坊生态在技术路线、治理模式与市场表现上的多重迷茫。
