今天是三八婦女節。

從算法的出現、計算機的誕生，再到AI越來越強大的今天，背后有著許多不為大眾知曉、一度被認為不適合讀理科的女性的力量。

這次我們用AI來重現她們那些隱秘而偉大的故事。

在這個視頻中，我們提供了一些提示詞，AI就會自動幻想出故事畫面。畫面會在100多年歷史中穿梭，自然銜接不同年代的故事。

以下就讓《對齊Lab》為大家解密這個AI視頻中的人物故事，這些不為大眾熟知的女性都為AI發展作出哪些貢獻？

她創造了人類第一個算法

或許令很多人沒有想到的是，盡管如今的程序員多數是男性，世界上第一位程序員卻是一名女性——愛達·洛芙萊斯（Ada Lovelace）。

世界上第一名程序員愛達·洛芙萊斯（Ada Lovelace）的肖像。圖源于 網絡

19世紀初期，邏輯、科學和數學是極少女性會涉及的領域，而洛芙萊斯不僅成為了一名數學家，甚至創造出世界上第一個算法。

這個故事要從她的父母開始講起。盡管洛芙萊斯是浪漫詩人拜倫的女兒，但她的母親安娜貝拉·米爾班克（Annabella Milbanke）并不想她走上拜倫的老路，堅持讓洛芙萊斯學習數學。

洛芙萊斯也從小就對機器著迷，這些都促使她成為了一名數學家。

1833年，洛芙萊斯遇到了發明家查爾斯·巴貝奇（Charles Babbage），兩人一拍即合，投身到分析機——早期計算機雛形——的研究中。

當時，巴貝奇提出了分析機的設計概念，而洛芙萊斯為分析機寫出第一份“程序設計流程圖”，世界上第一個算法就此誕生。

愛達·洛芙萊斯（Ada Lovelace）設計的世界上第一個算法。圖源于 網絡

1940年代，被稱為人工智能之父的艾倫·圖靈（Alan Turing）就受到洛芙萊斯那些論文的啟發，開始研制第一臺現代計算機。

她發明了早期高級編程語言COBOL

在現代計算機誕生后，早期高級編程語言還可以追溯到一名女程序員，格蕾絲·霍珀（Grace Hopper）。

發明早期高級編程語言之一的女程序員格蕾絲·霍珀（Grace Hopper）。圖源于 耶魯大學

在霍珀身上，有無數的稱號：計算機軟件工程第一夫人、編程語言COBOL之母、全球首個編譯器的發明者、最早的現代程序員之一、耶魯大學第一位數學女博士。

她創造的COBOL編程語言在20世紀70年代就成為世界上“使用最廣泛的計算機語言”。

關于霍珀還有一則有趣的軼聞——常常有人把她視為世界上第一個發現計算機Bug的人。據說，1947年，霍珀發現并報告了世界上第一個計算機錯誤的實例。原來是計算機里有一只飛蟲（Bug），導致計算機發生故障。從此，Bug就代表了電腦故障。

不過，美國國家歷史博物館策展人佩吉·基德威爾(Peggy Kidwell)接受媒體采訪時澄清了這一說法，實際上報告飛蟲錯誤的另有其人，Bug在此前也已經有代表電腦故障的含義。

而霍珀的傳奇人生使得這則軼聞流傳甚廣。

日志顯示 Mark II 繼電器中發現的Bug（錯誤）。圖源于 網絡

她計算了阿波羅11號登月飛行軌跡

女性對科技的貢獻還包括了助力人類登上了月球，但她們在很長時間內卻是“隱藏人物”。

在NASA工作的非裔女科學家凱瑟琳·約翰遜（Katherine Johnson）就是典型案例。在美國的種族隔離時期，她10歲上高中、18歲大學畢業、為航天任務計算飛行軌跡，又被稱為“人體計算機”。

她最出名的一項任務就是，她手動計算了阿波羅11號的登月飛行軌跡，最終使得人類成功實現了第一次登月計劃。

非裔女科學家凱瑟琳·約翰遜（Katherine Johnson）。圖源于 NASA

然而，在種族隔離年代，即便有這樣杰出的能力，凱瑟琳也曾遇到不少歧視行為，比如不讓她在報告上署名、被拒絕核算工作、不被允許使用白人的咖啡機和衛生間。

最終，凱瑟琳憑借自己的實力和勇氣獲得了眾人的認可——她堅持在報告上打印自己的名字，直到獲得署名權； 在被阻攔參加高層會議時，她據理力爭。

2015年，時任美國總統奧巴馬授予她“總統自由勛章”，并且在推特上向她致敬：“她花費了數十年時間作為一個隱藏人物，打破幕后的壁壘。但在生命的盡頭，她已成為數百萬人的英雄，其中包括我和米歇爾。”

到了2017年，一部以凱瑟琳故事為原型的電影《隱藏人物》上映，更多人知曉了她們的故事。

“隱藏人物”終于站到大眾的視野里。

她們還在繼續前行

在歷史的長河上，還有許多其他在計算機領域有杰出貢獻卻默默無聞的女性。

直到2006年，圖靈獎40年歷史中才出現第一位得獎女性弗朗西斯·艾倫（Frances Allen），這個獎項相當于計算機科學界的諾貝爾獎。

圖靈獎首位女性獲獎者弗朗西斯·艾倫（Frances Allen）。圖源于 網絡

她的研究影響了計算機的發展進程，為現代編譯器優化和自動化并行技術奠定了基礎。在這些令人晦澀難懂的詞匯背后，是艾倫打破了當時的“玻璃天花板”，取得了此前女性難以獲得的認可。

到了今天，在計算機、AI領域大放異彩的女性越來越多。

比如，華裔女科學家李飛飛是全球最大圖像識別數據庫ImageNet創始人，推動了機器學習領域的發展；非洲裔美國女宇航員梅?杰米森（Mae Jemison）是第一位進入太空的黑人航天員；歐洲核心研究中心的第16屆主任奧拉·吉亞諾蒂（Fabiola Gianotti ）帶領團隊捕獲到“上帝粒子”。

她們，不再是“隱藏人物”。

后記

在AI技術如此強大的今天，生成這樣的視頻，仍需要兩個人共計耗費100個小時。我們累計生成了180個視頻，以AI圖生圖的方式來計算，相當于生成了7萬張圖片。

在制作這條視頻的過程中，我們發現AI大模型自帶一些對女性的偏見，比如身材、穿著、體態。為此，我們不得不加入一些反向提示詞來減少出現不適宜畫面的可能，像是工作場所不宜（NSFW）、裸體（Nude）、短裙（short skirt）、大胸（big breast）等等。

盡管如此，AI仍然帶給了我們很多驚喜，尤其是它超乎尋常的想象力。在測試時，我們能看到《對齊Lab》欄目的logo變成維多利亞時期的鐘表、肖像中的古典女性變得“活靈活現”、堆疊的書籍變成飛舞的符號和算法。

在一幀一幀變化的畫面里，我們用AI串聯了7位杰出女性，橫跨兩個世紀。也正是因為她們對于技術發展的推動，才讓這個視頻成為可能。

她們的故事，值得被更多人看見。

視頻背景音樂來源：pixabay

參考資料：

1.三聯生活周刊-誰說女性學不好數學？https://mp.weixin.qq.com/s/n5QDv1fCwu6wt4qqnyk1qg

2.果殼-她的故事差點被 NASA 埋沒，但芭比娃娃記得，https://mp.weixin.qq.com/s/xODnfe0-VLYjFtQmECWaIg

3.清華大學 -2020 人工智能全球最具影響力女性學者報告，https://www.aminer.cn/research_report/5e6492cc03ec444fabbe4599

4.澎湃新聞-70年前，“不適合搞IT”的女性，才是程序員的主力軍，https://finance.sina.cn/2022-02-16/detail-ikyakumy6181140.d.html