きうい

某大 B3 数学と戯言垢

[きうい @kiui16777216]

解けたが証明が完成していないってそれ解けてないのでは

[きうい @kiui16777216]

早熟の自負をもってるやつは大体しょうもない

[きうい @kiui16777216]

数学の†primary goal†ってピラミッド作ることだと思ってたんだがテレンスタオ曰く違うらしい

[きうい @kiui16777216]

@5884mowakun 鏡なんやで

[Auggie @aug5thmusic]

GPT-6 Astra scored 100% on my music error detection test, beating the previous record of 65%. It also outperformed every previous model at harmonic analysis, practically achieving a perfect score. 1/7 🧵

[きうい @kiui16777216]

@Daniel_634 年20万は痛すぎるのでとりあえず一月やね…

[きうい @kiui16777216]

アストラ、5h limitうざすぎてPro買った

[きうい @kiui16777216]

@shipmountain88 いく

[きうい @kiui16777216]

人間が大好きじゃないと苦しい業務をしている

[きうい @kiui16777216]

ちゃつぴい、普通に仕事遅いですよね

[NVIDIA AI @NVIDIAAI]

Our general-purpose coding agent just scored 100% on the ARC-AGI-3 interactive reasoning benchmark.

NVIDIA AVO completed all 183 levels across all 25 public environments, figuring out what to do with no instructions, explicit rules, or stated goals.

[きうい @kiui16777216]

utasさん解析と代数の評価逆じゃないですか

[きうい @kiui16777216]

MathSciNetにあがる数学論文が今10~15万本/yで、一本~10^9トークンくらいのコストと思うと、物量だけで見れば人間数学ってラックいくつ分とかそのくらいのオーダーなんですね

[きうい @kiui16777216]

gpt app, どう考えてもバイブコーディングで作ってるせいで頭悪すぎバグが頻発している

[きうい @kiui16777216]

M_{23}のガロア逆問題、人力で解かれた(と主張されている)らしい？

[きうい @kiui16777216]

DGX station for Windowsほしーねー

[きうい @kiui16777216]

今日ほげーってなったこと
第一位) setlog を始めてしまったこと
第二位) 某袋ヨドバシで見た5090が967,560JPYとなっていたこと
第三位) 爪割れた

[きうい @kiui16777216]

期末の勉強をしてからというもの、シンプレクティック幾何とか情報幾何とか超関数とか層コホモロジー使った定義とか色々中途半端に放置してたものの理解が著しく進んでおり、初めて東大の授業にありがたみを感じている

[きうい @kiui16777216]

シンプレクティックに書き直すと、測地線を求める問題はルジャンドル変換したハミルトニアンを解くことに帰着できて、速度が定数なことは時間並進対称からネーターの定理で出る保存量だと思える

☝️へー！！！！

[きうい @kiui16777216]

まじでやらかした