費馬說頁邊太窄，Claude 用 11 天寫成 1300 萬行程式碼
流行#流行#文化#社羣
Anthropic 宣布 Claude 自主運行 11 天，將懷爾斯 1995 年的費馬大定理證明寫成約 1300 萬行 Lean 程式碼，完成首個端到端的電腦驗證形式化證明。
流行
394 篇 流行 主題報導，依發布時間排序。
螢幕翻轉360度，非洲機王傳音把生意翻到了柏林
流行#流行#數碼#生活傳音在 IFA 2026 發表 MegaBook T15 360 系列翻轉筆電，899 歐元起、第四季登陸歐洲，本文回看這家非洲手機之王的來路，與它直接站上一線價位帶的定價膽量。
不錄影的攝影機排進2027，蘋果把安全感搬上了訂閱貨架
流行#流行#生活#文化外媒報導蘋果計畫於2027年推出結合AI攝影機的家庭安全監控訂閱服務，本文回看家庭攝影機的隱私拉扯、HomePod的起落與訂閱清單再添一行的日常帳本。
凌晨一點的蘋果發表會，19.9元的熬夜座位先開賣
流行#流行#社羣#生活少數派在深圳與廣州開賣19.9元門票，召集五十人熬夜同步觀看9月10日凌晨的蘋果秋季發表會，本文回看集體看Keynote這門老手藝。
0比3不敵阿爾卡拉斯，吳易昺把四年前的第三輪又走了一遍
流行#流行#體育#網球吳易昺在美網男單第三輪0比3不敵阿爾卡拉斯止步32強，中國男單全數出局，本文回看這位杭州球手從2017年美網青少年雙冠、2022年破冰32強到傷後重返的九年行程，以及隔網那位19歲就封王的世界第一。
79元起家的那條手環，第11代又準時走進九月
流行#流行#社羣#生活小米手環11登上微博熱搜第17位，本文從2014年79元的第一代說起，回看這條手環十二年十一代的演進、九月發布的檔期慣性，與震動鬧鐘、送禮長輩、換錶帶的集體記憶。
中鋒回到封面那天，NBA 2K27 的開場哨排在中午十二點
流行#遊戲#流行#體育《NBA 2K27》9月4日發售，Steam 國區 298 元起、首發支援 DLSS 5，三張封面分屬文班亞馬、克拉克與羅斯，本文看價目表、中鋒重返封面與年貨開賽日的老劇本。
在B站搜「真能無摺痕嗎」的人，比蘋果發表會早到了一週
流行#流行#社羣#生活蘋果9月10日發表會倒數一週，B站上「蘋果摺疊屏真能無摺痕嗎」的搜尋與影片提前升溫，本文回看摺痕七年技術簡史、發表會前的爆料規格單，以及等蘋果或買安卓的換機兩難。
巫師3導演另起爐竈，把一座吸血鬼山谷搬進了Steam
流行#遊戲#流行#文化《巫師3》遊戲總監創立的Rebel Wolves首款作品《黎明行者之血》9月3日發售，Steam國區298元起、IGN評9分，本文回看吸血鬼題材重返3A牌桌與首發後的60幀補課。
「它漲500元，我只能省下5000元了」，漲價後的門市先靜了下來
流行#流行#社羣#生活9月1日華為小米榮耀集體調價後，「手機集體漲價 嚇跑了買手機的人」話題9月3日發酵，線下門市轉冷，部分原6000元以下機型被推過國補價格上限，本文看「它漲500元我只能省5000元」的留言算術與等等黨的帳本。
滿分先出鞘，IGN把10分劈給了《鬼武者：劍之道》
流行#流行#文化#社羣IGN中國在上市前夕給《鬼武者：劍之道》打出10分滿分，42萬播放的評測影片與滿分質疑同時開跑，本文回看鬼武者系列近二十年的沉浮，以及評分文化這個老戰場。
黑子還沒浮出表面，AI提前9.24小時先聽見了太陽
流行#流行#文化#生活新澤西理工學院團隊打造機器學習模型 EarlyDetect，從 NASA SDO 的聲學與磁場數據中平均提前 9.24 小時識別太陽活動區前兆，本文把這項研究接回卡林頓事件、魁北克大停電與 2024 年的極光之夜。