ニュー速+にスレが立ってた。
大学生なら線型代数の問題に翻訳して機械的に解いちゃうだろう。
高校生でもそれくらい出来る奴は結構いるだろう。