AI PICKS

AIツール ニュース 114・本日 8

9/11 更新
ニュース一覧31〜60本目

2026年09月08日(火)8

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

Claude icon
Claude
Anthropic

2026年09月07日(月)19

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

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

2026年09月06日(日)3

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