ペンシルバニア大学の数学教授Robert Ghristは、GPT-o1-miniというAIモデルと興味深い「知力対決」を繰り広げています。教授は、より複雑なボトルネック双対定理の一般化を導き出すことに苦労し、幾度となく楽観と失望を繰り返しました。Ghrist教授は、GPT-4、Claude-3.5、Gemini-1.5-Proなど、複数の著名なAIモデルを試しました。これらのモデルは