Rats

計数(数理) B4

[Haruki Watanabe @haruki_wtnb]

当研究室では日本からの大学院留学生を大歓迎します！
正規の大学院生になれば全員に年間HK$229,620=約460万円が支給され、経済的に独立して生活できます。
性別などは一切関係なく、能力とモチベーションで評価します。興味がある方はメールでご連絡ください。
https://t.co/nDpuqwCWtA

[Rats @Ratstar216]

逆に VLA とかは数学ほど論理的でない分、自分が方針を考えたり、AI により良い方針を考えさせるきっかけになる情報を与えたりする余地がある印象で、少なくとも2027年の間はまだ大丈夫そう

[Rats @Ratstar216]

ある分野において、AI + 自分 と AI だけのときでパフォーマンスにどれだけ差が出るかが、それを仕事にするかどうかの判断基準
数学は自分が修士になる2027年でもう自分のやることはなさそうだとここ一年思ってきて、今は確信になりつつあるけど、数学をしている時は地に足がついている感じがして良い

[Andrew Conner @connerdelights]

Terence Tao posted his ChatGPT session trying to understand the Jacobian conjecture counterexample. It's so lovely reading a slice of how his mind works, the connections he's making, etc.

https://t.co/wu6CcAk3V6

[Rats @Ratstar216]

GPT-5.6 sol ultra (pro は一応制限あるので使わなかった)と Fable 5 に、人生で心に留めておくべき大切なことを聞いたらどっちも your attention is your life みたいな答えが返ってきた
これが本当の attention is all you need

https://t.co/wq118PDw4E

https://t.co/YhanjARUrq

[Dmitry Rybin @DmitryRybin1]

5.6 Pro full score in 22 minutes on Day 2

[Rats @Ratstar216]

分野によって違うから研究って一括りにするのは良くないけど

[Rats @Ratstar216]

思ったより AI が苦戦していたけど、研究を完全に AI が置き換えるのもあと5年くらいで来てもおかしくない

[Psyho @FakePsyho]

Borys from OpenAI is currently on the livestream for AWTF algorithm track

A few highlights from his comments:

- "What are your current thoughts on performance of the model?"
- "Actually, I think it's quite unexpected. I'd personally expect that it would solve everything. But obviously you have like problem E, so you did a really good job creating hard problems. At least before the competition, we obviously tested our system on previous competitions (...) and the system was able to solve everything and mostly under one hour so similar to today's A, B, C. (...) Today's D and E are actually much harder than any atcoder problem that we saw before."

- "There's a model inside and a little bit of harness to make sure that we can extend the test time compute. And the model itself is similar to 5.6. Everyone could write their own harness to basically increase test time compute and get similar results 5.6.

- "The progress is huge. I'm pretty sure that half a year ago, we couldn't solve most of the problems here"

- "AI doesn't internet access. (...) I think that our models already know a big art of the internet so it doesn't need to google anything"

[Rats @Ratstar216]

Mythos とかが出てくると、いよいよ完全な理論研究もお金が物をいう時代になってくるのか...

[Rats @Ratstar216]

そういえば五月祭のときに、昔九州大で甘利先生の講義を受けていて、みんな何もわからなかったけど単位はくれて優しかったみたいな話をされた

[工学博覧会 @apmayfes]

工学博覧会は、オンラインでも企画をお楽しみいただけます！！

光班　レーザーパズル⇩
https://t.co/fYboV8z5MR

ボードゲーム班　コリドール⇩
https://t.co/1EI3KxFoOU

金融班　ギャンブル体験ゲーム⇩
https://t.co/T4C1Kzsfkq

[工学博覧会 @apmayfes]

工学博覧会の公式Webサイトが公開されました⇩
https://t.co/w5evOjx7PJ

#五月祭　#五月祭2026 #工学博覧会2026

[Rats @Ratstar216]

@Ho_saaay 😭

[Rats @Ratstar216]

@Ho_saaay 結構悪質なバグらしいから幸運を祈る🤞

[Rats @Ratstar216]

今年の入学式の祝辞、全体的に自分と思想が合わないかも
特に、「肉体がないから AI は愛情を度外視したり、戦争で冷酷な判断をしたりする(逆に人間はそうではない)」みたいなところ

[Yoshi-aki Shimada @yoshi_and_aki]

あ、これ公開されてる。

私が東大から香港に移ったわけ　研究費と待遇に圧倒的な格差が生じている - 日本経済新聞 https://t.co/gEYYliFPxZ

[Rats @Ratstar216]

Gemini の deep research, すぐ「戦略(的)」って言葉を使いがち

ChatGPT はそんなことない気がする(英語での出力しか見て���いからきちんとした比較はできないけど)

[OpenAI @OpenAI]

Introducing Prism, a free workspace for scientists to write and collaborate on research, powered by GPT-5.2.

Available today to anyone with a ChatGPT personal account: https://t.co/9mTLAbxPdH