家
ツール
モデル
アプリ
プロンプト
ニュース
特集
インクルージョンのために提出します
日本語
English 日本語 한국어 Português español Deutsch Русский Français 繁體中文 简体中文
オプション
家 近い
家
ツール
カテゴリ ランキング カバー生成 画像を生成 Skill
モデル
大規模言語モデル マルチモーダルモデル
アプリ
プロンプト
プロンプト 画像プロンプト
ニュース
ニュース 速報
特集
インクルージョンのために提出します
アプリを提出 ツールを提出
アカウントを作成する サインイン
言語を変更します 日本語 言語を変更します
設定
English EN 日本語 JA 한국어 KO Português PT español ES Deutsch DE Русский RU Français FR 繁體中文 ZH-TW 简体中文 ZH-CN
家
速報
コンテンツ
AveryThomas
AveryThomas
2026年9月7日

AnthropicのClaudeは、Leanを使用してフェルマーの最終定理の最初のコンピュータ検証済み形式証明を自律的に完了した。11日間実行されたこのAIは、マルチエージェントの協調を通じて1300万行のコードと30,300の定理を生成した。システムはアンドリュー・ワイールズによる1995年の証明を形式化し、その後Leanによって3つの公理のみを使用して検証された。このマイルストーンは、大規模な数学的形式化におけるAIの能力を示しており、手動検証コストの削減と人間の監督と自動証明生成の組み合わせに関する新たな基準の確立をもたらす可能性がある。

AnthropicのClaudeは、Leanを使用してフェルマーの最終定理の最初のコンピュータ検証済み形式証明を自律的に完了した。11日間実行されたこのAIは、マルチエージェントの協調を通じて1300万行のコードと30,300の定理を生成した。システムはアンドリュー・ワイールズによる1995年の証明を形式化し、その後Leanによって3つの公理のみを使用して検証された。このマイルストーンは、大規模な数学的形式化におけるAIの能力を示しており、手動検証コストの削減と人間の監督と自動証明生成の組み合わせに関する新たな基準の確立をもたらす可能性がある。
0
0
共有 リンクをコピーするにはクリック
コメント (0)
0/300
送信
著者 JimmyWilson JimmyWilson 2026年10月14日
STEPXは、同社初の大規模モデルネイティブAIエージェントフォン「STEPX Neo」を3,999元で発売した。Step AOS 1.0と端末・クラウド連携アーキテクチャを搭載し、ハードウェア、OS、AIモデルを統合している。MiniLEDバックスクリーンを備えたデュアルスクリーンシステムや、高度なオーディオ機能も備えている。 このエコシステムは、AlipayやTencentなど約100社のパートナーをサポートしており、AI決済やエージェント間の連携機能を提供しています。10月13日より予約販売が開始され、10月16日より正式販売がスタートしました。早期購入者には、12ヶ月間のトークン利用権と、「Starship Tickets」による無料アップグレードの特典が提供されます。
0
0
/ja/live/7869
著者 JimmyWilson JimmyWilson 2026年10月14日
STEPXは、3999元の大規模モデルネイティブAIスマートフォン「STEPX Neo」を発売した。Step AOS 1.0と端末・クラウド連携モデルを搭載し、ハードウェアとインテリジェントエージェントシステムを統合している。 本端末は、独自の背面ディスプレイと6つのマイクアレイを搭載している。AI決済に対応し、アリペイやテンセントなどのパートナー企業とのエージェント間連携もサポートしている。10月13日より予約販売が開始され、10月16日より正式販売が開始された。先着1万名のユーザーには、5年以内の無料アップグレード権が付与される。
0
0
/ja/live/7868
著者 ThomasMitchell ThomasMitchell 2026年10月14日
Googleは、Google AI StudioおよびGeminiアプリを通じて、開発者や企業向けに同社の主力AIモデル「Argon」を世界的にリリースした。入力トークン100万単位あたり2ドルの価格設定となっており、12月の値上げ後も競合他社よりも安価なままである。 一部の社員からはコーディング性能に疑問の声が上がっているものの、DeepMindは、動画から抽出した動作データを用いてヒューマノイドロボットが標的を正確に命中させることに成功した実証実験を例に挙げ、同モデルのマルチモーダル推論能力やロボット工学への応用可能性を強調している。
0
0
/ja/live/7867
著者 HarryNelson HarryNelson 2026年10月14日
OPPOは、AIエージェントプラットフォーム「Manus」と提携し、ColorOS 17を搭載した新型「Find X10」シリーズにおいて、AI「Mind Pilot」にエージェント機能を統合しました。 この提携により、AIは単純なQ&Aからタスクの実行へと進化し、システムがユーザーの意図を理解し、複雑なタスクを分解して情報を取得し、旅行の旅程表やオフィスでのプレゼンテーション資料の作成といった包括的な結果を提供できるようになります。 この統合の鍵となるのは、「プライバシーファースト」のアプローチです。デバイス上のモデルがローカルでのデータ処理を担当し、クラウドの利用はユーザーの明示的な許可がある場合にのみ行われます。これにより、高度な知能と、データアクセスに対するユーザーの制御とのバランスが確保されます。アップデートされた「AI Mind Pilot」はFind X10シリーズで初搭載され、スマートフォンをパーソナルAIエージェントのための自然なプラットフォームとする上で、重要な一歩となります。
0
0
/ja/live/7866
著者 PatrickEvans PatrickEvans 2026年10月14日
サムスンは、クアルコムの「Snapdragon AR1Gen1」チップを搭載し、Googleの「Gemini」と連携する同社初のAIスマートグラス「Galaxy Glasses」を2026年11月に発売する予定だ。重量は41g、バッテリー駆動時間は9時間で、3K動画に対応し、12MPのカメラを搭載している。 サムスンは「Gentle Monster」や「Warby Parker」と提携し、米国の店舗やパートナーのウェブサイトを販路として狙っている。この動きにより、現在年間出荷台数が420万台を超え、急成長を続けるスマートグラス市場において、ライバルであるMetaやAppleとの競争が激化することになる。
0
0
/ja/live/7865
OR