Tom Wakayama

ゆるふわ研究者

[Tom Wakayama @10m8mkW]

最近の生成AIはある特定の意味では賢すぎるので、奇天烈なアイデアを出すには向いておらず、少なくとも業界では既存のアイデアの内挿と見做されるものばかり出力してくる

[Tom Wakayama @10m8mkW]

ドパガキなので食事睡眠以外の独り時間は研究ばかりしてしまう

[Tom Wakayama @10m8mkW]

車輪の再発明的な、自分で勉強せずにAI出力を信じて書いたであろうものが多く、読者としては新しい情報を得づらくなっているのが残念

[Tom Wakayama @10m8mkW]

未熟な学生がAI生成したような単著論文を見る度に未来を憂いてしまう。

[結城浩 / Hiroshi Yuki @hyuki]

テレンス・タオによる『AI時代の数学』。2026年国際数学者会議での公開講演をエッセイ化したもの。ケーススタディとして「数学における問題解決とは何か」を一例として分析している。結論は一様ではなく、領域に応じてベストプラクティスを定義する必要があると結ぶ。

"数学コミュニティは、AI が研究レベルの数学的タスクを実行できるようになるという事態にどう応答すべきか。Taoは能力の是非を論じるのではなく、「AIの能力は近い将来ある程度実現する」と仮定した上で、それに直交する問い（数学の目標と価値とは何か）を検討。"（AIによる概要）

◆[2608.16753] Mathematics in the age of AI
https://t.co/0BCgFSniUb

[Tom Wakayama @10m8mkW]

やはりUFC330みたいな激アツ興行からインスピレーションを受けて研究に勤しむべきであり、南青山で隈研吾を有難がりcicadaで高いワイン開けるような大人になってはならない。

[Tom Wakayama @10m8mkW]

Codexは便利だけど、防御的だし分岐させ過ぎだし、こういうスロップのチェックが面倒くさい。

[Tom Wakayama @10m8mkW]

友達とサウナ行って整いまくってきた
これはもう論文書くしかない

[Tom Wakayama @10m8mkW]

科学的発見の論文を書き始めた。結構難しい分野だということが分かってきて、滑らずに成立させるには哲学的基礎が大事だと思う。

[Tom Wakayama @10m8mkW]

スイスの人とzoomをしたんだけど、遠い山々を背景に設定しているなと思っていたら、実家の庭からのアルプス風景だった。シャソチルだったのでロマンシュ語圏に強い憧れがある。

[Tom Wakayama @10m8mkW]

https://t.co/zvqYqdNjNA

[Tom Wakayama @10m8mkW]

偉い先生に最近出した私の本を読んだか？と聞かれたので、目次だけ覚えていたのを良いことにn章が特徴的だよねと答えておいた。危ない。

[Tom Wakayama @10m8mkW]

馬場のバインミーはうまい

[VIETJOベトナムニュース @VIET_JO]

日本バインミー協会、「ベストバインミー2026」受賞3店舗を発表 [日系]

　日本国内におけるバインミー(ベトナム風サンドイッチ)の認知向上と普及を目的に活動する日本バインミー協会(東京都)はこのほ...
https://t.co/aB2nxKQOS6

[Tom Wakayama @10m8mkW]

Nice work. Cool team.

[Dake BU @dakebu_cityu]

1/ Following our ICML 2024 Oral paper EoH and lean libs of Prof Fanghui Liu, Sho Sonoda etc, we are building automatic proof sys and Lean libs for 3 domains:

QuantumComputinglib: https://t.co/COk3TjEXet

BanditRLlib: https://t.co/iwedEmoecD

Samplinglib: https://t.co/9oOYfb5LDf

[Tom Wakayama @10m8mkW]

品種に応じて洗い方や水の分量を調節することで米を美味しく炊けるという、幸福度に直結する特技をもっている

[Tom Wakayama @10m8mkW]

この分野ではAI生成されたような意味のない定理を沢山見かけるようになってしまった。結果が弱いとかではなく、なんの含蓄もない定理。ならない方がマシとさえ思える。

[Tom Wakayama @10m8mkW]

出張先で色んな人とミーティングができてそれはそれとしてよかったんだけど、その間に日本では皆が進捗を産んでおりしばらくチェックに追われることになってる

[Tom Wakayama @10m8mkW]

principledな手続きの本当に良いところは、部分的な正当化ではなく、本当にend-to-endな正当化があるところなんだよな。

[Tom Wakayama @10m8mkW]

飛行機の中で少し前のクラシコが観れて、あの頃のモドリッチのゲームメイクが最高だった。
モドリッチみたいなPIになりたい。

[Tom Wakayama @10m8mkW]

これなら柔術マッチでもあった方が盛り上がったんじゃないかという興行だった