opt

@blue_jam それの話です！　流石にそれが嬉しいのは本当にごく一部そうですねｗ（僕はどっちにしろ疲労で即帰宅する気がしています）

@opt_misc I〇P〇の打ち上げの話なら、「せっかくなら一緒にやったら？」と先生が言っており、有志懇親会の幹事さんに提案してみるつもりです。とはいえ、それでかなりうれしいのは一部という説があるので……

某打ち上げがマスターズ決勝と被っており泣く泣く断念

@penta_math あ，すいません，対称行列でした…🙇‍♂️

@opt_misc A=[[1,1],[0,1]], v=(0,1)^Tとかが反例になりませんか？

複雑に定義されたある 2×2 行列 A が実は単位行列であることを示したかったんだけど，GPT が「上手いベクトル v を持ってきて Av = v を示し，それとは別に tr A = 2 を示す」という証明方針を教えてくれた．この方針だと計算がかなり楽．賢いねえ

完全にAI驚き屋になっとる

GPTが「東京大学 霧プラットフォームの情報では，」と言ってきたので何のことかと少し考えた．理解して笑ってしまった

なんか面白そうなセミナー情報流れてきた．さすがに知ってる人ばっかやｗ 2026年度 第1回ORセミナー『競技プログラミングとOR: 研究と実務に活かす競プロスキル』 smms.kktcs.co.jp/smms2/event/or…

GPTしばいてたら土日が終わってた。これ時間溶けるねー

@hiyocoffeebeans 知らない機能でした👀 試してみます！

@opt_misc コーディングはめちゃ強いです あとはcoworkを使うといろんな操作を簡易化できるのでそれもおすすめです

GPT本当に賢い．数学力でもう勝てないな

@hiyocoffeebeans コーディングが強い感じですかね？👀

@opt_misc 数学はどうかわからないのですがClaudeもかなりおすすめしたいです

GPTに夢中で食事を忘れてた。そろそろ朝食食べるか

まあでもこの証明が正しいことを確認するのもそれなりの数学力がないとできないから……と自分を慰めている

しかもその発想がかなり天才的．自分じゃ絶対思いつけない

研究で登場したかなり難しい（自力では1ヶ月かけても解けないくらい）線形代数の問題を解いてくれた．すごい

今のGPTは難問投げると20分とか考えてくれるのでちょっと好き 回答が二転三転しがちだから上手く使わないといけないけど

3人中2人がめちゃよく知ってる人だ👀

【入社式を開催しました🌸】 新たに新卒3名がジョイン！ 想いを込めた「入社証」を手に、新しいスタートを迎えました。 当日の様子は、後日noteでご紹介予定です。どうぞお楽しみに。 #ALGOARTIS #入社式 #採用

研究室に新たに学生が来て賑やかになった。4月って感じでいいねえ