HR（ソフトウェア）

HRは、数列を検索することで数学理論を自動的に構築するコンピュータプログラムです。サイモン・コルトン^{[1] ：34-36}によって作成され、その名前は数学者ゴッドフリー・ハロルド・ハーディと シュリニヴァーサ・アイヤンガル・ラマヌジャンの頭文字に由来しています。

HRは、アリソン・ピーズ、サイモン・コルトン、アラン・スマイル、ジョン・リーによって開発された人工知能プログラムHRL （「L」はイムレ・ラカトシュに敬意を表して）の基礎を形成しています。 ^{[2] [3] HRLはソフトウェア「学生」エージェントを生成し、情報を与えられて}推論を試みます。推論がどれだけ「興味深い」かを評価し、十分に興味深いものを「教師」エージェントに送信します。^[4]教師は学生の間でグループディスカッションを手配し、推測のさらなる修正を要求する場合があります。^{[1] ：36ボックス「推測の再発明」}

HRL による成功した成果の 1 つは、ゴールドバッハの予想を独自に発明したことです。「生徒」エージェントは、整数と除算の概念を与えられ、「偶数」と「2 つの素数の和」の概念を導き出し、「すべての偶数は 2 つの素数の和として表すことができる」という予想を生み出しました。「教師」はさらなる発展を促し、1 人の「生徒」が反例 (数 2) を見つけました。HRL は予想を適切に修正しました。^{[1] : 36 ボックス「予想の再発明」}