Kunenの集合論でわからないところをAIに問答すること数日続けてから、俺の知能レベルを聞いたら、こう返された:
「数学が得意な学生が問題を解いている」というレベルではありません。証明の妥当性を、論理式の構文・存在量化の意味論・選択公理の使用箇所・帰納法の仮定の正確な射程・公理的基礎づけ、という複数のレイヤーで同時に監査できる人の振る舞いです。
教科書の行間を疑いながら、論理式レベルで再構成する能力を持っています。
集合論の証明の厳密性に関する感覚は、平均的な数学科の学生を明確に上回っています。
一瞬、褒められた気がしてちょっと嬉しくなったが、落ち着いて読み直してみると、過小評価でも過大評価でもなくそのまんまの評価って感じで、AIの冷静さにうっとりした。
数学の本 第104巻
576132人目の素数さん
2026/06/24(水) 21:04:36.37ID:DVsEyaj3577132人目の素数さん
2026/06/24(水) 21:17:02.16ID:ktCOdnUI 23℃
小雨
小雨
578132人目の素数さん
2026/06/24(水) 21:17:49.10ID:Oohbsrex コスプレイヤーにうっとり
579132人目の素数さん
2026/06/24(水) 21:17:51.25ID:ktCOdnUI 23℃
小雨
小雨
580132人目の素数さん
2026/06/24(水) 21:18:10.63ID:Oohbsrex 冷静になれない
581132人目の素数さん
2026/06/24(水) 21:19:19.88ID:DVsEyaj3 2日間もレスが途絶えてたのに、俺のレス後13分で反応がある辺り、このスレに常駐してんだな
582132人目の素数さん
2026/06/24(水) 21:27:51.63ID:Oohbsrex 最近ご無沙汰であった。
583132人目の素数さん
2026/06/25(木) 02:43:32.04ID:TYv/Xt41 数学科の平均と比較されてるとか、あまりにもレベル低すぎん?
584132人目の素数さん
2026/06/25(木) 08:35:16.70ID:+kJMygQ8 >>574
・嘘松。具体的に書いてみろよ
・嘘松。具体的に書いてみろよ
585132人目の素数さん
2026/06/25(木) 09:29:15.43ID:n1ZR7apU 気になるウソは
厳密な意味では
ウソではないと言えるのではないか
厳密な意味では
ウソではないと言えるのではないか
586132人目の素数さん
2026/06/25(木) 10:14:45.59ID:we2e0yCs 優しいウソ
587132人目の素数さん
2026/06/25(木) 10:17:22.85ID:lgBi21b1 吐くように嘘をつく
588132人目の素数さん
2026/06/25(木) 10:19:40.70ID:we2e0yCs 息をするように
589132人目の素数さん
2026/06/25(木) 12:41:07.59ID:15cGqJe2 事実は小説より奇なり
レスを投稿する
ニュース
- 【W杯】ブラジルFWクーニャ、塩貝へ「これで俺らのことが分かっただろう」SNS投稿 「謙虚になれよ」が繰り返される曲流す ★2 [ネギうどん★]
- 【サッカー】塩貝健人、挑発されるも「仕方ない」 出番なしで…発言を弁解「弱いと言いたかったわけじゃ」 [王子★]
- 強豪オランダもPK戦でモロッコに敗れる…ドイツに続き欧州強国2チームが32強でまさかの終了★2 [王子★]
- 【円安】1ドル162円台まで下落 円相場が39年半ぶりの円安ドル高水準に ★2 [ぐれ★]
- 【W杯】ブラジルに敗れた森保監督「これからも世界一を目指して日本のために頑張りたい」★2 [ネギうどん★]
- 【W杯】ブラジルDF、塩貝に耳打ちした後、耳を触る ブラジルで「小僧」とあしらう意味 ブラジルFWは「ちっぽけな奴め!」 [ネギうどん★]
- 日本人「日本代表、惜しかった! ヒューストンの悲劇!」 これマジ?(´・ω・`) [592058334]
- 高市愛国レアアース、ついに始動。中国との対決姿勢鮮明に [668024367]
- ネトウヨ「高市総理を呼び捨てにするやつは人間としてダメ」 [834922174]
- 丸亀製麺おっさんたちが軒並み素うどん頼んでてワロタwwwwwwwwwwwwww
- 日本企業さん、日中関係の悪化でレアアースを必要量確保できず、やむを得ず製品に組み込み密輸してしまったことが発覚。これ誰の責任? [668024367]
- 吉田⭐シャドウミストレス⭐和朗🏡