神保町ブックフェスティバルでお話しした皆さん、本を買ってくださった皆さん、お世話になった皆さんどうもありがとうございました！（写真はワゴンで最後に踏ん張ってたときのものです）

AIが数学やプログラミングを変えていくなかで、自分で問題を解いたり、ものをつくったりすることが好きだった人は何を感じるのか。 海外の数学YouTuberの「数学の道に進むなら今ほどよい時代はない」という動画についたコメントが印象的だったので、日本語訳を紹介します。 ―以下、日本語訳（投稿者名：alvih333）― まだ肝心な点が見落とされている気がします。それに、ソフトウェアエンジニアたちが今の状況にどうにか折り合いをつけようとしている姿と、とてもよく似ています。あなたが言っているのは、「確かに、数学のこの部分はもう自分たちでやらなくてよくなる。でも、その代わりに、今度はこういうことができる」ということですよね。でも問題は、大半の人が、そもそもその「代わりのこと」をやりたくないということなんです……。 いや、もう自分たちをごまかすのはやめましょう。数学やソフトウェアに惹かれた私たちのようなオタクは、それを一つの芸術だと思っていたからこそ、夢中になったんです。自分の腕を磨いて取り組む、職人仕事のようなものだった。複雑な数学の問題を解けるのが、街じゅうで自分一人だけであること。証明を発見し、広がり続ける人類の知識に新たなものを加えることで、自分の存在を後世に残すこと。そこに魅力があったんです。 ものすごく質の高いハンドバッグをつくることに、生涯の情熱を注いでいる革職人を想像してください。自分が手がけた品が、誰かに一生使ってもらえて、使うたびに喜びを与えられる。そのことに喜びを感じている人です。 ところが、徐々にではなく、ほとんど一夜にして、誰かが家の戸口にやってきて、こう言うんです。 「私たちなら、あなたのつくるものより50倍も優れたバッグを、10分の1の値段でつくれます。でも、心配しないでください。あなたは工場を監督したり、このバッグがどれほど素晴らしいかをお客さんに説明して売り込んだりすれば、今よりもっと稼げますよ」 いや、言っていることは分かります。でも、それは私が自分の人生でやりたかったことじゃないんです。マネージャーになりたかったわけでも、営業マンになりたかったわけでも、物書きになりたかったわけでもありません。 好きでやっていた、自分の腕を振るう仕事が奪われたんです。その喪失を悲しむくらい、認められてもいいはずです。「ほかのことができる」と言われても、そんなことはどうでもいい。そもそも、その「ほかのこと」をするのが好きだったわけではないんですから。 私が楽しかったのは、問題を解くことや、コードを書くことでした。「いや、プログラミングの本質は、もともとそこにはなかったんだ。実は最初から、マネージャーになることだったんだよ」なんて言われても、そんなことはどうでもいいんです。私はマネージャーになりたかったわけじゃない。何かを管理したかったわけでもない。出来上がったものをチェックする校正係になりたかったわけでもないんです。 こんな現実の中で生きるのは、本当に嫌なんです。

充分に勤勉だった日本人を３０年間すり潰して使役してきたお陰で後続世代が「勤勉でも対価が貰えない」と判断して勤勉をやめた状況が今。「ただ勤勉なだけ」を評価しないと勤勉さは育たないのだ。勤勉を最低条件とするのは経営者が真面目な日本人に甘やかされてきたからとも言える。甘えんな経営者。

Opus5.5の分析力は確かに良かったけど相変わらず未知領域の創造性？想像力？が皆無すぎてオリジナルのものを作ることの相談に全く使えない。昔誰かが言ってたことから出られない。1年前のchatgptにも劣ると思う…アイデアの議論についてはやっぱり chatgpt か gemini か

菲尔兹奖得主、加州大学洛杉矶分校数学教授陶哲轩在最新访谈里罕见发火，直接点破了大模型刷榜背后一个没人收拾的烂摊子， 他说这场 AGI 竞赛正变得充满毒性，OpenAI 一口气倾倒出的 300 多篇论文，一夜之间端掉了年轻学者的初级研究课题。 他在访谈里算了一笔很无奈的账，面对这 300 多篇突如其来的 AI 论文，连他自己到现在也只顾得上看其中的 10 篇， 剩下的一大堆内容晦涩难懂，根本没人有精力仔细审完，甚至已经有一两篇因为被揪出错误而撤回。 外行看热闹的时候，习惯把 AI 批量证出数学定理当成技术突破来庆祝，觉得模型跑通了证明、发完新闻稿就算大功告成。 但陶哲轩直接戳破了这层泡沫，大厂为了多证几个定理、多发几篇公关稿、顺便测一把手里的新玩具，不惜把理解二字彻底抛在一边，这些 AI 只是在疯狂耗尽人类攒下的问题库，却没有给学科补回任何新的东西。 这就好比原本留给年轻学徒练手升级的新手村课题，被一台推土机连夜铲平了， OpenAI 发完战报就觉得任务已经完成，也没有派人来协助清理，留给学术界的却是一堆没法拒绝的盲盒，里面好东西和垃圾混在一起，连比例是多少都没人摸得清，学者们反而得花海量时间去替 AI 验算排雷。 本质上，这给所有每天用 AI 写代码、做业务的人揭开了一个残酷的现实， 当生成内容的成本降到零，真正的瓶颈就瞬间变成了人类的审查带宽，不管是在顶尖科研还是日常工程开发里，只管倾倒未经验证的 AI 产出，不仅不是提效，反而是在给团队制造审核灾难。 不过看这段批评也得留个清醒，陶哲轩本人一直是数学界走在前列拥抱 AI 工具的学者，他一直在推动用 Lean 形式化语言辅助数学研究， 他真正反感的是大厂只管跑分公关、把人工核验成本甩锅给社区的做法，而不是否定 AI 参与科学探索本身。 当生成答案的成本变成零，不带理解的批量输出就不再是资产，而是全行业的审核负债。