>>25
原理的には限界がある。
LEAN+AIでやっても、バグがあるかどうかは、そのシステム自身は判断ができない。
ゲーテルの不完全性定理
外部のより強固なシステムで、ってやったとしても、いたちごっこで同じ
ゲーテルの不完全性定理
AIで数学の難問を解く行為は「科学や数学界に有害だ」…世界の数学者25人が非難の緊急声明 [すらいむ★]
27名無しのひみつ
2026/09/12(土) 22:38:45.76ID:FAD9l8ZYレスを投稿する
ニュース
- 【節約】ローソンが“○○だけ”のコスパ追求「一点グルメ」弁当発表 “コーンだけ”や“サケだけ”具材1種で価格最大5割安 [煮卵★]
- ショートスリーパー堀大輔氏 1日30分睡眠の1週間ライブ終了「体力はあり余っている」アクシデントありも完走 [Anonymous★]
- 【速報】地震 茨城県で最大震度3 [ニョキニョキ★]
- 【🦗】「気づかず半分飲んだ」くら寿司汁物に“コオロギ”混入?Threads投稿拡散、運営会社「把握している」保健所に報告 [ぐれ★]
- そりゃホームからなくなるわけだ…「立ち食いそば」が絶滅寸前の危機 哀愁漂う昭和の遺産がなくなりつつある理由 [ぐれ★]
- ラーメンの適正価格はいくら?ラーメン評論家が感じる「違和感」 [muffin★]
- 地震 [509448172]
- 木戸クラッチ🍚の🏡
- サウジアラビア「助けて!東、南、北の3方向から攻撃受けてるの!」トランプ「そう・・・(無関心)」 ★2 [633746646]
- 【悲報】習近平、逝きそう [199590541]
- 【画像】メスガキ(9)、4184kcalの特盛ペヤングをほぼペロリ💥 [632966346]
- 地震