關于人工智能將如何改變軟件開發，人們已經討論了太多維度：效率提升、代碼生成、自動測試、低代碼乃至“人人都是程序員”。 但有一個關鍵變化，卻長期被忽視——人工智能正在把形式化驗證這一曾經高度學術化、門檻
人工智能 | 2025-12-17 14:25 評論作者：中國科技新聞學會科幻傳播與未來產業專委會委員高恒 摩爾線程上市之后，國產GPU在資本市場的敘事被迅速推到了一個新的高度。 在算力緊缺、國產替代加速、生成式AI持續放大的背景下，GPU不再只是芯片
智能硬件 | 2025-12-17 14:22 評論剛剛，OpenAI 發布了新版 ChatGPT Images，由全新的旗艦級圖像生成模型驅動。 最新的圖像生成模型能夠精準編輯圖像，同時保留所有細節，并且圖像生成速度提升高達 4 倍。 研究團隊還在
人工智能 | 2025-12-17 14:22 評論評選簡介 站在能源革命的潮頭，中國動力電池產業以傲人的集群優勢和創新能力勇立世界前沿。2025年，產業鏈的堅守者、破局者與領航者一如既往地在持續優化現有體系的同時，勇于探索固態、鈉電、AI等前沿技術，
鋰電 | 2025-12-17 14:11 評論評選簡介 站在能源革命的潮頭，中國動力電池產業以傲人的集群優勢和創新能力勇立世界前沿。2025年，產業鏈的堅守者、破局者與領航者一如既往地在持續優化現有體系的同時，勇于探索固態、鈉電、AI等前沿技術，
鋰電 | 2025-12-17 14:09 評論評選簡介 站在能源革命的潮頭，中國動力電池產業以傲人的集群優勢和創新能力勇立世界前沿。2025年，產業鏈的堅守者、破局者與領航者一如既往地在持續優化現有體系的同時，勇于探索固態、鈉電、AI等前沿技術，
鋰電 | 2025-12-17 14:07 評論過去，我們總說“生意不成仁義在”，也說“買賣不成情義在”。但是，今年以來，家電圈發現，越來越多的家電廠商之間，突然從朋友變成敵人。這是為什么？又怎么辦？ 華辛?撰寫 今年以來，家電廠商之間的關系，正在
智能家居 | 2025-12-17 14:07 評論評選簡介 站在能源革命的潮頭，中國動力電池產業以傲人的集群優勢和創新能力勇立世界前沿。2025年，產業鏈的堅守者、破局者與領航者一如既往地在持續優化現有體系的同時，勇于探索固態、鈉電、AI等前沿技術，
鋰電 | 2025-12-17 14:06 評論作者：Minglei Shi等 解讀：AI生成未來 亮點直擊 首次在視覺特征模型（VFM）特征空間上對文本到圖像的隱擴散模型進行了大規模驗證。 開源了SVG-T2I模型的完整訓練與推理流程，并提供多個
人工智能 | 2025-12-17 14:00 評論參考文獻： PD-1, BTLA and TIGIT as therapeutic targets for rheumatic disease. Nat Rev Rheumatol. 2025 Dec
醫械科技 | 2025-12-17 13:53 評論芝能智芯出品 在汽車芯片領域，“老牌芯片企業還能不能做SoC”，這個問題確實是一個現實問題。 過去幾年，汽車 SoC 的話語權快速向國外玩家比如高通、英偉達，國內玩家地平線，甚至是專注自動駕駛的企業比
智能汽車網 | 2025-12-17 13:51 評論芝能智芯出品 在汽車芯片領域，“老牌芯片企業還能不能做SoC”，這個問題確實是一個現實問題。 過去幾年，汽車 SoC 的話語權快速向國外玩家比如高通、英偉達，國內玩家地平線，甚至是專注自動駕駛的企業比
傳感器 | 2025-12-17 13:48 評論從L2到L3，中國用五年時間走完歐美十年的路。 中國智能駕駛的“破冰船”已悄然啟航。 2025年12月15日，工業和信息化部正式頒發首批L3級有條件自動駕駛車型準入許可，極狐以及長安兩款專為城市場景定
新能源汽車 | 2025-12-17 13:47 評論“鋰電池產業不必講高大上的道理，關鍵是要把每一個環節做到極致。”——楚能新能源董事長代德明 10月24日，宜昌楚能新能源生產基地，一批標有“CORNEX”標識的儲能電池預制艙正陸續運出。這些單體重達4
鋰電 | 2025-12-17 13:47 評論撰文 | 白麗 出品 | 勇礪商業評論 阿桶觀察 螞蟻阿福煥新登場，AI 健康賽道格局生變 12 月 15 日，螞蟻集團在 AI 健康賽道放出關鍵動作，旗下原 AQ 應用正式煥新為 “螞蟻阿福”，新版
人工智能 | 2025-12-17 13:43 評論導語 一次關鍵節點的人事調整 前不久的嵐圖追光L發布會上，盧放不再以CEO身份登臺，而是以“嵐圖汽車科技股份有限公司董事長、黨委書記”的新頭銜亮相。 與此同時，原負責制造體系的蔣燾被任命為公司總經理。
新能源汽車 | 2025-12-17 13:37 評論芝能科技出品 如果只看今天的人形機器人，很容易被兩件事吸引：一是動作像不像人，二是模型大不大、算力強不強。但傅利葉對機器人的思考，恰恰是從這兩個問題之前開始的。 在地平線生態大會上傅利葉的CEO顧捷強
人工智能 | 2025-12-17 13:35 評論當下，AI的能力，正在不斷地完善和提升。以往，我們所認識的AI大模型還僅僅只是可以進行簡單的文字創作和視頻生成；現在，諸多的AI玩家們開始將關注的焦點聚焦在了借助AI大模型生成專業型的小說和影視的身上
人工智能 | 2025-12-17 13:33 評論芝能科技出品 如果只看今天的人形機器人，很容易被兩件事吸引：一是動作像不像人，二是模型大不大、算力強不強。但傅利葉對機器人的思考，恰恰是從這兩個問題之前開始的。 在地平線生態大會上傅利葉的CEO顧捷強
儀器儀表 | 2025-12-17 13:31 評論當司美格魯肽、替爾泊肽靠著 “減肥神藥” 的光環席卷全球市場，靶點、劑型、療效升級不斷，另一群糖尿病患者的困境似乎被掩蓋在這場“技術狂歡”之下—— 1型糖尿病（T1D）患者，全球約915萬人，每天必須
醫械科技 | 2025-12-17 13:30 評論
