标签：人工智能
AI「生肉证明」堆爆GitHub！陶哲轩重磅发声：只会解题没用了
数学家陶哲轩近期综合多项公开论述指出，数学领域正由证明稀缺时代迈入证明过剩阶段。人工智能大幅加速了证明生成过程，配合形式化工具的普及，致使数学论证...
登顶国际顶刊！中国AI给出肠癌无痛早筛新方案
腹部常规平扫影像由于缺乏特异性造影剂与前期清肠准备，通常难以清晰勾勒微小黏膜褶皱特征，致使结直肠癌筛查长期受困于肠道镜检耐受度差、隐血检测漏判率高...
美国暂停对华虹半导体部分供货？中方回应；东方甄选奖励300名员工市值4亿股份，人均超140万元；DeepSeek正在灰度测试「识图模式」
近期科技与产业领域动态密集，算力突破与芯片供应链博弈成为核心焦点。DeepSeek正式开启图像识别模式内测，标志着国内大语言模型向多模态理解能力迈出关键一...
20岁了！劈柴哥发帖庆生：谷歌翻译换了4代AI，第一次有了「呼吸感」
四月二十八日，谷歌翻译迎来二十周年发展节点，其系统升级路径完整映射出底层人工智能算法的迭代轨迹。早期架构依赖统计机器翻译技术，通过海量语料库计算词...
从 Coding 到 Agent：QCon 北京 2026 全景复盘，优秀出品人 & 明星讲师名单揭晓
由InfoQ中国主办的QCon全球软件开发大会北京站顺利召开，逾两千名技术代表围绕智能体架构演进与安全治理展开深入交流。会议传递出明确趋势：传统以代码为核心...
溢价15倍！5999元的LABUBU冰箱被炒至9万元；京东副总裁炮轰友商：带着大家走到了亏钱的深渊；老板哭了！AI编程代理9秒删光公司数据库
科技企业正通过架构调整与战略拓展应对行业竞争。百度宣布打通专业与管理双通道，建立统一的数字职级体系以适应复合型人才培养需求。深度求索完成注册资本增...
AI上桌了，谁还需要电影人啊？
爱奇艺举办的电影主题论坛聚集了多位行业大咖，展现出电影产业在十年兴衰后的现状。当前影视圈面临疫情后 AI 技术突飞猛进的冲击，AI 已然成为电影业各种矛盾...
AI自主设计了一颗CPU：RISC-V架构，主频1.48GHz，可跑Linux
人工智能芯片设计初创公司 Verkor.io 宣布开发出一款完全由人工智能系统自主设计的 RISC-V CPU 内核，名为 VerCore。这款 CPU 主频高达 1.5GHz，性能堪比 201...
曝两家科技大厂争投DeepSeek，估值飙至200亿美元；小米深夜放大招！最强大模型MiMo-V2.5系列发布；微软 Xbox 部门将裁员15%
科技领域近日迎来多重变动。微软游戏部门新任首席执行官上任不久，便传出裁员信号，消息称微软 Xbox 部门将裁员 15%，影响范围涉及游戏部门众多员工，招聘冻...
IPO前夕砸600亿美金收购Cursor，马斯克的「阳谋」与「阴谋」
SpaceX 近日宣布获得一项期权，计划在今年晚些时候以 600 亿美元收购 AI 编程工具 Cursor 的母公司，或替代支付 100 亿美元用于双方合作。这一公告在硅谷程序...
