search
HomeTechnology peripheralsAIAI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

AI は確かに数学を変えています。

最近、この問題に細心の注意を払っている陶哲軒氏が、「米国数学協会会報」の最新号を送ってくれました。

「機械は数学を変えるのか?」というテーマを中心に、多くの数学者が意見を述べ、そのプロセス全体は火花に満ち、ハードコアで刺激的でした。

著者には、フィールズ賞受賞者のアクシャイ・ベンカテシュ氏、中国の数学者鄭楽軍氏、ニューヨーク大学のコンピュータ科学者アーネスト・デイビス氏、その他業界で著名な学者を含む強力な顔ぶれが揃っています。

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

AI の世界は劇的に変化しました。ご存知のとおり、これらの記事の多くは 1 年前に投稿されたものですが、今年中に AI は次のような変化を遂げました。多くの重要な変更。

しかし、それにもかかわらず、これらの記事は依然として金に満ちており、テレンス・タオさえ叫ばせました:この分野の進歩は速すぎます!私の未公開記事が冗長であるように見えます。

AI ツールが数学の分野を驚くべき速度で進歩させていることは誰も否定できません。

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

人工知能は、純粋数学を含む科学分野における情報の収集と処理の方法に革命をもたらすのでしょうか?それは数学のやり方を変えるだろうか?

数学者の意見は分かれています。研究における機械学習の普及が目前に迫っていると信じている人もいれば、懐疑的な人もいます。1960 年代とその後の過度の楽観主義を振り返ると、 AIウィンター」。

しかし、数学研究の実践では劇的な変化が起こる可能性が非常に高いです。さて、数学者はこれらの変化が引き起こす問題を検討する時が来ました。

嵐が近づいていることは疑いの余地がありません。

それでは、機械は数学を変えるのでしょうか?

数学的研究に対する数学的自動化の影響

この論文では、フィールズ賞受賞者のアクシャイ・ヴェンカテシュが数学的研究に対する自動化の影響について調査します。

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

論文アドレス: https://www.ams.org/journals/bull/2024-61-02/S0273-0979-2024- 01834-5/S0273-0979-2024-01834-5.pdf

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

この論文では、Akshay Venkatesh が興味深いアイデアを提案しました 実験 -

2017 年、DeepMind の Alphazero は、チェスと囲碁を一晩で学習し、人間を超えました。

10 年後、「Alephzero」 (AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao と表記) も同じ形式の数学を行ったらどうなるでしょうか?

この記事の「数学」は「純粋な数学的研究」を指します。

私たちの出発点は、「Alephzero」が高校と大学の数学を独学で学び、SpringerVerlag の数学大学院シリーズのすべての演習を完了したと仮定することです。翌朝、数学者がそれを発表し、子供たちがそれをダウンロードし、私たちのコンピューティング リソースで実行しました。

これは明らかに非現実的なため、確かに思考実験です。視野を今後 10 年または 20 年に限定することで、この思考に伴う可能性から距離を置くことができます。これを技術の進歩の結果として起こる社会的変化として考えることで、より極端なタイプの機械知能について考えることを避けることができます。そこでは、アレフゼロを生きた協力者ではなく動力ツールとしてモデル化します。

私たちは次のように自分を慰めることができます。実際、この前提は私たちからかけ離れているので、考える必要はありません。しかし、ほんのわずかな可能性さえ許せば、これは20年後に起こる可能性があります。

数学者と問題ネットワークのベイズ相互作用を通じて、私たちの価値メカニズムの一部を示す非常に大まかなモデルを提供します。ここで、「Alephzero」がこのネットワークにどのような影響を与え、結果を変えるかを検討します。

これまで見てきたように、困難の認識は、価値を構築する方法の重要な部分です。

特定の状況に関係なく、「Alephzero」は私たちの問題解決能力を変え、それによって問題の難しさに対する私たちの認識を変えます。

数学的プロセスの中で最も速く加速できる部分は、知覚される困難さを最も大きく軽減し、上記のモデルによれば、状態は最も大きな軽減を受けることになります。同様のパターンが自動化の多くのインスタンスで発生します。

最後に、「Alephzero」は数学における興味深い問題の範囲を大幅に拡張します。それはプロの数学者と他の人々との間の競争の場を平等にするでしょう。

機械が数学をより集約化する方法

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

論文アドレス: https://www.ams .org/journals/bull/2024-61-02/S0273-0979-2024-01827-8/S0273-0979-2024-01827-8.pdf

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

## 数学者の鄭楽軍氏は、テクノロジーによって数学の勉強方法が変わったため、テクノロジーの進歩に直面して人間の数学者を不要にするのではなく、このテクノロジーを利用して数学をより「収束」させることができると信じています。

「数学を行う」とはどういうことかを考える中で、彼女は数学テクノロジーの次の側面を検討しました:教育と学習、質問、コラボレーション、コミュニケーション、研究行為。

これは厳密な分析ではなく、数学者としての彼女の経験に基づいた賢明な考察です。

Zheng Lejun 氏は、コンピューター支援の校正チェッカーや証明ジェネレーターさえもいくつか存在しますが、テクノロジーは数学研究の最も奥深く、創造的で人道的な側面に実際には侵入していないと考えています。 。

ディープクリエイティブな部分では、最初にアイデアを考えることが含まれます。定義のアイデア、証明のアイデア、数学のさまざまな部分を接続するアイデア、物事を表現する新しい方法のアイデア、アイデアなどです。記号や用語、図式的な推論のアイデア、視覚的表現のアイデア。

機械に数学的研究をさせるには、それを行うように指示する方法を見つけなければなりません。自分で行う方法がわからない場合は、私たちにとってその方法を教えるのは難しいです。

機械はある程度の証明チェックを行うことができますが、密かに数学者は完全に厳密な証明を書くことはできないことを知っています。私たちは論理に基づいて議論し、論理に裏付けられています。私たちの同僚が記入できると思われる手順。

これらのステップのサイズは定義されていないため、マシンにそれを実行するように指示するのは困難です。

数学の学生なら誰でも知っているように、証明を生成することは、単に証明をチェックすることとはまったく異なるスキルです。自分で新しい証拠を考え出すよりも、他の人の証拠に従う方がはるかに簡単です。これは、数学研究においてコンピュータが人間の数学者を決して超えることができないということではありません。

彼女の意見では、コンピューターが人間の数学者よりも優れているのは、

コンピューターは、検索によってすべての可能なアクションを検索する能力が優れているということです。考えられるすべての論理的帰結が現在わかっているので、彼らは新しい数学を考え出すことを試みることができます。

これには、想像力の飛躍、推測、直感が必要ですが、コンピューターでこれを行うには何が十分でしょうか?そのアイデアはとても興味深いですね。

#コンピュータは論理的推論に役立つのか

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

論文アドレス: https://www.ams.org/journals/bull/2024-61-02/S0273-0979-2024-01833-3/S0273-0979-2024-01833-3.pdf

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

コンピューターは数学研究の方法に革命をもたらし、複雑な計算を簡単に実行できるようにしました。

しかし次に、彼らは私たちの論理的推論のアシスタントになるでしょうか?彼らはいつか独立して推論できるでしょうか?

この記事では、ニューラル ネットワーク、コンピューター定理証明器、大規模言語モデルにおける最近の重要な開発について説明します。

#正式なツールは数学的研究の向上にどのように役立つか

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

紙のアドレス: https://www.ams.org/journals/bull/2024-61-02/S0273-0979-2024-01832-1/S0273-0979-2024-01832-1.pdf

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

20 世紀初頭以来、私たちは数学的な定義と証明が厳密な構文と規則を備えた正式なシステムを通じて表現できることを理解してきました。

これに基づいて、コンピューター証明アシスタントの開発により、数学的知識をデジタル形式でエンコードできるようになります。

この記事では、この種のテクノロジーとその関連ツールが、より優れた数学的研究にどのように役立つかを検討します。

#定理証明器を使用して数学研究における複雑な問題を単純化する

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

##論文アドレス: https://www.ams.org/journals/bull/2024-61-02/S0273-0979-2024-01831-X/S0273-0979-2024-01831-X.pdf

この記事では、インタラクティブな定理証明器を使用して、抽象的な境界を設定することで数学研究における複雑な問題を単純化する方法を検討します。

奇妙な新しい世界: LLM により、数学者はより自然な言語で証明助手とコミュニケーションできるようになります

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

#論文アドレス: https://www.ams.org/journals/bull/2024-61-02/S0273-0979-2024-01830-8/S0273-0979-2024-01830-8.pdf

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

証明アシスタントとして知られる現在のコンピューター プログラムは、数学的証明の正しさを検証できますが、多くの人にとっては難しい特殊な証明言語を使用しています。数学的それは家族にとっての閾値を構成します。

大規模言語モデル (LLM) には、この障壁を打ち破る可能性があり、数学者がより自然な言語で証明アシスタントとコミュニケーションできるようになります。これにより、直観力が養われるだけでなく、推論が正しいことも保証されます。

深層学習ツールを使用した純粋な数学的研究

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

紙のアドレス: https://www.ams.org/journals/bull/2024-61-02/S0273-0979-2024-01829-1/S0273-0979-2024-01829-1.pdf

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao#この記事は個人的な経験であり、純粋な数学者が研究で深層学習ツールを使用しようとするときに期待することを非公式に共有するものです。

AI は数学的研究を行うことができますか?

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

Paper address: https://www.ams.org/journals/bull/2024-61-02/S0273-0979-2024-01828-X/S0273- 0979-2024-01828-X.pdf

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

This article explores the current performance of AI technology in solving word problems that combine basic mathematics and common sense reasoning. Capabilities and limitations.

The author reviews three methods developed using AI natural language technology: directly giving answers, generating computer programs that solve problems, and generating formalizations that can be used by automated theorem testers Expression.

The author believes that the importance of these limitations in the development of AI technology for pure mathematical research has not yet been clearly defined, but they are extremely critical in mathematical applications and in developing computers that can understand human-written software. Mathematics content is also important during the program.

What is proof in the machine age

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

Paper address: https://www. ams.org/journals/bull/2024-61-02/S0273-0979-2024-01826-6/S0273-0979-2024-01826-6.pdf

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

In this article, the author explores the nature of proof and its evolution in the machine age, analyzing it by comparing the values ​​in traditional verification and computer verification.

The method ultimately proposed in the article may allow computers to prove successful strategies borrowed from human experience.

Automation allows mathematicians to reflect on their own value

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

Paper address: https://www .ams.org/journals/bull/2024-61-02/S0273-0979-2024-01825-4/S0273-0979-2024-01825-4.pdf

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

In the paper, the authors harshly criticize colleagues for their lack of thinking, especially when considering the mechanized future of mathematics, and for ignoring important debates about technology and artificial intelligence at a wider level in society.

Continued fractions in p-adic number field

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

Paper address: https://www .ams.org/journals/bull/2024-61-02/S0273-0979-2024-01819-9/S0273-0979-2024-01819-9.pdf

Continued fractions It has a long history in number theory, especially in the field of Diophantine approximation.

This article aims to outline the core results of p-adic continued fraction theory, which is a continued fraction defined on the p-adic number field Qp.

The content will start from basic concepts to introduce the latest progress and open issues currently faced.

Tao Zhexuan posted: Machine assisted proof

By the way, Tao Zhexuan also made use of the "Machine assisted proof" of the paper he wrote before.

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

Paper address: https://terrytao.files.wordpress.com/2024/03/machine-assisted-proof-notices.pdf

AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao

In this paper, Tao Zhexuan said that with the help of LLM's ability to process natural language input, they are likely to become a user-friendly platform, allowing mathematicians without specific software knowledge to use advanced tools.

Today, he and many scientists are accustomed to using these models to generate simple code in various languages, including symbolic algebra packages, or to create complex diagrams and images.

Currently, formal proof verification (formal proof verification) relies heavily on human effort, which makes it impractical to fully formalize a large number of current research papers in real time.

In the field of partial differential equations, it is often necessary to go through multiple pages of calculations to estimate integral expressions involving one or more unknown functions (such as the solution of a PDE).

This involves using the bounds of these functions in different function space norms (such as Sobolev space norm), combined with standard inequalities (such as Hölder inequality and Sobolev inequality), and such as Differential identities in integral or integral notation.

Although this type of calculation is a routine operation, it may contain various degrees of errors (such as sign errors). For reviewers, carefully checking these calculations is tedious and time-consuming. , and the calculations themselves hardly provide deeper mathematical understanding or insight other than the final estimate being correct.

It is conceivable that in the future tools may be developed to establish mathematical estimates in an automatic or semi-automatic manner, and replace the current lengthy and uninspiring estimation proofs with a pointing formal proof Link to the certificate.

Going a step further, we might be able to expect that, based on an initial set of assumptions and methods, a future AI tool will be able to come up with the best estimate it can, without having to do a paper first Pen calculations were made to predict what this estimate might be.

At present, it is estimated that the possible state space is too complex to be explored automatically; but with the development of technology, the possibility of realizing such automated exploration is not out of reach.

Once achieved, we will be able to conduct mathematical exploration at a scale that currently seems unfeasible.

Let’s take partial differential equations as an example. Current research usually only studies one or two equations at a time; but in the future, we may be able to study hundreds of equations at the same time.

For example, first develop a complete argument for an equation, and then let the AI ​​tool adapt these arguments to a large number of related equation families, if necessary, when the expansion of the argument presents unconventional situations , the AI ​​will ask the author questions.

Now, in other areas of mathematics, such as graph theory, the first signs of such large-scale mathematical exploration are beginning to appear.

However, these current preliminary attempts are difficult to promote on a large scale because they rely on AI models with extremely high computational costs or require a large amount of expert-level human participation and supervision.

However, Terence Tao believes that in the near future, we will witness the birth of more innovative machine-assisted mathematical methods.

The above is the detailed content of AI subverts mathematical research! Fields Medal winner and Chinese-American mathematician led 11 top-ranked papers | Liked by Terence Tao. For more information, please follow other related articles on the PHP Chinese website!

Statement
This article is reproduced at:51CTO.COM. If there is any infringement, please contact admin@php.cn delete
从VAE到扩散模型:一文解读以文生图新范式从VAE到扩散模型:一文解读以文生图新范式Apr 08, 2023 pm 08:41 PM

1 前言在发布DALL·E的15个月后,OpenAI在今年春天带了续作DALL·E 2,以其更加惊艳的效果和丰富的可玩性迅速占领了各大AI社区的头条。近年来,随着生成对抗网络(GAN)、变分自编码器(VAE)、扩散模型(Diffusion models)的出现,深度学习已向世人展现其强大的图像生成能力;加上GPT-3、BERT等NLP模型的成功,人类正逐步打破文本和图像的信息界限。在DALL·E 2中,只需输入简单的文本(prompt),它就可以生成多张1024*1024的高清图像。这些图像甚至

找不到中文语音预训练模型?中文版 Wav2vec 2.0和HuBERT来了找不到中文语音预训练模型?中文版 Wav2vec 2.0和HuBERT来了Apr 08, 2023 pm 06:21 PM

Wav2vec 2.0 [1],HuBERT [2] 和 WavLM [3] 等语音预训练模型,通过在多达上万小时的无标注语音数据(如 Libri-light )上的自监督学习,显著提升了自动语音识别(Automatic Speech Recognition, ASR),语音合成(Text-to-speech, TTS)和语音转换(Voice Conversation,VC)等语音下游任务的性能。然而这些模型都没有公开的中文版本,不便于应用在中文语音研究场景。 WenetSpeech [4] 是

普林斯顿陈丹琦:如何让「大模型」变小普林斯顿陈丹琦:如何让「大模型」变小Apr 08, 2023 pm 04:01 PM

“Making large models smaller”这是很多语言模型研究人员的学术追求,针对大模型昂贵的环境和训练成本,陈丹琦在智源大会青源学术年会上做了题为“Making large models smaller”的特邀报告。报告中重点提及了基于记忆增强的TRIME算法和基于粗细粒度联合剪枝和逐层蒸馏的CofiPruning算法。前者能够在不改变模型结构的基础上兼顾语言模型困惑度和检索速度方面的优势;而后者可以在保证下游任务准确度的同时实现更快的处理速度,具有更小的模型结构。陈丹琦 普

解锁CNN和Transformer正确结合方法,字节跳动提出有效的下一代视觉Transformer解锁CNN和Transformer正确结合方法,字节跳动提出有效的下一代视觉TransformerApr 09, 2023 pm 02:01 PM

由于复杂的注意力机制和模型设计,大多数现有的视觉 Transformer(ViT)在现实的工业部署场景中不能像卷积神经网络(CNN)那样高效地执行。这就带来了一个问题:视觉神经网络能否像 CNN 一样快速推断并像 ViT 一样强大?近期一些工作试图设计 CNN-Transformer 混合架构来解决这个问题,但这些工作的整体性能远不能令人满意。基于此,来自字节跳动的研究者提出了一种能在现实工业场景中有效部署的下一代视觉 Transformer——Next-ViT。从延迟 / 准确性权衡的角度看,

Stable Diffusion XL 现已推出—有什么新功能,你知道吗?Stable Diffusion XL 现已推出—有什么新功能,你知道吗?Apr 07, 2023 pm 11:21 PM

3月27号,Stability AI的创始人兼首席执行官Emad Mostaque在一条推文中宣布,Stable Diffusion XL 现已可用于公开测试。以下是一些事项:“XL”不是这个新的AI模型的官方名称。一旦发布稳定性AI公司的官方公告,名称将会更改。与先前版本相比,图像质量有所提高与先前版本相比,图像生成速度大大加快。示例图像让我们看看新旧AI模型在结果上的差异。Prompt: Luxury sports car with aerodynamic curves, shot in a

五年后AI所需算力超100万倍!十二家机构联合发表88页长文:「智能计算」是解药五年后AI所需算力超100万倍!十二家机构联合发表88页长文:「智能计算」是解药Apr 09, 2023 pm 07:01 PM

人工智能就是一个「拼财力」的行业,如果没有高性能计算设备,别说开发基础模型,就连微调模型都做不到。但如果只靠拼硬件,单靠当前计算性能的发展速度,迟早有一天无法满足日益膨胀的需求,所以还需要配套的软件来协调统筹计算能力,这时候就需要用到「智能计算」技术。最近,来自之江实验室、中国工程院、国防科技大学、浙江大学等多达十二个国内外研究机构共同发表了一篇论文,首次对智能计算领域进行了全面的调研,涵盖了理论基础、智能与计算的技术融合、重要应用、挑战和未来前景。论文链接:​https://spj.scien

​什么是Transformer机器学习模型?​什么是Transformer机器学习模型?Apr 08, 2023 pm 06:31 PM

译者 | 李睿审校 | 孙淑娟​近年来, Transformer 机器学习模型已经成为深度学习和深度神经网络技术进步的主要亮点之一。它主要用于自然语言处理中的高级应用。谷歌正在使用它来增强其搜索引擎结果。OpenAI 使用 Transformer 创建了著名的 GPT-2和 GPT-3模型。自从2017年首次亮相以来,Transformer 架构不断发展并扩展到多种不同的变体,从语言任务扩展到其他领域。它们已被用于时间序列预测。它们是 DeepMind 的蛋白质结构预测模型 AlphaFold

AI模型告诉你,为啥巴西最可能在今年夺冠!曾精准预测前两届冠军AI模型告诉你,为啥巴西最可能在今年夺冠!曾精准预测前两届冠军Apr 09, 2023 pm 01:51 PM

说起2010年南非世界杯的最大网红,一定非「章鱼保罗」莫属!这只位于德国海洋生物中心的神奇章鱼,不仅成功预测了德国队全部七场比赛的结果,还顺利地选出了最终的总冠军西班牙队。不幸的是,保罗已经永远地离开了我们,但它的「遗产」却在人们预测足球比赛结果的尝试中持续存在。在艾伦图灵研究所(The Alan Turing Institute),随着2022年卡塔尔世界杯的持续进行,三位研究员Nick Barlow、Jack Roberts和Ryan Chan决定用一种AI算法预测今年的冠军归属。预测模型图

See all articles

Hot AI Tools

Undresser.AI Undress

Undresser.AI Undress

AI-powered app for creating realistic nude photos

AI Clothes Remover

AI Clothes Remover

Online AI tool for removing clothes from photos.

Undress AI Tool

Undress AI Tool

Undress images for free

Clothoff.io

Clothoff.io

AI clothes remover

AI Hentai Generator

AI Hentai Generator

Generate AI Hentai for free.

Hot Article

R.E.P.O. Energy Crystals Explained and What They Do (Yellow Crystal)
2 weeks agoBy尊渡假赌尊渡假赌尊渡假赌
Repo: How To Revive Teammates
1 months agoBy尊渡假赌尊渡假赌尊渡假赌
Hello Kitty Island Adventure: How To Get Giant Seeds
1 months agoBy尊渡假赌尊渡假赌尊渡假赌

Hot Tools

Atom editor mac version download

Atom editor mac version download

The most popular open source editor

Dreamweaver CS6

Dreamweaver CS6

Visual web development tools

Safe Exam Browser

Safe Exam Browser

Safe Exam Browser is a secure browser environment for taking online exams securely. This software turns any computer into a secure workstation. It controls access to any utility and prevents students from using unauthorized resources.

MantisBT

MantisBT

Mantis is an easy-to-deploy web-based defect tracking tool designed to aid in product defect tracking. It requires PHP, MySQL and a web server. Check out our demo and hosting services.

Zend Studio 13.0.1

Zend Studio 13.0.1

Powerful PHP integrated development environment