今日から木曜日まで駒場で物理学会をやっているようだ．別に参加するわけではないのだが，お昼ご飯を食べに出たらすぐ近くは大体どこも並んでいてびっくりした．

TeX Live 2026のarmバイナリこねーなと思ったので自分でビルド，ごめん嘘ついた，AIにお願いしてビルドしてもらった．エラーとか出ても勝手に直してくれて，なんかビルドできたみたいなのでとりあえず使ってみることにした．で，いつもので速さみてみる．前回のやつ．PCは同じ．何回か実行した後です．

和欧	エンジン	x64全体	x64メイン	arm全体	armメイン
欧文	pdflatex	3.10秒	1.87秒	1.43秒	0.96秒
欧文	lualatex	16.01秒	11.5秒	11.3秒	8.56秒
和文	platex	7.19秒	5.59秒	5.47秒	4.67秒
和文	uplatex	6.62秒	5.04秒	4.58秒	3.85秒
和文	lualatex	41.46秒	29.44秒	29.91秒	19.79秒

なんか前回に比べて全体的に遅くね？　まぁ，とりあえずarmの方が速いのは速そうだが．

Interludeはあっさり終わった．2時間かからず．ここまで短いと面白いも面白くないもないな……．本命のFF4 The After yearsを始めたところ．最初はセシルとローザの子供が騎士の証を取りに行くところから．途中でおつきのビッグスとウェッジから別れ，洞窟の奥まで行って騎士の証をとるころには二人と同レベルまであがっているという成長の感じられる展開．

FF4は終わり．ゼロムス:EGは苦労せず．クリア後ダンジョンの経験値が多すぎる．最終的には75くらいまであがった．ギルバードだけ試練やってないけどもういいかな．Interludeを始めたところ．さくっと終わるはず．

ステータスは気にしないことにした．下がるなら下がれ！　で，月の遺跡もほとんど終わって，プラキオレイドスも倒した．カウントダウン中に攻撃を加えるとモードチェンジし手がつけられなくなる，カウントダウン後はメガフレアを知っておけば，後は単体攻撃なのでやられたら適当に起こし，カウントダウン中には攻撃せずリフレクをはることにすればなんとなく倒せた．といってもカインのジャンプのタイミングミスってやられたけど．

FF4，全員のレベルが70に近づいてきた．FF4は70を超えると成長がランダムになる．それだけならいいのだが，なぜかステータスが減ることがある．これはPSP版でも引き継がれている模様．そしてさらにパーティー外成長もある．最高の成長を目指す吟味をするつもりはないのだが，マイナスを避けるくらいはしたかったんだがなぁ．まぁそれも厳しいのでいいや．マイナスだけは移植の際になくせばよかったのに，という気はする．パーティー外成長と相性悪すぎ．

今更ながらAIのこと．何年後かのメモのつもりで．ChatGPTが公開されたのが2022年11月30日だそうだ．2023年の共通テストでは，GPT4.0は受験生の平均点は超えた，なんて話だったようだ．当時は数学は苦手というか問題文が読み取れない，なんて話もあった気がしたのだが，2026年度はむしろ数学は特異で満点．というか東大入試だろうと数学オリンピックだろうと満点．というか普通に有名予想解いたなんて話が今年度になって出てきた．とにかく進歩が早い．

個人的にも使ってはいる．一年半くらい前に一ヶ月だけProを契約して数学の話し相手になってもらったことがあったのだが，でたらめも言うし，かなり丁寧に扱わないと話し相手になってくれない感じだった．それでもすごいと思ったけど．で，今．Plusを使っているが，でたらめはほとんど言わなくなったし，雑に聞いても答えてくれる．いろいろやる上での補助には最適．

と言っているのも今だけだろうか．このままの勢いで伸びていけば大概の自分たちが考えている問題はさくっと解いてしまいそうだ．しかし答えが得られればそれでいいってわけでもないような……．なんか栄養がとれればよいといってカプセルみたいなのがご飯になっているようなそんな感じ．銀河鉄道999にそんなんあったっけ？

まぁ今までもこんなん考えているけどすごい人がやれば一瞬で終わるんじゃないか，なんて思っていたのはあるけど，でもすごい人はそんなにたくさんいなくて，一方数学の分野はたくさんあって，だからすごい人が目の前のことをやる可能性は低いだろう，という感じだった．すごい人よりもすごいAIがいくらでも爆速で考えてしまう時代が来るのは2022年11月以前には想像もしていなかった．まぁドラえもんはできるだろうと思っていたので想像していなかったのも変かもしれない．

数学者というもののありようが大きく変わりそうなのは間違いなくて，でもどうなるかわからないのでとりあえず明日も今まで通りの数学をします．