数学の本 第104巻

数学書やその周辺の話題について語りましょう。

荒らしや煽りは禁止。
見ている人を不快にさせる書き込みはひかえてください。
人としての基本的な礼節を守って、皆で楽しみましょう。

数学の本　まとめサイト
http://www3.atwiki.jp/math/pages/1.html

過去スレ
100
数学の本 第100巻
https://rio2016.5ch.net/test/read.cgi/math/1724160419/

101
数学の本 第101巻
https://rio2016.5ch.net/test/read.cgi/math/1726216883/

102
数学の本 第102巻
https://rio2016.5ch.net/test/read.cgi/math/1731486966/

103
数学の本 第103巻
https://rio2016.5ch.net/test/read.cgi/math/1737421426/

解答のない演習問題をAIに証明させてるんだが、AIの証明がくっそ汚かったり、議論の進め方が厄介すぎて、読み解くのに時間がかかる。
これまでは自分で考えるのに時間を使ってたが、AIの登場によってAIが何を言おうとしてるのかを読み解くことに思考力が割かれる。

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

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

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


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

２３℃
小雨

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

２３℃
小雨

冷静になれない

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

最近ご無沙汰であった。

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

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

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

優しいウソ

吐くように嘘をつく

息をするように

事実は小説より奇なり