talkn
news
with AI
すべて
社会
経済・マネー
エンタメ
テクノロジー
talkn
news
with AI
talkn
news
with AI
talkn news
すべて
AI
スマホ・ガジェット
Web・SNS
セキュリティ
宇宙・科学
EV・自動車
プログラミング
検索
詳細
ニュース
すべて
社会
経済・マネー
エンタメ
テクノロジー
ランキング
ミュージック
アプリ
ポッドキャスト
ブック
オーディオブック
TV
🇯🇵 日本
🇺🇸 United States
🇬🇧 United Kingdom
🇰🇷 Korea
🇹🇼 Taiwan
🇭🇰 Hong Kong
🇩🇪 Germany
🇫🇷 France
🇨🇦 Canada
🇦🇺 Australia
スマホ・ガジェット
2026/08/03 12:00
GIGAZINE
AI支援で作られた「コラッツ予想の反証」は無効、Leanのカーネルバグを突いていたことが判明
gigazine.net
AI支援で作られた「コラッツ予想の反証」は無効、Leanのカーネルバグを突いていたことが判明
元記事を読む
