人間的

284件の記事

📅 09-06

クロードのリーマン予想の最大の進歩が人間の数学者によって検証された

要約: リーマン予想に関するクロードの関連証明は、人間の数学者によって徹底的に検証されました。今回、数学者のユネス・ラムズーリ氏は、クロードの証明が正しかったことを発表し、よりシンプルで、よりエレガントで、より強力な新しい証明を示しました。

📅 09-06

ウェイシェンが注目していた千年問題はクロードによって解決されたのか?

要約: 中国初のフィールズ賞受賞者で清華大学教授の邱成通氏も、『新しい知恵』の読者であることが判明しました。昨日、フェルマーの最終定理の証明がクロードによって初めて形式化されたことを報告しましたが、その鍵となったのは清華ヤオクラス卒業生、彭

📅 09-05

アンスロピックの2兆ドル規模のIPO変更:目論見書の遅延、中間選挙前に上場

概要:アンスロピックは、早ければ10月中旬にも新規株式公開(IPO)の促進を開始し、11月の米国中間選挙の数日前に上場を完了する予定であると、事情に詳しい関係者が金曜日にロイター通信が報じた。関係者2人によると、アンスロピックは早ければ来週

📅 09-05

中国と米国は、AIネットワーク攻撃と最先端モデルのリスクに焦点を当てるため、9月中旬に人工知能セキュリティ対話を開催する予定

概要: 事情に詳しい関係者によると、米国と中国は9月中旬に開催予定の人工知能安全保障対話の準備を進めている。世界中で最先端の人工知能機能が急速に進歩し、関連するリスクに対する懸念が高まっている中、双方は人工知能の安全性の問題について徹底的な

📅 09-04

関係者によると、ザッカーバーグ氏はトランプ氏と話し合い、国家AI規制機関の設立に反対したという。

概要: Business Insider によると、Meta CEO のマーク・ザッカーバーグ氏は、これまで報じられていなかった先月の電話会談で、国家 AI 規制機関の設立計画についてトランプ米大統領に懸念を表明した。この動きは、世界トップ

📅 09-04

アンスロピックは「世紀のIPO」に全力で取り組んでおり、150億米ドルの信用融資の完了に近づいていると伝えられている

概要:アンスロピックPBCは回転融資枠の150億ドルへの拡大最終決定に近づいている、と関係者らは述べ、人工知能(AI)企業にとって注目度の高いIPOに向けた書類を公開する前にハードルをクリアしたと述べた。モルガン・スタンレーがこの取り組みを

📅 09-04

伝えられるところによると、トランプ大統領は国家AI規制機関の設立についてザッカーバーグ氏にアドバイスを求めたが、ザッカーバーグ氏は反対を表明した

概要: 報道によると、メタの最高経営責任者(CEO)マーク・ザッカーバーグ氏は、先月のトランプ米大統領とのこれまで非公開の電話会談で、国家人工知能規制機関の設立計画について懸念を表明した。これは、ホワイトハウス内の二分化する政策論争に、世界

📅 09-03

米国政府、AIトレーニングにおける著作権制限はイノベーションを妨げる可能性があるとの裁判所意見書を提出

要約: 米国政府は最近、著作権で保護されたコンテンツを使用して大規模な言語モデルを許可なくトレーニングする人工知能企業を支援する意見書を裁判所に提出しました。同文書では、米国企業が著作権規則によりデータ取得コストの上昇に直面した場合、人工知