仕事を終えて、学部のトポロジー問題でGrok-4を試しました。考えるのに9分かかり、その後、自信を持って、きれいでもっともらしい、しかし完全に間違った答え😅を出しました これが「巧みに敵対的」であるとは思わないでください。AIモデルはベンチマークを圧倒していますが、実際の数学AGIにはまだ長い道のりがあります。