Every Day I’m Galerkin

「数学はもう終わりだ」——研究レベルの問題が、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％ずつ上がっているのが確認できるのです。だから、もう長くはありません」

Trying to find that evidence that timed testing causes maths anxiety.

NEW: The FBI and Federal prosecutors in New York say they've charged Sean Pildes, the leader of "SantaCon" an annual charity fundraiser in NYC, with allegedly pocketing a significant amount of the proceeds himself. Pildes was arrested this morning and charged with wire fraud.

Impressive, very nice. Now let’s see how many vote against giving him a $1.5 trillion military budget in a few months

Who’s going to SIAM in Cleveland this summer?

The whole Iran war is looking more and more like a gimmick to drop energy sanctions on Russia and pressure Europeans to do the same. A war to make Russia’s much larger war easier and possible to sustain.

Wachspress has now published an essay about her allegation. She says that she was a junior when she was Biss’ student, in roughly 2004 when he’d have been about 26. He waited until the course was over and asked her out. They “made out” a few times, she says, and then he broke it off, saying he shouldn’t date a student.