定理の自動証明を AI が書いてくれるやつ Kimina Prover Demo

CS の人たちと話した方がいい気がしている、とても

偶然かもしれないけど……（他の日は話しかけるタイミングが合わなかった）

今日は人と話せるのなんでだろうと考えたけどもしかして寝不足だからか？　寝不足の方がグイグイいけるのか？

最終日の今日になってようやく色んな人と有意義な話ができて本当に嬉しい、来てよかった

先行研究一個くらい紹介しても良かったか……でも 5 分ってそういうの求められてない気も……

具体的な話を入れるとよいのではという意見がいくつかあったけど専門外向けで 5 分はどうしても無理なので割と最適解だった気がする

3 ヶ月前にやった発表のフィードバックが返ってきた。フィードバック書く側だと雑に書いてしまうけど、いざもらうと結構気になるな

「最近はこういう怪しげな論文を読んでいるんですけど……」と言いまくっているんだけど、そろそろ著者に失礼だからやめた方がいい気もしてきた。でも怪しげなんだもん……（内容は面白いと思っているが、怪しげなものは怪しげ）

専門を聞かれて「〜をやっています」というたびに（この程度で「やっている」と言えるのか……）という気持ちを必死で抑えている