本文へスキップ
AI PICKS

AIニュース(生成AI・AIツール)(15ページ目) 全426本・本日 13本

10/8 更新

ニュース一覧

421〜450本目

2026年09月09日(水)3本

2026年09月08日(火)10本

Anthropicは2026年9月4日、AI「Claude」がフェルマーの最終定理の証明を完成させたと発表しました。Claudeは11日間ほぼ自律的に作業し、「Lean」で約1300万行のコードを書きました。最終的な証明に使った定理は29,500件で、全体をコンピューターが検証済みです。

Claude icon
Claude
Anthropic

2026年09月07日(月)17本

L&Lライブリーライフが、日本語配列のワイヤレスキーボードを発売しました。キーボード右側の板を、タッチパッドとテンキーに切り替えて使えます。価格は3580円で、TikTokショップで販売します。

日本語配列ワイヤレスキーボードPR TIMES

掲載するのは、公式サイトや一次ソースで確認できた事実だけです。推測や未確認の数字は載せません。各記事の末尾に出典リンクを置いています。写真は各出典元が配信用に公開しているものです。編集方針