Ryotaro Niwa

PhD student at UTokyo / quantum information

[Ryotaro Niwa @rye_496]

「自分が証明できる任意の命題はAIも証明できる」というのはほぼ確実に真になりつつあるとは思うが、自分の思いつくありとあらゆる「筋の良い」アイデアをAIが先に思いつけるとは限らないかな

[Ryotaro Niwa @rye_496]

「任意の人間が思いつく任意のアイデアについて、あるAIシステムが存在してそれを生成することが可能である」という命題をAIが証明できたら、研究をやめようと思う。

[Ryotaro Niwa @rye_496]

Ultra君も本気になってくれた��うで、その後20分ちょいで証明完了しました。やっぱ賢いね

[Ryotaro Niwa @rye_496]

半日かけて自分で導出した証明をAIにやらせたところ、30分で諦めてしまったので、煽ってみた。

[Ryotaro Niwa @rye_496]

特に、「open problemを解く」みたいな研究だとGPT 5.6 Sol Ultraに勝てなくなりつつある気もする。

一方、新しいアイデアを提案するタイプの研究は別ジャンルなので無くならないはずだが、そのアイデアもAI由来かどうか��他人が判定するのは難しくなるかもしれない。

[Ryotaro Niwa @rye_496]

GPT 5.6 Sol Ultraの証明能力は異常。

(1) IMOを37分で6完
(2) 自分の論文の拡張をさせたら1時間で完了
(3) アイデアをあげたら1時間で未解決問題を部分的に解決

普通にAI使ったら1時間に一本くらいのペースで論文が書けそう。

[Ryotaro Niwa @rye_496]

あと、アイデア生成にも使えそう。

「何でもいいから論文書いてみて」と言うと
割とまともなアイデアらしきものを返してきた。

FableもGPT5.5もそこは全然ダメだったので、公開モデルとしては初めて自律研究ができるレベルに達している可能性があると思う。

[Ryotaro Niwa @rye_496]

Claudeに簡単なホームページを作ってもらった
https://t.co/MDVeQBG2g6

[Ryotaro Niwa @rye_496]

出会ったドイツ人、いい人たちだった

[Ryotaro Niwa @rye_496]

ミュンヘン工科大学の数学科。建物の中に最速降下曲線の滑り台がある

[Ryotaro Niwa @rye_496]

オープンハウスでルームメイトだった知人に街中を案内してもらい、大変よかった。

住みたい街ランキング1位かも

[Ryotaro Niwa @rye_496]

ミュンヘン、いい街だ

[Ryotaro Niwa @rye_496]

共変量子誤り訂正符号との関係や、使えるチャンネルの数が偶数の場合と奇数の場合で異なる挙動が見られる点は興味深いと思います

[Ryotaro Niwa @rye_496]

新作です：
https://t.co/qRo2nlKZtJ

高木研の皆様と一緒に、村尾研のお家芸である「高階量子計算•SDP•表現論」の論文を書きました。

未知のユニタリにノイズが載るという状況下で、元のユニタリを復元する最も一般的なプロトコルについて考えました。

[Ryotaro Niwa @rye_496]

@P_perovskite かなりゴリ押し証明だから、個人的にはもうちょっと詰められると思ってる。

かなりいい問題だと思ってたんだけど、arXivに出ちゃったからさっさとやらないとDmitryとかFrancescoとかに解かれちゃいそうだね。

[Ryotaro Niwa @rye_496]

@P_perovskite そうだよ。最近あんま報告してなかったけど、個人的に結構考えてたからね、驚いたね

[Ryotaro Niwa @rye_496]

@SuMuotter ありがとうございます！

[Ryotaro Niwa @rye_496]

そういえば

CaltechとMITに合格をいただきました

物理を続けられるかもしれません

先生方に感謝しています

[Ryotaro Niwa @rye_496]

@P_perovskite ありがとう〜

[Ryotaro Niwa @rye_496]

関係する分野の人は、今後もどうぞよろしくになるかもです