finale @fnl@mathtod.online
東大生です IS23er 未踏er iGEMer まだ―字型人間 🇺🇦
「体がないと、思ったり、考えたりできないの……？」
ツイートは所属組織を代表するものではありません 個人を代表するものでもありません
Joined Jan 2023
> 無数の空想の拠所として私というものが成っていく
わかる
ChatGPT、人のようには量化子などの論理を自然に扱えていない
→人もそんなに自然に扱えるのか？
→本当に人のようにできていないのか？(GPT-4も)
Muller-Schuppの定理を理解するぞという所存
数式ツイートできるの強いな…
$$
\mathbf{hoge}\mathbb{fuga}\mathsf{piyo}
$$
Hello, mathtodon!
東大生です IS23er 未踏er iGEMer まだ―字型人間 🇺🇦
「体がないと、思ったり、考えたりできないの……？」
ツイートは所属組織を代表するものではありません 個人を代表するものでもありません
Joined Jan 2023
