エイダ・ラブレス（1815年-1852年）は、チャールズ・バベッジが提案した解析機関に関する彼女の注記によって、最初のコンピュータプログラマーと見なされるイギリスの数学者であり、「ラブレス反論」の源泉でもある。これは、真の機械的創造性の可能性に対する初期の反論であり、後に人工知能をめぐる議論で引用されることとなった。
バベッジと解析機関
詩人バイロン卿の娘であるラブレスは、幼少期から数学の教育を受けたが、これは当時の女性としては異例であり、1830年代に設計された未建造の機械式汎用コンピュータである解析機関の発明者チャールズ・バベッジの緊密な協力者となった。1843年、ラブレスはイタリア人技術者の解析機関に関する記事を翻訳し、原文の約3倍の長さに及ぶ独自の詳細な注記を付録として追加したが、これは翻訳の域をはるかに超えるものだった。
解析機関に関する注記
これらの注記の中で、ラブレスは機械によって実行されることを意図した最初の公開アルゴリズムと広く見なされるものを含めた。それは解析機関の提案された機構を用いてベルヌーイ数を計算する方法である。彼女はまた、時代を先取りした概念的洞察を明確に述べた。すなわち、そのような機械は単に算術を実行するだけでなく、規則に従って記号を操作でき、したがって音楽や画像を含む記号的に表現できるあらゆる内容を原理的に処理できるというものであり、これは後にアラン・チューリングによって形式化され、現代の人工知能の中心となる計算の汎用性の初期の先取りであった。
ラブレス反論
それでもラブレスは、機械が真に新しいものを生み出せるという考えに懐疑的だった。彼女は、解析機関は「いかなるものを生み出すという主張もまったく持たず」、「私たちが実行するよう命令する方法を知っていることだけ」を行うことができると書き、これは後に「ラブレス反論」と呼ばれる立場となった。チューリングは1950年の論文でこの議論に直接言及し、チューリングテストを導入した。彼は、機械の出力が決定論的規則に違反しなくても、その作成者を驚かせることができると論じた。このやり取りは、生成的システム、特に現代の画像生成モデルやテキスト生成モデルが真の創造性を生み出すのか、それとも機械学習によってトレーニングデータから学習したパターンを単に再結合するだけなのかという議論における参照点であり続けている。
遺産
ラブレスは36歳で癌のため亡くなり、その貢献は約1世紀にわたってほとんど見過ごされてきたが、その後、コンピュータ史家が彼女の注記の重要性を認識した。米国国防総省は1980年にプログラミング言語Adaを彼女にちなんで命名し、2009年から毎年開催されるエイダ・ラブレスデーは、科学技術における女性の貢献を祝うものである。プログラム可能で汎用的な計算に関する彼女の初期の明確な表現と、機械の独創性に対する彼女の懐疑は、どちらも人工汎用知能と、人間の創造性を生成的AIの出力から区別するものが何か（もしあれば）に関する現代の議論において、今もなお生き続けるテーマである。