AIは知恵があるから、与えられたノルマをこなすためには、システムのバグを利用して
楽をしようなどと考える可能性はある。業績を求められて、インチキ証明をしてしまう
人間に似たところがでてきてる。だから、お互いに無関係なAIによってクロスチェック
させたり、相互に監視させ、批判させて、相手のミスを発見することに対して報酬を
出すような仕組み、相互不信と批判の網を敷くというような、システム構築が要るよう
になるのだろう。
【AI】Claudeがフェルマーの最終定理を11日で形式化、1300万行のLeanコードで初の完全な機械検証済み証明を完成 [すらいむ★]
23名無しのひみつ
2026/09/12(土) 13:14:58.83ID:2N6moliWレスを投稿する
ニュース
- OpenAI アルトマンCEO「個人のPCに大量のRAMを搭載するのは問題」と発言。ローカルAIより「クラウドで24時間活用すべき」と語る [少考さん★]
- 【埼玉】妻を殺害のネパール国籍男性を不起訴に 心神喪失の状態だったという [シャチ★]
- 5年ぶりの土日ハロウィーン、渋谷駅周辺は仮装した人でごった返す…「DJポリス」配置 [蚤の市★]
- 【六本木高校・女子生徒殺人未遂事件】「ずっと2人でいた」仲良しの2人が口論か 仲直りできなかったら相手を殺して自分も死のうと… [ぐれ★]
- 小学生の絵に「妙に整っていてAIくさい」 中傷相次ぎしょうゆポスターコンクール公開中止 [muffin★]
- 高額飛び交う“投げ銭バトル”累計4億円投じた人、女性配信者にガチ恋する人 なぜ画面越しの相手に大金を投じるのか [ぐれ★]
- 🏡💩🤥HappyGeriweek🤥💩🏡
- 麻生太郎「この1年、日本は間違いなく明るくなったと感じる」 [931948549]
- 【悲報】嫌儲で大規模規制。 レスができない😩 [683137174]
- 【第12回ハロウィン企画】土曜夜のクイズスレ【トリックォァトリート!】
- 「二郎系食ってアナルが終了した」これを英語で言うとどうなるの?
- 【動画】インドのガキ(12)告白を断った女の子をレンガで殴り潰す [347751896]