目次
新たな不等式の 1 ページの証明
テレンス・タオ氏はブログ投稿で、次のステップはこの不等式の洗練されたバージョンを提案することであると明らかにしました。
ホームページ テクノロジー周辺機器 AI テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

Oct 23, 2023 am 11:13 AM
道具 ai

GPT-4 によって「承認」された後、副操縦士はテレンス・タオによって待ち伏せ攻撃も受けました。

彼は、プログラミング時に、Copilot は次に何をするかを直接予測できると率直に言いました。

Copilot を使用すると、研究がより便利になり、Tao Zhexuan もそれを使用して、最新の研究結果を完成させるのに役立ちました。

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

Tao Zhexuan 氏は、論文のこの部分は実際には 1 ページしかない、と述べました。

しかし、この 1 ページの証明を完成させるために、彼は新しく学んだプログラミング言語 Lean4 を使用して 200 行を超えるコードを書きました。

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

Tao Zhexuan の公開コードの GitHub ページでは、Copilot によってコードの記述速度が半分以上向上したことがわかります。

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

Tao Zhexuan 氏は、Lean4 を選択した理由は、長い式の対象を絞った部分置換を実行する「書き換え戦略」のためであると述べました。

たとえば、複素関数 f(x) が定義されている場合、f(114514) の式を入力したい場合、コードを使用して x を 114514 に直接「書き換え」ることができます。

Tao Zhexuan 氏は、この機能は数式を繰り返し入力する必要がある LaTeX に比べてあまり便利ではないと述べています。

それでは、Tao Zhexuan の「1 ページの証拠」は今回、どのような新しい結果を私たちにもたらしたのでしょうか?

新たな不等式の 1 ページの証明

この論文では、マクラフリンの不等式に関連する問題について説明します。

マクラフリンの不等式は、数学における古典的な不等式です。「非負の実数の算術平均は幾何平均以上である」という法則に基づいて導出されます。次のように表現できます。

y1…yn が非負の実数であると仮定します。k=1…n の場合、平均 Sk は次のようになります。 (分母が分子である項の数) として定義されます:

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

#これは、根を持つ n 次の多項式の正規化された係数として発生します。

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

(この式を覚えておいてください。これを式 1 と呼びます)

次に、マクラフリンの不等式は次のように表すことができます:

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

このうち、等号は、すべての yi が等しい場合にのみ当てはまります。

微積分には、古典的なニュートンの不等式もあります。

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

任意の 1≤k はすべて非負であり、ニュートンの不等式はマクラフリンの不等式を簡単に説明できます:

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

しかし、この制限が追加されない場合、負の数は許可されます。用語のうち、マクローリンの不等式はニュートンの不等式を使用して表現できません。

そこで、ニュートン不等式における負の項の可能性を考慮して、Tao Zhexuan は一連の新しい不等式バリアントを提案しました:

任意の r>0 および 1≤ℓ≤n については、次の式が存在する必要があります。式2または式3が成立する。

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

これは、テレンス タオがこのページで証明しようとしているものです。具体的な証明プロセスは次のとおりです:

我々は、次のような多項式を構築することもできます。複素変数 z P(z):

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

前の式 1 と三角不等式から、次のことが得られます:

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

したがって、必要なのは下限を設定することだけです。

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

## P(z) の絶対値を取得し、対数を取得して次の結果を取得します。

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

任意の実数 t について、t ↦ log(e

t a) は凸であり、a>0 であるため、次の不等式が得られます。

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました# a=r

2

、t=2log yj の場合、次のように結論付けることができます:

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました上記はテレンス タオ プロセスによる証明ですが、正規化された |S

n

|=1 の場合、次の式が成り立ちます。ステップ: 洗練されたバージョンを作成する今回言及した「1 ページの証明」に加えて、Tao Zhexuan の論文では、別の新しい定理も提案されています。つまり、任意の 1 ≤ k ≤ ℓ≤ n についてです。:

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

テレンス・タオ氏はブログ投稿で、次のステップはこの不等式の洗練されたバージョンを提案することであると明らかにしました。

Tao Zhexuan氏は、証明のプロセスは「練習と同じように」非常に簡単で、微積分を使って行うことができると述べた。

ただし、議論のこの部分では漸近記号が使用されているため、多少の困難があるとも彼は述べました。 テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

新しい結論がどのようなものになるかを待ってみましょう。

One More Thing

Tao Zhexuan は AI ツールの熱心なファンであり、Copilot、GPT-4、およびその他の補助ツールを推奨しています。 テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

今回、彼はまた、大規模モデルの開発に対する新たな期待を表明し、いつかモデルが不等式のバリアントを直接生成できるようになることを期待しています。

論文アドレス:

https://arxiv.org/abs/2310.05328

テレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできました

以上がテレンス・タオのクレイジー・アムウェイ副操縦士: 1 ページの校正を完了するのに役立ち、その後のプロセスを推測することもできましたの詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。

ホットAIツール

Undresser.AI Undress

Undresser.AI Undress

リアルなヌード写真を作成する AI 搭載アプリ

AI Clothes Remover

AI Clothes Remover

写真から衣服を削除するオンライン AI ツール。

Undress AI Tool

Undress AI Tool

脱衣画像を無料で

Clothoff.io

Clothoff.io

AI衣類リムーバー

AI Hentai Generator

AI Hentai Generator

AIヘンタイを無料で生成します。

ホットツール

メモ帳++7.3.1

メモ帳++7.3.1

使いやすく無料のコードエディター

SublimeText3 中国語版

SublimeText3 中国語版

中国語版、とても使いやすい

ゼンドスタジオ 13.0.1

ゼンドスタジオ 13.0.1

強力な PHP 統合開発環境

ドリームウィーバー CS6

ドリームウィーバー CS6

ビジュアル Web 開発ツール

SublimeText3 Mac版

SublimeText3 Mac版

神レベルのコード編集ソフト(SublimeText3)

リモートシニアバックエンジニア(プラットフォーム)がサークルが必要です リモートシニアバックエンジニア(プラットフォーム)がサークルが必要です Apr 08, 2025 pm 12:27 PM

リモートシニアバックエンジニアの求人事業者:サークル場所:リモートオフィスジョブタイプ:フルタイム給与:$ 130,000- $ 140,000職務記述書サークルモバイルアプリケーションとパブリックAPI関連機能の研究開発に参加します。ソフトウェア開発ライフサイクル全体をカバーします。主な責任は、RubyonRailsに基づいて独立して開発作業を完了し、React/Redux/Relay Front-Endチームと協力しています。 Webアプリケーションのコア機能と改善を構築し、機能設計プロセス全体でデザイナーとリーダーシップと緊密に連携します。肯定的な開発プロセスを促進し、反復速度を優先します。 6年以上の複雑なWebアプリケーションバックエンドが必要です

インストール後にMySQLの使用方法 インストール後にMySQLの使用方法 Apr 08, 2025 am 11:48 AM

この記事では、MySQLデータベースの操作を紹介します。まず、MySQLWorkBenchやコマンドラインクライアントなど、MySQLクライアントをインストールする必要があります。 1. mysql-uroot-pコマンドを使用してサーバーに接続し、ルートアカウントパスワードでログインします。 2。CreatedAtaBaseを使用してデータベースを作成し、データベースを選択します。 3. createTableを使用してテーブルを作成し、フィールドとデータ型を定義します。 4. INSERTINTOを使用してデータを挿入し、データをクエリし、更新することでデータを更新し、削除してデータを削除します。これらの手順を習得することによってのみ、一般的な問題に対処することを学び、データベースのパフォーマンスを最適化することでMySQLを効率的に使用できます。

Laravelの地理空間:インタラクティブマップと大量のデータの最適化 Laravelの地理空間:インタラクティブマップと大量のデータの最適化 Apr 08, 2025 pm 12:24 PM

700万のレコードを効率的に処理し、地理空間技術を使用したインタラクティブマップを作成します。この記事では、LaravelとMySQLを使用して700万を超えるレコードを効率的に処理し、それらをインタラクティブなマップの視覚化に変換する方法について説明します。最初の課題プロジェクトの要件:MySQLデータベースに700万のレコードを使用して貴重な洞察を抽出します。多くの人は最初に言語をプログラミングすることを検討しますが、データベース自体を無視します。ニーズを満たすことができますか?データ移行または構造調​​整は必要ですか? MySQLはこのような大きなデータ負荷に耐えることができますか?予備分析:キーフィルターとプロパティを特定する必要があります。分析後、ソリューションに関連している属性はわずかであることがわかりました。フィルターの実現可能性を確認し、検索を最適化するためにいくつかの制限を設定しました。都市に基づくマップ検索

MySQLインストール後にデータベースのパフォーマンスを最適化する方法 MySQLインストール後にデータベースのパフォーマンスを最適化する方法 Apr 08, 2025 am 11:36 AM

MySQLパフォーマンスの最適化は、インストール構成、インデックス作成、クエリの最適化、監視、チューニングの3つの側面から開始する必要があります。 1。インストール後、INNODB_BUFFER_POOL_SIZEパラメーターやclose query_cache_sizeなど、サーバーの構成に従ってmy.cnfファイルを調整する必要があります。 2。過度のインデックスを回避するための適切なインデックスを作成し、説明コマンドを使用して実行計画を分析するなど、クエリステートメントを最適化します。 3. MySQL独自の監視ツール(ShowProcessList、ShowStatus)を使用して、データベースの健康を監視し、定期的にデータベースをバックアップして整理します。これらの手順を継続的に最適化することによってのみ、MySQLデータベースのパフォーマンスを改善できます。

MySQLを解決する方法は開始できません MySQLを解決する方法は開始できません Apr 08, 2025 pm 02:21 PM

MySQLの起動が失敗する理由はたくさんあり、エラーログをチェックすることで診断できます。一般的な原因には、ポートの競合(ポート占有率をチェックして構成の変更)、許可の問題(ユーザー許可を実行するサービスを確認)、構成ファイルエラー(パラメーター設定のチェック)、データディレクトリの破損(テーブルスペースの復元)、INNODBテーブルスペースの問題(IBDATA1ファイルのチェック)、プラグインロード障害(エラーログのチェック)が含まれます。問題を解決するときは、エラーログに基づいてそれらを分析し、問題の根本原因を見つけ、問題を防ぐために定期的にデータをバックアップする習慣を開発する必要があります。

MySQLの主な鍵はヌルにすることができます MySQLの主な鍵はヌルにすることができます Apr 08, 2025 pm 03:03 PM

MySQLプライマリキーは、データベース内の各行を一意に識別するキー属性であるため、空にすることはできません。主キーが空になる可能性がある場合、レコードを一意に識別することはできません。これにより、データの混乱が発生します。一次キーとして自己挿入整数列またはUUIDを使用する場合、効率やスペース占有などの要因を考慮し、適切なソリューションを選択する必要があります。

mysqlをインストールするときに依存関係が欠落の問題を解決する方法 mysqlをインストールするときに依存関係が欠落の問題を解決する方法 Apr 08, 2025 pm 12:00 PM

MySQLのインストール障害は、通常、依存関係の欠如によって引き起こされます。解決策:1。システムパッケージマネージャー(Linux APT、YUM、DNF、Windows VisualC Redistributableなど)を使用して、sudoaptinStalllibmysqlclient-devなどの欠落している依存関係ライブラリをインストールします。 2.エラー情報を慎重に確認し、複雑な依存関係を1つずつ解決します。 3.パッケージマネージャーのソースが正しく構成され、ネットワークにアクセスできることを確認します。 4. Windowsの場合は、必要なランタイムライブラリをダウンロードしてインストールします。公式文書を読んで検索エンジンを適切に使用する習慣を開発することは、問題を効果的に解決することができます。

MySQLインストール後に開始できないサービスのソリューション MySQLインストール後に開始できないサービスのソリューション Apr 08, 2025 am 11:18 AM

MySQLは開始を拒否しましたか?パニックにならないでください、チェックしてみましょう!多くの友人は、MySQLのインストール後にサービスを開始できないことを発見し、彼らはとても不安でした!心配しないでください、この記事はあなたがそれを落ち着いて対処し、その背後にある首謀者を見つけるためにあなたを連れて行きます!それを読んだ後、あなたはこの問題を解決するだけでなく、MySQLサービスの理解と問題のトラブルシューティングのためのあなたのアイデアを改善し、より強力なデータベース管理者になることができます! MySQLサービスは開始に失敗し、単純な構成エラーから複雑なシステムの問題に至るまで、多くの理由があります。最も一般的な側面から始めましょう。基本知識:サービススタートアッププロセスMYSQLサービススタートアップの簡単な説明。簡単に言えば、オペレーティングシステムはMySQL関連のファイルをロードし、MySQLデーモンを起動します。これには構成が含まれます

See all articles