标签：人工智能
大模型“双雄”回A记
智谱与MiniMax作为目前唯二上市的主流独立大模型厂商，在港股上市半年后相继宣布启动A股科创板IPO进程。两家公司在港股市场的股价表现呈现出差异，智谱凭借B...
DeepSeek V4做数学证明，500倍成本优势：智能体系统刷新多项纪录
随着人工智能在数学领域的产出速度远超人类的验证能力，数学界正面临验证危机。利用形式化定理证明让机器验证生成的证明，成为解决该危机的核心路径。针对现...
AI 辅助迁移工具：数分钟完成 ingress-nginx 向 Higress 迁移
AI辅助工具通过自动分析现有配置、识别等效结构并生成更新后的清单文件，实现了入口资源与路由配置的自动转换。这种转变使得工程师的工作重心从繁重的手动核...
AI芯片，引爆电力危机
随着人工智能技术的飞速发展，人工智能数据中心正面临电力消耗达到极限的严峻挑战。为了满足不断增长的算力需求，芯片制造商推出了功能更强大的图形处理单元...
除了 AI Siri 和库克「谢幕演讲」，今年 WWDC 还有什么？
苹果WWDC26发布会的焦点不仅在于搭载新大脑且视觉升级的Siri以及管理层交接，其系统调整、生态策略与硬件布局等幕后变化同样反映出公司面临的深刻转型。在操...
硅谷大事件丨SpaceX上市估值1.77万亿美元，马斯克持有超82%投票权；ChatGPT推出新内存架构提升跨对话能力；Claude自迭代能力一年提升17倍
近期科技与商业领域迎来多项重大资本运作与技术突破。SpaceX敲定史上最大规模IPO计划，估值高达1.77万亿美元，筹集的巨额资金将大量投入其新兴的人工智能业务...
小字不免责！因宣传语蹭LABUBU营销，奈雪赔偿泡泡玛特32万；iPhone改日期多出20G？苹果泼冷水；粉笔CEO张小龙辱骂学生：活该找不到工作
近期科技与商业领域发生多起重要事件，涉及企业合规、人工智能及汽车产业等维度。在企业合规方面，奈雪的茶因在宣传中不当使用LABUBU形象且试图用小字免责，...
连GitLab都开始裁程序员了
靠程序员发家的大型开发者基础设施公司GitLab在最新季度营收同比增长23%、业绩超出市场预期的情况下，宣布裁减约14%的全职员工。这家实现盈利的公司进行预防...
专家预测年底才到，Claude Mythos今天就跑出3小时6分！
Anthropic的Claude Mythos模型在METR基准测试中，以80%的成功率完成了长达3小时6分钟的自主任务，成功打破了世界纪录。这一突破提前兑现了专家对2026年底的预...
硅谷CEO深夜站台！MiniMax M3冲上开源第一，中文社区却吵翻了？
在多项极限测试中，M3展现出卓越的综合实力。在代码生成与多模态理解方面，M3能够流畅生成复杂动画代码，并在极低消耗下完成长逻辑代码编写。面对长达五十页...
