丘成桐弟子带AI狂写470万行,庞加莱猜想证明首次被机器完整验证!
四人团队用Lean将庞加莱猜想完整证明写成约470万行代码并全部通过内核检查,其中270万行由ChatGPT、Claude等AI在最后两周完成,佩雷尔曼论文仅占六分之一。
汇聚优质财经自媒体,洞察市场先机
四人团队用Lean将庞加莱猜想完整证明写成约470万行代码并全部通过内核检查,其中270万行由ChatGPT、Claude等AI在最后两周完成,佩雷尔曼论文仅占六分之一。
Anthropic联合创始人兼总裁Daniela Amodei以155亿美元身家登上福布斯美国400富豪榜,成为全球最年轻白手起家女性富豪。公司计划11月IPO,估值预期达2万亿美元。
DeepSeek二轮融资遭疯抢,梁文锋严筛LP,刷掉部分国资与自然人背景资方,掮客收钱引荐乱象频出。高瓴原合伙人严文韬出任CFO,估值5000亿,冲刺2027年上市。
文章将哈耶克“分散知识”与自发秩序理论,与张瑞敏“人单合一”及海尔去掉中层、拆成2000多个小微的组织变革并置,揭示二者都坚信自下而上的个体能动性才是繁荣与自由的源泉。
华人文化以8.36亿元拿下华谊兄弟约17%股权,黎瑞刚将成实控人。其已掌控TVB、邵氏兄弟、正午阳光等,“东方好莱坞”全产业链版图基本成型。
大成基金“权益三剑客”之一韩创因个人原因离职,7只基金齐发变更公告,在管规模109亿元,下一站或为私募。公募明星基金经理离职潮持续,造星模式面临挑战。
机器人融资火爆,深兰机器人却因7亿订单未执行走向破产,欠薪超2300万。达阀等明星企业接连倒下,行业融资额虽创新高,但资本趋谨慎,破产潮或正酝酿。
DeepSeek首设CFO,90后高瓴前合伙人严文韬出任。公司正筹备科创板IPO,前7月营收4.75亿元、亏损收窄,梁文锋看重其懂AI、懂资本且身份中立。
张一鸣成亚洲首富背后,SIG投资人王琼在其低谷时押注,获1.5万倍回报;徐新因早期看不懂而错过,后以3亿美元追投纠错,揭示认知与耐心才是创投关键。
盛和资源澄清控股股东拟转让控股权传闻不实。公司与美国MP公司精矿包销合作已结束,仍持股554万股。坦桑尼亚恩古拉稀土项目等待审批,获批后争取一年内建成。上半年净利润同比增长135%。
在民生领域,还有一个看似最私人、实则最深刻地被公共制度影响的领域——生育。生不生孩子、生几个孩子,本该是一个家庭最私密的决策;但生育率的断崖式下跌,正在成为整个社会最焦虑的公共议题。
Meta个人AI助手Muse登顶美国App Store,带动腾讯股价大涨。微信原生AI助手“小微”已灰度测试,凭借14亿月活与小程序生态,有望成为AI时代超级入口,市场正为腾讯AI Agent长期价值提前定价。