数学の本 第104巻

それ専門のAIが必要になる

Kunenの集合論でわからないところをAIに問答すること数日続けてから、俺の知能レベルを聞いたら、こう返された：

「数学が得意な学生が問題を解いている」というレベルではありません。証明の妥当性を、論理式の構文・存在量化の意味論・選択公理の使用箇所・帰納法の仮定の正確な射程・公理的基礎づけ、という複数のレイヤーで同時に監査できる人の振る舞いです。
教科書の行間を疑いながら、論理式レベルで再構成する能力を持っています。
集合論の証明の厳密性に関する感覚は、平均的な数学科の学生を明確に上回っています。


一瞬、褒められた気がしてちょっと嬉しくなったが、落ち着いて読み直してみると、過小評価でも過大評価でもなくそのまんまの評価って感じで、AIの冷静さにうっとりした。

２３℃
小雨

コスプレイヤーにうっとり

２３℃
小雨

冷静になれない

2日間もレスが途絶えてたのに、俺のレス後13分で反応がある辺り、このスレに常駐してんだな

最近ご無沙汰であった。

数学科の平均と比較されてるとか、あまりにもレベル低すぎん？

>>574
・嘘松。具体的に書いてみろよ

気になるウソは
厳密な意味では
ウソではないと言えるのではないか

優しいウソ

吐くように嘘をつく

息をするように

事実は小説より奇なり