哪些環節已透支？公募把脈AI 2.0

AIVC正成為AI製藥的下一代基礎設施醫曜·2026年09月28日 17:061665年人類第一次看見它，2026年人類第一次為計算它付賬 迄今仍很少有人意識到，生命科學正在經歷一場歷史性轉折。 過去十年，人工智能先學會了預測蛋白質結構，又學會了設計小分子，回答的都是"哪個分子更可能結合靶點"。但分子進入細胞之後，事情才真正開始：通路會補償，細胞會分化，微環境會改寫命運。 1665年，羅伯特·胡克在顯微鏡下第一次看見細胞。他看到的是一間靜態的小房間。細胞的"細胞"二字，詞源就是房間。 此後的三百多年，生命科學靠實驗逼近真相：研究者基於有限觀測提出假設，控制變量逐一驗證，從離散結果中歸納規律。 直到單細胞測序讓全基因組尺度的觀測覆蓋數以百萬計的細胞，多組學、擾動實驗和高通量自動化把細胞變成數據，一條新路才浮現出來：不在顯微鏡下看見細胞，在計算機裡計算細胞。 此即：AI虛擬細胞（AIVC） 01 AI製藥的下一代基礎設施 AIVC正是AI4S這條路的技術化身：跨尺度、多模態、基於大規模神經網絡，表徵並模擬細胞在多種狀態下的行為和狀態轉換，建模分化、發育、衰老這些自然過程，也建模基因編輯、藥物幹預引起的狀態變化。 理解A

丘成桐弟子帶AI狂寫470萬行，龐加萊猜想證明首次被機器完整驗證新智元·2026年09月28日 16:56千禧年難題的終結，也是下一場革命的開始 剛剛，千禧年難題龐加萊猜想的完整證明，被整個寫成了代碼！ 幹成這件事的，只是一個四人小團隊。 帶頭的是丘成桐的弟子，一位研究了幾十年Ricci流的老教授，衝在最前面的是一個剛畢業的本科生，身後是一群24小時連軸轉的AI。 他們用證明助手Lean，把Hamilton和佩雷爾曼的證明從頭寫到尾，總共約470萬行代碼。 其中約270萬行，是最後兩週在ChatGPT、Claude等AI的幫助下趕出來的。 這470萬行已經全部通過Lean內核的檢查，沒有一處用sorry留著「以後再證」。 過去，一個大證明要讓數學界說一句「沒毛病」，得靠同行花上好幾年逐頁審讀。 這一回，說了算的換成了機器，寫證明的主力也換成了AI。 佩雷爾曼的畢生心血，竟然只佔六分之一 我們把整個倉庫下載下來，順著最終的龐加萊定理，把它直接和間接引用的代碼全部找了出來。 真正用到的有14197個代碼文件、約402萬行，最長的一條引用鏈串起了353個文件。 其中，佩雷爾曼三篇論文對應的代碼加起來約66萬行，只佔六分之

黑客盤算的是用這些昂貴的大模型去幹勒索、網絡戰和間諜的活兒。谷歌威脅情報集團首席分析師 John Hultquist 透露，今年他們盯到一類叫"LLM 劫持"的攻擊明顯變多：有人倒賣公共 AI 工具被盜的登錄憑據，也有團伙直接偷走算力、白嫖著跑自己的模型。

AIX財經2026.09.28 15:37 · 來自北京全文7242字00:00 / 21:01人人都在擔心AI失控，我們找了個不慌的人聊了聊。文 | AIX財經（AIXcaijing），作者｜陳丹，編輯｜魏佳在日行千里的AI行業，一直有人喊“狼來了”。

9月28日，國內頭部 AI 廠商 MiniMax 官方宣佈，旗下全新文本模型 M3.1-Flash-Preview 正式上線並開啟全面公測。在核心技術與功能特性方面，該模型具備兩大亮點:一是全面支持原生多模態能力，二是擁有百萬級別的超長上下文窗口。

作者：沁滄（實習） 責編：沁滄 評論： 感謝網友 Domado 的線索投遞！9 月 28 日消息，據澎湃新聞報道，近期米哈遊創始人、總裁劉偉（大偉哥）在 2027 校園招聘宣講會上海交通大學專場上發表演講，希望米哈遊在 2-3 年內進入國產大模型第一梯隊。