陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind最新开源形式化数学猜想库，该库由陶哲轩转发，具有重要意义。猜想库收录了经典的形式化表述的数学猜想集合，如解析数论中的四个朗道问题，还提供代...
o3崛起，但推理模型离「撞墙」只剩一年？
OpenAI的o3推理模型算力暴增10倍，能力显著提升，但专家警告其可能在一年内撞上算力资源极限。Epoch AI团队认为，推理模型虽有进步空间，但顶尖AI公司难以实...
250美元起售，还开源，Hugging Face 发布史上最亲民人形机器人
伊隆・马斯克曾预测到 2040 年全球将有 100 亿台人形机器人工作，如今 Hugging Face 正式开源发布两款新的人形机器人，让这一预言离实现更近一步。此次开源的...
AI裁员这一刀，终于砍到他们身上！外媒高层一锅端，9年老记者血泪控诉
Business Insider宣布正式裁员21%并转向线下活动业务和AI工具，引发网友对AI是否为裁员主因的猜测，媒体工作者工会对此表示谴责，认为任何AI工具或技术都不应...
美国开始吊销，中国学生签证
美国政府出台针对中国学生的签证限制措施，对中国学生赴美学习产生重大影响。美国国务卿卢比奥发布声明，美国国务院将与国土安全部合作，撤销与中国有联系或...
英特尔先进封装，新突破
英特尔在电子元件技术大会上披露多项芯片封装技术突破，旨在利用尖端工艺节点技术为内外部公司生产芯片，以应对现代处理器复杂异构设计对先进封装技术的需求...
中美史诗级大团结，在一款被玩家狂喷的游戏里实现了
2024年发行的太空科幻题材多人协作射击游戏《绝地潜兵2》引发全球玩家关注。游戏中，玩家化身“绝地潜兵”，指挥星际战舰与外星虫族、机器人军团战斗，还需提防...
尊界 S800，没有手工没有血统，华为「科」出百万价格
5月30日，鸿蒙智行旗下的尊界S800正式发布，起售价70.8万元，最高配置可达111.8万元。此前，鸿蒙智行旗下问界、智界、享界3个品牌在20万 - 60万细分市场取得...
5年累计融资90亿！68岁的王东升带奕斯伟计算赴港冲刺“RISC-V第一股”
5月30日上午，RISC-V芯片龙头企业奕斯伟计算正式向港交所递交招股书。该公司董事长王东升深耕半导体产业40余年，曾领导创立京东方并使其成为全球半导体显示领...
Manus 在海外发生了什么？凭什么撑起 20 亿美元的估值？
近期，Manus 获得海外主流基金 7500 万美元融资，并传出近 1 亿美金 ARR、20 亿美金估值的消息。其在国内和国外评价反差巨大，国内出现大量质疑和批评，而在...