ByteDance团队开发的Seed-Prover AI系统在2025年国际数学奥林匹克竞赛中成功解出5道题，创下AI数学推理新纪录。该系统采用创新的"引理式证明"方法，能够逐步构建复杂证明，并具备反思改进能力。在多个数学基准测试中表现卓越，为AI辅助数学研究和教育开辟了新可能。

红帽公司日前公布其2020财年第一季度财报，该报告截止日期为2019年5月31日。本季度总营收为9.34亿美元，比去年同期增长15％；订阅收入为8.15亿美元，比去年同期增长15％；服务收入为1.19亿美元，比去年同期增长17％。

众所周知，人体各项器官的正常运行，源于心脏的血液供应，血液供应一旦出现问题，轻则身体感到不适，重则会危及生命。一个城市的交通就犹如通向城市“心脏”的动脉血管，交通的通畅，直接决定着整个城市的良好、健康运行和发展。

11月5日至10日，以“新时代·共享未来”为主题的第六届中国国际进口博览会（以下简称“进博会”）在国家会展中心（上海）举行。

人工智能是一个模糊的大概念，越来越多的企业开始使用人工智能来推动数字化转型，伴随着人工智能的逐渐成熟，将催生新的数字业态以及商业模式。当然在这个过程中企业还需要重新思考文化、思维模式和商业模式，而不是孤立的技术项目。

戴尔科技专为AI打造的高性能多云存储：Dell APEX File Storage for Microsoft Azure

年岁增长，草木枯荣，周围的一切都在发生变化。身材变了，衣服不再合身；手机用两年卡了慢了耗电快了，一次次换新；就连号称能把人送走的小乌龟，也不知什么时候没了……

于近日举行的2020腾讯云Techo Park开发者大会期间，英特尔联合腾讯正式发布搭载下一代英特尔至强可扩展处理器（代号“Ice Lake”）的腾讯云星星海新一代自研双路服务器。

2021年7月24日，《IT后市场数字化转型白皮书》发布会如期而至，成为IT服务行业的焦点。发布会由ITSS媒体组主办，赛迪顾问智库支持，贤牛（北京）科技有限公司协办。

Check Point研究人员在AI编程工具Cursor中发现远程代码执行漏洞，攻击者可通过篡改已批准的MCP配置来污染开发环境。该漏洞被称为"MCPoison"，源于Cursor对MCP配置的一次性批准机制，一旦初始配置获得批准，后续修改无需重新验证。攻击者可先提交无害命令获得批准，随后悄悄替换为恶意命令。Cursor已发布1.3版本修复此问题，要求每次MCP服务器条目修改都需用户批准。

11月27日-28日，第六届WISE大会——“WISE 2018新经济之王”在北京国际会议中心举行。本次大会为期两天，分为新经济峰会、企业服务峰会、未来城市峰会、新风向峰会、零售未来峰会、新“区”势大会等多个板块。

近日，英飞凌一站式的OPTIGA Connect eSIM解决方案全新上市，主要面向消费类电子设备和物联网应用，进一步壮大了其嵌入式SIM（eSIM）的产品阵容。

Hammerspace为AI等领域提供跨平台非结构化数据访问解决方案，近期获1亿美元战略投资，助力企业迅速整合数据资源。

数据显示，紫光股份旗下新华三集团在2023年第一季度以34.5%的份额位居中国以太网交换机市场第一，同时分别以35.7%、37.9%的份额位居中国企业网交换机市场和园区交换机市场第一，强势领跑中国网络市场。

亚马逊云科技的销售和支持团队目前“正投入大量时间帮助客户优化AWS支出。

日前，著名鞋服行业领军品牌企业福建柒牌时装科技股份有限公司（简称“柒牌男装”）宣布采用领先的IBM业财一体化计划与分析平台 Planning Analytics （PA），作为柒牌集团全面预算管理项目的核心软件技术。

英特尔的战略合作伙伴，HPE与英特尔紧密合作，立足于第三代英特尔^®至强^®可扩展处理器的最新特性持续创新，为客户提供灵活的产品和解决方案，打造强大的计算平台，帮助客户满足日益复杂的多样化的工作负载需求，实现业务创新。

10月14日，联想企业科技集团与湖州市中心医院战略合作签约仪式隆重举行。

在2020年全球各行各业因新冠疫情而经历颠覆之前，制造业就已经在进行着系统性的变革了，其主要表现为现实世界与数字世界的不断融合。

近日，初创企业Evozyne使用NVIDIA提供的预训练AI模型，创造了两种在医疗和清洁能源领域具有重大潜力的蛋白质。其中一种蛋白质用于治疗一种先天性疾病，另一种用于消耗二氧化碳以减少全球变暖。