➡️
继续阅读
-
GOSIM Shenzhen 2026落幕,210+技术专家共议前沿技术产业
GOSIM Shenzhen 2026于10月在深圳举办,210余位专家与2000多名开发者探讨开源与AI前沿。大会设两场Keynote和六大论坛,覆盖智...
-
既能“做选择题”,也能“做填空题”——星辰意图理解模型Xing4.0-29B-Intent发布
中国电信星辰实验室发布并开源意图理解专用模型Xing4.0-29B-Intent,同步开放275万条训练语料、模型权重与推理镜像。该模型结合意图识别与参数...
-
AI形式证明挖出万亿次测试漏掉的漏洞
测试跑了一万亿次没发现的漏洞,被一个写证明的模型找出来了! 一项新实验让大语言模型为123个开源库编写机器可验证的安全证明,过程中挖出了连谷歌连续模糊测试...
-
TÜV莱茵参与2026联想供应商标准与认证大会
TÜV莱茵出席2026联想供应商标准与认证大会,双方合作已逾二十年,覆盖产品安全、全球市场准入、ESG等领域。会上TÜV莱茵介绍了IEC 62368-1标...
-
捏一下细胞核撕开染色质,CRISPR重编程效率翻倍
捏一下细胞核,基因就开了! 机械挤压成纤维细胞核能短暂撕开染色质,让CRISPR激活原本够不着的基因,重编程效率翻倍。 细胞核被挤扁后基因才露脸 成纤维细...
-
TÜV南德在CEIC 2026展示AI智算与具身智能出海合规方案
TÜV南德在CEIC 2026展示AI智算与具身智能出海合规方案,围绕欧盟《人工智能法案》《机械法规》《网络韧性法案》等框架与企业交流。针对具身智能终端,...