Hacker News front pageAI 評分16
NYT 長文回顧 Margaret Hamilton 與程式設計職業的性別變遷
《紐約時報》發表長文，講述 Margaret Hamilton 在電腦科學變成男性主導領域之前編寫程式碼的經歷。文章以她的經歷為線索，回看那個程式設計工作尚未被男性佔據的年代，以及此後行業性別結構的變化。原文為英文報導，Hacker News 上有對應討論帖。
搜尋
找到 7 筆
機器之心AI 評分29
2026 諾獎授予光遺傳學三位奠基人
10 月 5 日，2026 年諾貝爾生理學或醫學獎授予 Karl Deisseroth、Peter Hegemann 和 Georg Nagel，表彰他們在光控離子通道與光遺傳學上的發現：讓特定神經元表達光敏蛋白後，用光就能在毫秒尺度上開關這些細胞。Hegemann 與 Nagel 從單細胞綠藻中找到 channelrhodopsin，Deisseroth 於 2005 年在哺乳動物神經元中實現光控。
Hacker News front page● 精選AI 評分94
OpenAI 發布 372 項數學成果，含 Unique Games 猜想證明
OpenAI 公布 372 項數學與理論電腦科學成果，其中包括 Subhash Khot 的 Unique Games Conjecture（UGC）證明，推薦名單有 Timothy Gowers、Edward Witten 等數學家。UGC 意味著許多最佳化問題即使只想比半正定規劃鬆弛略好地近似，也是 NP-hard。部分成果附 Lean 證書，但幾乎所有證明尚未被人類理解；
Hacker News front page● 精選AI 評分80
OpenAI 公布數百項數學證明，數學家稱領域被摧毀
OpenAI 近幾個月公布數百項數學發現，涵蓋數論、理論電腦科學與邏輯，其中不少證明曾困擾頂尖數學家數十年乃至數百年。2022 年菲爾茲獎得主 Hugo Duminil-Copin 在十月發布後表示「他們摧毀了我的研究領域」，康奈爾大學數學家 Steven Strogatz 也向作者描述了哭泣、迷失與興奮交織的感受。
Simon WillisonAI 評分25
Carson Gross：即便有 AI 工具，程式設計仍是可行職業
Carson Gross 認為，即便 AI 工具已經出現，程式設計仍會是一門可行的職業。他把程式設計歸結為兩件事：用計算機解決問題，以及在解決問題的過程中學習控制複雜度；在他看來，很難想像未來懂得用計算機解決問題、並控制這些方案的複雜度會比今天更不值錢。這番話發布於 2026 年 10 月 8 日，標籤涵蓋電腦科學、職業與 AI。
Hacker News front page● 精選AI 評分95
OpenAI 單日發布 372 項數學成果，含 Unique Games 猜想證明
OpenAI 於 10 月 6 日一次性發布 372 項數學成果，其中包括 Subhash Khot 的 Unique Games 猜想證明，部分結果附有 Lean 證書，但並非全部。截至目前似乎還沒有人類讀懂這些證明，理解它們的競賽才剛剛開始。作者妻子、複雜度理論家 Dana Moshkovitz 長期研究 UGC，她稱論文寫得極差、必須靠 AI 輔助才能閱讀，證明構造出一種全新的遞迴編碼與噪聲測試。
Hacker News front pageAI 評分56
學者提出 Ephemeral Testing：用 AI 臨時搭建上層應用檢驗程式碼
魁北克大學電腦科學教授 Daniel Lemire 提出 ephemeral testing（臨時測試）：不直接評估自己寫的程式碼，而是讓 AI agent 在其之上臨時搭建一層或多層應用並測試，用完即棄，再根據失敗情況反推底層程式碼品質。它屬於整合測試，區別在於上層軟體完全是一次性的；API 清晰、不變數穩定、報錯有用的庫能讓 agent 快速產出可執行的東西，隱藏狀態、意外預設值或文件不全的庫則會產出一堆補丁和失敗，這些失敗是底層程式碼的證據而非 agent 的問題。