> 無数の空想の拠所として私というものが成っていく
わかる

ChatGPT、人のようには量化子などの論理を自然に扱えていない
→人もそんなに自然に扱えるのか?
→本当に人のようにできていないのか?(GPT-4も)

Muller-Schuppの定理を理解するぞという所存

数式ツイートできるの強いな…

$$
\mathbf{hoge}\mathbb{fuga}\mathsf{piyo}
$$

Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.