目次
新たな不等式の 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)

Debian Hadoopを最適化する方法 Debian Hadoopを最適化する方法 Apr 02, 2025 am 08:54 AM

DebianHadoopクラスターのパフォーマンスを向上させるには、ハードウェア、ソフトウェア、リソース管理、パフォーマンスチューニングから開始する必要があります。以下は、いくつかの重要な最適化戦略と提案です。1。ハードウェア構成を慎重に選択して、ハードウェア構成を選択します。実際のアプリケーションシナリオに従って適切なCPU、メモリ、ストレージデバイスを選択します。 SSDはI/Oを加速します:I/Oの動作速度を改善するために、可能な限りSolid State Hard Drives(SSDS)を使用します。メモリの拡張:より大きなデータ処理とタスクに対処するために、NAMENODEおよびDATANODEノードに十分なメモリを割り当てます。 2。ソフトウェア構成最適化Hadoop構成ファイル調整:core-site.xml:hdfsデフォルトファイルシステムを構成する

Golang Generic Function Typeの制約がVSCodeで自動的に削除されるという問題を解決する方法は? Golang Generic Function Typeの制約がVSCodeで自動的に削除されるという問題を解決する方法は? Apr 02, 2025 pm 02:15 PM

VSCODEユーザーのGolang Generic Function Typeの制約の自動削除は、VSCODEを使用してGolangコードを書くときに奇妙な問題に遭遇する可能性があります。いつ...

ウェブサイトにDebian文字列を適用する方法 ウェブサイトにDebian文字列を適用する方法 Apr 02, 2025 am 08:21 AM

この記事では、Debian SystemsでWebサイトのパフォーマンスを最適化する方法について説明します。 「DebianStrings」は標準的な用語ではなく、Webサイトのパフォーマンスを改善するためにDebian Systemsで使用されるツールまたはテクノロジーを指す場合があります。以下はいくつかの実用的なヒントです。1。パゴダパネルを使用して、WebサーバーとPHP環境構成のインストールおよび構成プロセスを簡素化することをお勧めします。 Nginx1.22.1をWebサーバーとして、Scriptインタープリターとしてphp8.2、MySQL10.7.3-MariadBをデータベースシステムとしてインストールすることをお勧めします。 fileInfo、opcache、memcached、redなど、必要なPHP拡張機能を有効にしてください

Debian文字列でユーザーエクスペリエンスを向上させる方法 Debian文字列でユーザーエクスペリエンスを向上させる方法 Apr 02, 2025 am 08:33 AM

DebianStringsは、Debianシステムの強力な文字列管理ツールです。ソフトウェア開発効率を大幅に改善し、ユーザーエクスペリエンスを間接的に改善できます。ユーザーに直接ターゲットにされていませんが、その役割は次の側面に反映されています。エラーと冗長性の削減:DebianStringsは、自動化されたプロセスと効率的な管理メカニズムを通じてエラーとソフトウェアパッケージの文字列を効果的に削減し、それによりユーザーが問題に遭遇し、ソフトウェアの安定性を改善する可能性を減らします。ローカリゼーションプロセスを加速します。最適化された文字列管理は、ソフトウェアのローカリゼーションの時間を大幅に短縮し、より多くの言語バージョンのソフトウェアがユーザーをより速く満たし、グローバルユーザーの言語ニーズを満たすことができます。ユーザーフィードバックメカニズムの改善:DEBI

Debianファイル管理の効率的な手法は何ですか Debianファイル管理の効率的な手法は何ですか Apr 02, 2025 am 08:48 AM

Debianシステム効率的なファイル管理スキルは、効率を改善し、ファイルとディレクトリを迅速かつ便利に運用するのに役立ちます。以下はいくつかの実用的なヒントです。1。次のコマンドラインツールを使用するのに習熟して、ファイル管理効率を大幅に改善します。LS:ディレクトリの内容を表示します。 CD:スイッチディレクトリ。 CP:ファイルまたはディレクトリをコピーします。 MV:ファイルまたはディレクトリの移動または名前を変更します。 RM:ファイルまたはディレクトリを削除します。 MKDIR:ディレクトリを作成します。 RMDIR:空のディレクトリを削除します。タッチ:空のファイルを作成するか、ファイルタイムスタンプを更新します。検索:ファイルとディレクトリを検索します。 GREP:ファイル内のテキストを検索します。 TAR:ファイルをパッケージして解凍します。 2.ワイルドカード文字を使用して、ワイルドカードキャラクターの魔法の使用は、より正確にできます

Debian Syslogのトラブルシューティング方法 Debian Syslogのトラブルシューティング方法 Apr 02, 2025 am 09:00 AM

Syslog for Debian Systemsは、システム管理者が問題を診断するための重要なツールです。この記事では、一般的なSyslogの問題をトラブルシューティングするためのいくつかの手順とコマンドを提供します。1。最新のログのリアルタイム表示:Tail-F/var/log/syslog viewingカーネルログ(スタートエラーとドライバーの問題):DMESGはJournalCtl(Debian8以上、SystemD System)を使用します。 2。システムリソースの監視と表示プロセスとリソースの使用法:Psaux(高いリソース占有プロセスを見つける)リアルタイム監視

GOのどのライブラリが大企業によって開発されていますか、それとも有名なオープンソースプロジェクトによって提供されていますか? GOのどのライブラリが大企業によって開発されていますか、それとも有名なオープンソースプロジェクトによって提供されていますか? Apr 02, 2025 pm 04:12 PM

大企業または有名なオープンソースプロジェクトによって開発されたGOのどのライブラリが開発されていますか? GOでプログラミングするとき、開発者はしばしばいくつかの一般的なニーズに遭遇します...

DebianのGolangログの回転戦略は何ですか DebianのGolangログの回転戦略は何ですか Apr 02, 2025 am 08:39 AM

Debian Systemsでは、GOのログローテーションは通常、GO標準ライブラリに付属する機能ではなく、サードパーティライブラリに依存しています。 Lumberjackは一般的に使用されるオプションです。さまざまなログフレームワーク(ZapやLogrusなど)で使用して、ログファイルの自動回転と圧縮を実現できます。 LumberJackおよびZAPライブラリを使用したサンプル構成:packagemainimport( "gopk.in/natefinch/lumberjack.v2" "go.uber.org/zap" "go.uber.org/zap/zapcor

See all articles