matheca

クリプキの『名指しと必然性』はハイデガーの『存在と時間』よりも神々しいと感じます。「人生の意味」を深く考えたいような方にも、こちらをおすすめします。

「数学はもう終わりだ」——研究レベルの問題が、AIによって毎月1％ずつ侵食されている。数学は、人間の抽象思考の頂点の一つだった。人類が最も誇ってきた知的領域に、機械知能が持続的に踏み込んでいるということだ。この曲線が続くなら、発見の主体は根本から変わる。 アレクサンダー・ウィスナー=グロス「2つ目のポイントですが、これらの中で私が最も重視しているベンチマークはFrontier Math Tier 4です。Frontier Math Tier 4は、たしか新年に賭けまでしたもので、今年の後半にもう一度見直す必要があると思いますが、AIが数学におけるプロレベルの研究問題を解ける能力を測る、最良の代替指標の一つです。 そこで何が起きているのか。GPT-5.4 Proから5.5 Proにかけて、およそこの2カ月で約2％の飛躍が見られます。これは何を意味するのか。フロンティアAIによる研究レベル数学の能力が、現在、月あたり約1％向上しているということです。そして、Frontier Math Tier 4の問題のおよそ半分が解かれるところに近づいています。 ここから外挿すると、現在のペースがそのまま続くだけでも——そして私はそうはならない、つまり加速すると断言しますが——現在のペースだけで見ても、今後4〜5年でFrontier Math Tier 4のほぼすべて、つまりプロの研究レベルの数学問題が解かれることになります。つまり、数学はもう終わりです。 もう一度言います。数学はもう終わりです。他にも終わりつつあるものはたくさんあります。しかし、物事はあまりにも速く進んでいて、月ごとに見ても、最難関のベンチマークが毎月1％ずつ上がっているのが確認できるのです。だから、もう長くはありません」

【問題】 NHKは何の略か教えて下さい

Ｆラン大学と呼ぶのはいけないというポストがあり、論争になっている。では、どう呼べばいいのだろうか？

業績で判断するな、という方針がどこからきたのか、全く信用性に欠ける。絶対ないと思うけど仮にそうだとして、その大御所はどうやって「採用させる」ように動けるのだろう。審査のプロセス自体を全く知らないように思える。

科研費の審査をしている先生から伺ったのですが、昨今の科研費は「明らかにアンフェアになっている」ようです。「業績で判断するな」という方針が出されているようなのですが、それを逆手にとって、大御所の人が業績のない自分の身内に恣意的に高い評価を出し、採用させる事例が増えているとのこと。