Heim Technologie-Peripheriegeräte KI Zum ersten Mal seit Jahrzehnten wurden Fortschritte erzielt, die Lehrlinge Tao Zhexuan und Zhao Yufei lösten kombinatorische Mathematikprobleme

Zum ersten Mal seit Jahrzehnten wurden Fortschritte erzielt, die Lehrlinge Tao Zhexuan und Zhao Yufei lösten kombinatorische Mathematikprobleme

Aug 15, 2024 pm 05:04 PM
工程

Baru-baru ini, buat pertama kalinya, kemajuan telah dicapai pada masalah matematik yang tidak dapat diselesaikan selama beberapa dekad.

Mendorong kemajuan ini ialah pelajar siswazah UCLA James Leng dan pelajar siswazah matematik MIT Ashwin Sah, dan penolong profesor Universiti Columbia Mehtaab Sawhney. Antaranya, James Leng belajar di bawah ahli matematik terkenal Terence Tao, dan Ashwin Sah belajar di bawah master matematik diskret Zhao Yufei.

Zum ersten Mal seit Jahrzehnten wurden Fortschritte erzielt, die Lehrlinge Tao Zhexuan und Zhao Yufei lösten kombinatorische Mathematikprobleme

Alamat kertas: https://arxiv.org/pdf/2402.17995

Untuk memahami kejayaan yang dicapai dalam penyelidikan ini, anda perlu bermula dengan janjang aritmetik.

Jumlah n sebutan pertama bagi jujukan aritmetik dipanggil siri aritmetik, juga dipanggil siri aritmetik. Pada tahun 1936, ahli matematik Paul Erdős dan Pál Turán menjangkakan bahawa jika set terdiri daripada pecahan bukan sifar integer (walaupun 0.00000001%), maka ia mesti mengandungi siri aritmetik yang panjang sewenang-wenangnya. Satu-satunya set yang boleh mengelakkan siri aritmetik ialah set yang mengandungi bahagian integer yang "boleh diabaikan". Sebagai contoh, set {2, 4, 8, 16, …}, di mana setiap nombor ialah dua kali nombor sebelumnya, dihamparkan di sepanjang paksi nombor tanpa janjang.

Pada tahun 1975, ahli matematik Endre Szemerédi membuktikan sangkaan ini. Kerja beliau menimbulkan pelbagai hala tuju penyelidikan yang masih diterokai oleh ahli matematik hari ini.

Ahli matematik menetapkan keputusan Szemerédi dalam konteks set nombor terhingga (semua integer dari 1 hingga beberapa nombor N). Berapa banyak kumpulan awal boleh digunakan dalam set sebelum tidak dapat tidak termasuk siri terlarang? Bagaimanakah perkadaran ini berubah apabila N berubah?

Sebagai contoh, biarkan N ialah 20, berapa banyakkah daripada 20 nombor ini yang boleh ditulis sambil masih mengelak siri yang panjangnya 5 atau lebih nombor? Jawapannya, ternyata, adalah 16% hingga 80% daripada kumpulan awal.

Szemerédi adalah orang pertama yang menunjukkan bahawa apabila N berkembang, pecahan ini mesti mengecut kepada sifar, dan ahli matematik telah mencuba untuk mengukur seberapa cepat perkara ini berlaku.

Tahun lepas, kerja pecah tanah oleh dua saintis komputer hampir menyelesaikan masalah siri tiga penggal, seperti {6, 11, 16}. Tetapi masalahnya menjadi lebih sukar apabila anda cuba mengelakkan siri aritmetik empat atau lebih istilah. Ini kerana siri yang lebih panjang mencerminkan struktur asas yang sukar didedahkan menggunakan kaedah matematik klasik.

Nombor x, y dan z dalam siri aritmetik tiga sebutan sentiasa memenuhi persamaan mudah x – 2y + z = 0 (mengambil siri {10, 20, 30} sebagai contoh: 10 – 2*(20) + 30 = 0), agak mudah untuk membuktikan sama ada set mengandungi nombor yang memenuhi syarat ini. Walaupun nombor dalam siri empat jangka juga mesti memenuhi persamaan yang lebih kompleks x^2 – 3y^2 + 3z^2 – w^2 = 0, siri dengan lima atau lebih sebutan mesti memenuhi persamaan yang lebih kompleks. Ini bermakna set yang mengandungi siri sedemikian akan mempamerkan corak yang lebih halus. Ia juga akan menjadi lebih sukar bagi ahli matematik untuk membuktikan sama ada corak sedemikian wujud.

Pada penghujung 1990-an, ahli matematik Timothy Gowers mencadangkan satu teori untuk mengatasi halangan ini. Beliau kemudiannya dianugerahkan Fields Medal, penghormatan tertinggi matematik, sebahagiannya untuk kerja ini. Pada tahun 2001, beliau menggunakan kaedahnya pada teorem Szemerédi, membuktikan had yang lebih baik pada saiz set maksimum, mengelakkan siri aritmetik untuk sebarang panjang tertentu.

Pada 2022, James Leng, ketika itu pelajar siswazah tahun kedua di UCLA, mula memahami teori Gowers. Dia tidak menganggap teorem Szemerédi. Sebaliknya, dia berharap dapat menjawab soalan mengenai pendekatan Gowers.

Namun, setelah berusaha bersungguh-sungguh untuk meneroka selama lebih setahun, dia tidak menemui apa-apa.

Sah dan Sawhney, yang telah memikirkan tentang isu berkaitan, mengetahui tentang kerja Leng dan sangat berminat malah Sawhney berkata: "Saya terkejut saya boleh berfikir seperti ini."

Sah dan Sawhney menyedari bahawa penyelidikan Leng mungkin membantu mereka membuat kemajuan selanjutnya dalam teorem Szemerédi. Dalam beberapa bulan, tiga ahli matematik muda memikirkan cara untuk mendapatkan had atas yang lebih baik pada saiz set tanpa siri pentterm. Mereka kemudian memanjangkan kerja mereka kepada siri panjang sewenang-wenangnya, menandakan kemajuan pertama dalam masalah itu dalam tempoh 23 tahun sejak bukti Gowers.

Biar Zum ersten Mal seit Jahrzehnten wurden Fortschritte erzielt, die Lehrlinge Tao Zhexuan und Zhao Yufei lösten kombinatorische Mathematikprobleme menandakan Zum ersten Mal seit Jahrzehnten wurden Fortschritte erzielt, die Lehrlinge Tao Zhexuan und Zhao Yufei lösten kombinatorische Mathematikprobleme, saiz subset terbesar siri aritmetik tanpa sebutan k. Leng, Sah dan Sawhney menunjukkan bahawa untuk k ≥ 5, wujud c_k > 0 sedemikian rupa sehingga Zum ersten Mal seit Jahrzehnten wurden Fortschritte erzielt, die Lehrlinge Tao Zhexuan und Zhao Yufei lösten kombinatorische Mathematikprobleme.

Pasukan Penyelidik

Pengarang pertama karya James Leng ialah pelajar siswazah dalam matematik di University of California, Los Angeles (UCLA), dan menerima ijazah sarjana muda dari University of California, Berkeley. Dia belajar di bawah ahli matematik terkenal Terence Tao.

James Lengs Forschungsinteressen umfassen arithmetische Kombinatorik, dynamische Systeme, Fourier-Analyse usw. Seine Forschung wurde auch durch ein NSF-Graduiertenstipendium unterstützt.

Zum ersten Mal seit Jahrzehnten wurden Fortschritte erzielt, die Lehrlinge Tao Zhexuan und Zhao Yufei lösten kombinatorische Mathematikprobleme

                                                                                . Im Sommer 2016 gewann der 16-jährige Sah die Goldmedaille bei der Internationalen Mathematikolympiade (IMO). Im folgenden Jahr ging er zum Studium am MIT.

Zum ersten Mal seit Jahrzehnten wurden Fortschritte erzielt, die Lehrlinge Tao Zhexuan und Zhao Yufei lösten kombinatorische Mathematikprobleme                                                                           Ashwin Sah

Während seines Studiums am MIT gab es zwei Personen, die eine wichtige Rolle in Sahs mathematischer Entwicklung spielten. Der erste ist Professor Yufei Zhao, ein Meister der diskreten Mathematik, der auch Sahs Graduiertenlehrer ist. Der Zweite ist Mehtaab Sawhney, sie haben sich im Unterricht kennengelernt und sind Freunde geworden. Später forschten die beiden gemeinsam und diskutierten verschiedene Themen im Bereich der diskreten Mathematik, wie etwa Graphentheorie, Wahrscheinlichkeitstheorie und die Eigenschaften von Zufallsmatrizen. Ashwin Sah und Mehtaab Sawhney lernten sich Ende 2017 kennen, als sie noch Studenten am MIT waren. Seitdem haben die beiden zusammen unglaubliche 57 mathematische Beweise geschrieben, von denen viele weitreichende Auswirkungen auf verschiedene Bereiche hatten.

Zum ersten Mal seit Jahrzehnten wurden Fortschritte erzielt, die Lehrlinge Tao Zhexuan und Zhao Yufei lösten kombinatorische Mathematikprobleme                                                                                                                                                      Mehtaab Sawhney

Mehtaab Sawhney ist derzeit Assistenzprofessor an der Columbia University. Zu seinen Forschungsinteressen zählen unter anderem Kombinatorik, Wahrscheinlichkeitstheorie und theoretische Informatik.

Referenzlink: https://www.quantamagazine.org/grad-students-find-inevitable-patterns-in-big-sets-of-numbers-20240805/

Das obige ist der detaillierte Inhalt vonZum ersten Mal seit Jahrzehnten wurden Fortschritte erzielt, die Lehrlinge Tao Zhexuan und Zhao Yufei lösten kombinatorische Mathematikprobleme. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!

Erklärung dieser Website
Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn

Heiße KI -Werkzeuge

Undresser.AI Undress

Undresser.AI Undress

KI-gestützte App zum Erstellen realistischer Aktfotos

AI Clothes Remover

AI Clothes Remover

Online-KI-Tool zum Entfernen von Kleidung aus Fotos.

Undress AI Tool

Undress AI Tool

Ausziehbilder kostenlos

Clothoff.io

Clothoff.io

KI-Kleiderentferner

Video Face Swap

Video Face Swap

Tauschen Sie Gesichter in jedem Video mühelos mit unserem völlig kostenlosen KI-Gesichtstausch-Tool aus!

Heißer Artikel

<🎜>: Bubble Gum Simulator Infinity - So erhalten und verwenden Sie Royal Keys
3 Wochen vor By 尊渡假赌尊渡假赌尊渡假赌
Nordhold: Fusionssystem, erklärt
3 Wochen vor By 尊渡假赌尊渡假赌尊渡假赌
Mandragora: Flüstern des Hexenbaum
3 Wochen vor By 尊渡假赌尊渡假赌尊渡假赌

Heiße Werkzeuge

Notepad++7.3.1

Notepad++7.3.1

Einfach zu bedienender und kostenloser Code-Editor

SublimeText3 chinesische Version

SublimeText3 chinesische Version

Chinesische Version, sehr einfach zu bedienen

Senden Sie Studio 13.0.1

Senden Sie Studio 13.0.1

Leistungsstarke integrierte PHP-Entwicklungsumgebung

Dreamweaver CS6

Dreamweaver CS6

Visuelle Webentwicklungstools

SublimeText3 Mac-Version

SublimeText3 Mac-Version

Codebearbeitungssoftware auf Gottesniveau (SublimeText3)

Heiße Themen

Java-Tutorial
1664
14
PHP-Tutorial
1269
29
C#-Tutorial
1249
24
Der Autor von ControlNet hat einen weiteren Hit! Der gesamte Prozess der Generierung eines Gemäldes aus einem Bild, der in zwei Tagen 1,4.000 Sterne verdient Der Autor von ControlNet hat einen weiteren Hit! Der gesamte Prozess der Generierung eines Gemäldes aus einem Bild, der in zwei Tagen 1,4.000 Sterne verdient Jul 17, 2024 am 01:56 AM

Es ist ebenfalls ein Tusheng-Video, aber PaintsUndo ist einen anderen Weg gegangen. ControlNet-Autor LvminZhang begann wieder zu leben! Dieses Mal ziele ich auf den Bereich der Malerei. Das neue Projekt PaintsUndo hat nicht lange nach seinem Start 1,4.000 Sterne erhalten (die immer noch wahnsinnig steigen). Projektadresse: https://github.com/lllyasviel/Paints-UNDO Bei diesem Projekt gibt der Benutzer ein statisches Bild ein, und PaintsUndo kann Ihnen dabei helfen, automatisch ein Video des gesamten Malprozesses zu erstellen, vom Linienentwurf bis zum fertigen Produkt . Während des Zeichenvorgangs sind die Linienänderungen erstaunlich. Das Endergebnis des Videos ist dem Originalbild sehr ähnlich: Schauen wir uns eine vollständige Zeichnung an.

Die agentenlose Lösung von UIUC steht ganz oben auf der Liste der Open-Source-KI-Softwareentwickler und löst problemlos echte Programmierprobleme im SWE-Bench Die agentenlose Lösung von UIUC steht ganz oben auf der Liste der Open-Source-KI-Softwareentwickler und löst problemlos echte Programmierprobleme im SWE-Bench Jul 17, 2024 pm 10:02 PM

Die AIxiv-Kolumne ist eine Kolumne, in der diese Website akademische und technische Inhalte veröffentlicht. In den letzten Jahren sind in der AIxiv-Kolumne dieser Website mehr als 2.000 Berichte eingegangen, die Spitzenlabore großer Universitäten und Unternehmen auf der ganzen Welt abdecken und so den akademischen Austausch und die Verbreitung wirksam fördern. Wenn Sie hervorragende Arbeiten haben, die Sie teilen möchten, können Sie gerne einen Beitrag leisten oder uns für die Berichterstattung kontaktieren. Einreichungs-E-Mail: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com Die Autoren dieses Artikels stammen alle aus dem Team von Lehrer Zhang Lingming an der University of Illinois in Urbana-Champaign, darunter: Steven Code Repair; Doktorand im vierten Jahr, Forscher

Von RLHF über DPO bis TDPO sind große Modellausrichtungsalgorithmen bereits auf „Token-Ebene' Von RLHF über DPO bis TDPO sind große Modellausrichtungsalgorithmen bereits auf „Token-Ebene' Jun 24, 2024 pm 03:04 PM

Die AIxiv-Kolumne ist eine Kolumne, in der diese Website akademische und technische Inhalte veröffentlicht. In den letzten Jahren sind in der AIxiv-Kolumne dieser Website mehr als 2.000 Berichte eingegangen, die Spitzenlabore großer Universitäten und Unternehmen auf der ganzen Welt abdecken und so den akademischen Austausch und die Verbreitung wirksam fördern. Wenn Sie hervorragende Arbeiten haben, die Sie teilen möchten, können Sie gerne einen Beitrag leisten oder uns für die Berichterstattung kontaktieren. Einreichungs-E-Mail: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com Im Entwicklungsprozess der künstlichen Intelligenz war die Steuerung und Führung großer Sprachmodelle (LLM) schon immer eine der zentralen Herausforderungen, um sicherzustellen, dass diese Modelle beides sind kraftvoll und sicher dienen der menschlichen Gesellschaft. Frühe Bemühungen konzentrierten sich auf Methoden des verstärkenden Lernens durch menschliches Feedback (RL

arXiv-Artikel können als „Barrage' gepostet werden, die Diskussionsplattform von Stanford alphaXiv ist online, LeCun gefällt es arXiv-Artikel können als „Barrage' gepostet werden, die Diskussionsplattform von Stanford alphaXiv ist online, LeCun gefällt es Aug 01, 2024 pm 05:18 PM

Prost! Wie ist es, wenn es bei einer Papierdiskussion auf Worte ankommt? Kürzlich haben Studenten der Stanford University alphaXiv erstellt, ein offenes Diskussionsforum für arXiv-Artikel, das es ermöglicht, Fragen und Kommentare direkt zu jedem arXiv-Artikel zu posten. Website-Link: https://alphaxiv.org/ Tatsächlich ist es nicht erforderlich, diese Website speziell zu besuchen. Ändern Sie einfach arXiv in einer beliebigen URL in alphaXiv, um den entsprechenden Artikel direkt im alphaXiv-Forum zu öffnen: Sie können die Absätze darin genau lokalisieren das Papier, Satz: Im Diskussionsbereich auf der rechten Seite können Benutzer Fragen stellen, um dem Autor Fragen zu den Ideen und Details des Papiers zu stellen. Sie können beispielsweise auch den Inhalt des Papiers kommentieren, wie zum Beispiel: „Gegeben an.“

Posthume Arbeit des OpenAI Super Alignment Teams: Zwei große Modelle spielen ein Spiel und die Ausgabe wird verständlicher Posthume Arbeit des OpenAI Super Alignment Teams: Zwei große Modelle spielen ein Spiel und die Ausgabe wird verständlicher Jul 19, 2024 am 01:29 AM

Wenn die Antwort des KI-Modells überhaupt unverständlich ist, würden Sie es wagen, sie zu verwenden? Da maschinelle Lernsysteme in immer wichtigeren Bereichen eingesetzt werden, wird es immer wichtiger zu zeigen, warum wir ihren Ergebnissen vertrauen können und wann wir ihnen nicht vertrauen sollten. Eine Möglichkeit, Vertrauen in die Ausgabe eines komplexen Systems zu gewinnen, besteht darin, vom System zu verlangen, dass es eine Interpretation seiner Ausgabe erstellt, die für einen Menschen oder ein anderes vertrauenswürdiges System lesbar ist, d. h. so vollständig verständlich, dass mögliche Fehler erkannt werden können gefunden. Um beispielsweise Vertrauen in das Justizsystem aufzubauen, verlangen wir von den Gerichten, dass sie klare und lesbare schriftliche Stellungnahmen abgeben, die ihre Entscheidungen erläutern und stützen. Für große Sprachmodelle können wir auch einen ähnlichen Ansatz verfolgen. Stellen Sie bei diesem Ansatz jedoch sicher, dass das Sprachmodell generiert wird

Ein bedeutender Durchbruch in der Riemann-Hypothese! Tao Zhexuan empfiehlt dringend neue Arbeiten vom MIT und Oxford, und der 37-jährige Fields-Medaillengewinner nahm daran teil Ein bedeutender Durchbruch in der Riemann-Hypothese! Tao Zhexuan empfiehlt dringend neue Arbeiten vom MIT und Oxford, und der 37-jährige Fields-Medaillengewinner nahm daran teil Aug 05, 2024 pm 03:32 PM

Kürzlich gelang der Riemann-Hypothese, die als eines der sieben großen Probleme des Jahrtausends bekannt ist, ein neuer Durchbruch. Die Riemann-Hypothese ist ein sehr wichtiges ungelöstes Problem in der Mathematik, das sich auf die genauen Eigenschaften der Verteilung von Primzahlen bezieht (Primzahlen sind Zahlen, die nur durch 1 und sich selbst teilbar sind, und sie spielen eine grundlegende Rolle in der Zahlentheorie). In der heutigen mathematischen Literatur gibt es mehr als tausend mathematische Thesen, die auf der Aufstellung der Riemann-Hypothese (oder ihrer verallgemeinerten Form) basieren. Mit anderen Worten: Sobald die Riemann-Hypothese und ihre verallgemeinerte Form bewiesen sind, werden diese mehr als tausend Sätze als Theoreme etabliert, die einen tiefgreifenden Einfluss auf das Gebiet der Mathematik haben werden, und wenn sich die Riemann-Hypothese als falsch erweist, dann unter anderem Auch diese Sätze werden teilweise ihre Gültigkeit verlieren. Neuer Durchbruch kommt von MIT-Mathematikprofessor Larry Guth und der Universität Oxford

LLM eignet sich wirklich nicht für die Vorhersage von Zeitreihen. Es nutzt nicht einmal seine Argumentationsfähigkeit. LLM eignet sich wirklich nicht für die Vorhersage von Zeitreihen. Es nutzt nicht einmal seine Argumentationsfähigkeit. Jul 15, 2024 pm 03:59 PM

Können Sprachmodelle wirklich zur Zeitreihenvorhersage verwendet werden? Gemäß Betteridges Gesetz der Schlagzeilen (jede Schlagzeile, die mit einem Fragezeichen endet, kann mit „Nein“ beantwortet werden) sollte die Antwort „Nein“ lauten. Die Tatsache scheint wahr zu sein: Ein so leistungsstarkes LLM kann mit Zeitreihendaten nicht gut umgehen. Zeitreihen, also Zeitreihen, beziehen sich, wie der Name schon sagt, auf eine Reihe von Datenpunktsequenzen, die in der Reihenfolge ihres Auftretens angeordnet sind. Die Zeitreihenanalyse ist in vielen Bereichen von entscheidender Bedeutung, einschließlich der Vorhersage der Ausbreitung von Krankheiten, Einzelhandelsanalysen, Gesundheitswesen und Finanzen. Im Bereich der Zeitreihenanalyse haben viele Forscher in letzter Zeit untersucht, wie man mithilfe großer Sprachmodelle (LLM) Anomalien in Zeitreihen klassifizieren, vorhersagen und erkennen kann. Diese Arbeiten gehen davon aus, dass Sprachmodelle, die gut mit sequentiellen Abhängigkeiten in Texten umgehen können, auch auf Zeitreihen verallgemeinert werden können.

Das erste Mamba-basierte MLLM ist da! Modellgewichte, Trainingscode usw. waren alle Open Source Das erste Mamba-basierte MLLM ist da! Modellgewichte, Trainingscode usw. waren alle Open Source Jul 17, 2024 am 02:46 AM

Die AIxiv-Kolumne ist eine Kolumne, in der diese Website akademische und technische Inhalte veröffentlicht. In den letzten Jahren sind in der AIxiv-Kolumne dieser Website mehr als 2.000 Berichte eingegangen, die Spitzenlabore großer Universitäten und Unternehmen auf der ganzen Welt abdecken und so den akademischen Austausch und die Verbreitung wirksam fördern. Wenn Sie hervorragende Arbeiten haben, die Sie teilen möchten, können Sie gerne einen Beitrag leisten oder uns für die Berichterstattung kontaktieren. E-Mail-Adresse: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com. Einleitung In den letzten Jahren hat die Anwendung multimodaler großer Sprachmodelle (MLLM) in verschiedenen Bereichen bemerkenswerte Erfolge erzielt. Als Grundmodell für viele nachgelagerte Aufgaben besteht aktuelles MLLM jedoch aus dem bekannten Transformer-Netzwerk, das

See all articles