家
ツール
モデル
アプリ
プロンプト
ニュース
特集
インクルージョンのために提出します
日本語
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
家
速報
コンテンツ
RogerLopez
RogerLopez
2026年9月7日

AnthropicのClaudeは、臨界線上のゼータ関数の零点の67.25%を検証することで、リーマン予想を進展させた。数学者のYouness Lamzouriはヒルベルト空間の不等式を用いて証明を精緻化し、AxiomProverはそれをLeanで即座に検証した。この人間とAIの協働は形式検証を加速し、手動レビューから機械検証された数学への転換を示し、双子素数予想の進展にも寄与した。

AnthropicのClaudeは、臨界線上のゼータ関数の零点の67.25%を検証することで、リーマン予想を進展させた。数学者のYouness Lamzouriはヒルベルト空間の不等式を用いて証明を精緻化し、AxiomProverはそれをLeanで即座に検証した。この人間とAIの協働は形式検証を加速し、手動レビューから機械検証された数学への転換を示し、双子素数予想の進展にも寄与した。
0
0
共有 リンクをコピーするにはクリック
コメント (0)
0/300
送信
著者 BruceAllen BruceAllen 2026年9月18日
Anthropicのデータによると、同社のコードの80％は現在Claudeによって記述されており、エンジニアの生産性は8倍に向上している。しかし、AIが細かなPRを絶えず提出する傾向があったため、テストケースが10倍に急増し、CIシステムがダウンする事態となった。このシステムでは、6か月間でタスク数が25倍に増加していた。 従来の修正策は失敗に終わったが、Claudeの助言に基づいて新しい分散型ステートレスアーキテクチャでサービスを再構築したことで、この過負荷は解消された。この事例は、AIがコーディングにおける人間のリズムによる制約を取り除くにつれ、人間向けに設計されたソフトウェアエンジニアリングのパイプラインが主要なボトルネックとなることを浮き彫りにしている。
0
0
著者 IsabellaDavis IsabellaDavis 2026年9月18日
米国のマーク・ピットマン判事は、Appleに対し、SpaceXAIとの独占禁止法に関する秘密和解内容の開示を強制するよう求めたOpenAIの申し立てを却下した。 判決では、当該合意はSpaceXAIとOpenAIの間で係争中の紛争とは関連性がないと判断された。これは、X社とSpaceXAIが最近、Appleに対する独占禁止法違反の訴えを自主的に取り下げたことを受けたものであり、一方、OpenAIに対する訴訟は継続中である。OpenAIは、自社の訴訟への潜在的な影響を評価するために開示を求めていたが、裁判所は公開の必要性を認めなかった。
0
0
著者 EricRoberts EricRoberts 2026年9月18日
Qwen3.8-Omni-Flashが、テキスト・画像・音声・動画をサポートする1Mコンテキストを搭載してリリースされました。これにより、編集や制作におけるエージェント型ワークフローが強化されます。Qwen3.5-Omni-Plusと比較してスコアが26%以上向上し、特にオーディオビジュアルエージェントやコーディングタスクにおいて大幅な改善が見られました。 音声・動画APIの価格は93％以上引き下げられました。このモデルは、音声・動画性能においてGemini3.8Flashと同等であり、音声性能全体ではそれを上回っています。「Agentic Understanding」モードにより、トークン消費量は45.7％削減されました。開発チームは自社の研究開発にこのモデルを活用し、12時間で4回の反復処理を完了させました。 リアルタイム版では、音源定位に対応しており、四川方言の認識精度を40.7％向上させました。
0
0
/ja/live/7431
著者 RichardGonzález RichardGonzález 2026年9月18日
中国の医薬品産業に関する第14次五カ年計画は、医薬品開発の加速に向けて人工知能（AI）および量子コンピューティングを重視している。超限界製造、宇宙医薬品、バイオ製造を推進するとともに、遺伝子編集、細胞療法、臓器ミニチュア化（オーガノイド）の進展を後押しする。主要な技術的突破としては、人工生命システム、放射性医薬品、異種移植用臓器などが挙げられ、企業と研究機関の学際的統合を通じて新たな産業成長の柱を育成する。
0
0
著者 DavidGonzález DavidGonzález 2026年9月18日
Figure社は9月17日、ヒューマノイドロボット「Helix2.5」向けのニューラルネットワークを公開した。同社の「Index」データセットを用いて事前学習されたこのモデルは、ベイエリアの30世帯において、ゼロショット成功率を、ゼロから学習したモデルと比較して9％から56％へと向上させた。 Helix2.5は、リビングの整理やタオルの折りたたみといった全身を使った動作に対応しており、Helix02の半分程度の適応データで同等の成功率を達成しています。また、自己修正能力を示しており、Indexデータを2倍にした際に観察されるスケーリング則に従っています。 Indexは1,600万本の動画と週間アクティブユーザー44,000人を集積しており、FigureはHelixシリーズ向けのコンピューティングに35億ドルを投資している。
0
0
/ja/live/7429
OR