'Genius matematik' Terence Tao: GPT-4 tidak dapat menyelesaikan masalah matematik yang belum diselesaikan, tetapi ia berguna untuk kerja

ChatGPT yang popular juga telah menjadi alat penyelidikan untuk genius matematik Terence Tao.

Baru-baru ini, dia berkata dalam talian bahawa dia telah menemui beberapa kes penggunaan kecil ChatGPT.

Mula-mula, ia mahir menghuraikan dokumentasi berformat kod (dalam kes ini API carian #arXiv), dan kemudian mengembalikan pertanyaan kod yang diformat dengan betul (kemudian ia Some working python kod juga disediakan untuk memanggil API ini dengan cara yang saya minta, walaupun saya terpaksa memasang pakej secara manual untuk menjalankannya). Kedua, saya memintanya untuk mengemukakan beberapa soalan yang mungkin ditanya oleh pelajar pintar dalam kelas algebra linear sarjana muda (yang mana saya menyediakan beberapa contoh soalan), yang memberi saya beberapa contoh yang baik tentang kemungkinan arah untuk kursus itu masalah kerja rumah yang berpotensi.

Secara keseluruhan, saya mendapati bahawa alatan AI seperti ChatGPT, walaupun tidak membantu saya mengatasi satu masalah matematik yang belum diselesaikan, berguna untuk masalah berkaitan kerja yang lain, walaupun beberapa pelarasan manual sering diperlukan selepas itu.

Tidak banyak perbezaan antara GPT-4 dan GPT-3.5

Bagaimana GPT-4 pandai menghuraikan dokumen format kod?

Terence Tao meminta GPT-4 untuk mencari semua artikel arXiv yang metadatanya ialah kata kunci tertentu (contohnya, "Collatz") dan telah diserahkan dalam tempoh tertentu julat tarikh (contohnya, antara 2011-2016). Menurut dokumentasi di bawah, apakah format pertanyaan sedemikian?

Dalam hal ini, GPT-4 bukan sahaja memberikan kod, tetapi juga menyenaraikan klasifikasi pertanyaan.

Seorang netizen bertanya, sebagai alat membaca, diberi kertas, biarkan ia mencadangkan pengulas atau penceramah Apakah soalan yang mungkin ditanya? Bagaimanakah GPT-4 lakukan dalam hal ini?

Tao Zhexuan mengambilnya untuk penilaian dan memujinya "sangat bagus".

"Berikut ialah beberapa halaman pertama kertas kerja baru-baru ini. Bolehkah anda mencadangkan beberapa ahli penonton mendengar tentang kertas kerja ini? Soalan-soalan yang mungkin ditanya semasa kuliah? . soalan". Kemudian, Balabala menyenaraikan 7 soalan.

kemudian bertanya, "Apa yang anda fikirkan perbezaan antara ChatGPT sebelumnya dan pembantu baharu berdasarkan model GPT-4?" 🎜>

Tao Zhexuan berkata, "Setakat ini, respons GPT-4 lebih berguna sedikit dan memenuhi keperluan saya, tetapi saya tidak nampak perbezaan yang ketara dalam kualiti." >

ChatGPT menyertai aliran kerja

Dengan kelahiran ChatGPT, ramai orang melaungkan bahawa pekerjaan mereka akan digantikan oleh AI.

Malah ahli matematik genius Terence Tao telah mula menggunakan ChatGPT.

Pada 5 Mac, Tao Zhexuan berkata dalam talian bahawa dia memutuskan untuk cuba memasukkan alatan AI ke dalam aliran kerja saya dengan cara yang berbeza. Ini termasuk alatan seperti GPT-4 dan DeepL.

Dalam tempoh ini, dia menemui semua fungsi tersembunyi ChatGPT, seperti mencari formula dan menghurai dokumen format kod , menulis semula ayat tesis, dsb.

Sebagai contoh, ChatGPT kadangkala boleh melakukan pencarian semula semantik separuh siap dalam matematik, iaitu menggunakannya untuk menjana beberapa petunjuk.

Sebagai contoh, Terence Tao meminta ChatGPT untuk mengenal pasti teorem Kummer daripada huraian Ia gagal memberikan jawapan yang betul, tetapi berdasarkan anggaran jawapan yang diberikan (. Formula Legendre).

Dalam hal ini, Terence Tao berkata bahawa peranan kecerdasan buatan dalam matematik adalah untuk menyediakan jawapan anggaran awal, yang kemudiannya boleh digabungkan dengan enjin carian tradisional untuk mencari jawapan yang betul dengan mudah.

Tao Zhexuan turut menemui kemuncak ChatGPT dalam menangani masalah matematik. Kenal pasti versi alih huruf bagi konsep matematik dalam bahasa yang berbeza.

Sebagai alternatif, ChatGPT boleh diminta untuk menukar sekumpulan rujukan yang diperoleh daripada MathSciNet dan meletakkannya dalam persekitaran bibliografi LaTeX Diformat sebagai bibitems.

Tetapi bukankah ChatGPT melakukan kesilapan?

Dalam soalan tentang membuktikan sama ada terdapat banyak nombor perdana, Tao Zhexuan mendapati bahawa jawapan yang diberikan oleh ChatGPT adalah tidak betul sepenuhnya.

Sebaliknya, beliau mendapati idea penghujahan yang diberikan oleh ChatGPT boleh diperbaiki, dan beliau tidak pernah melihat idea ini sebelum ini.

Salin, tampal dan lengkapkan dengan satu klik!

Netizen juga telah menghabiskan banyak usaha untuk meneroka kes penggunaan GPT-4.

Biarkan kertas semakan GPT-4 bukan sahaja munasabah, tetapi juga mencapai sasaran.

"Sebagai ahli akademik, saya tidak tahu apa yang perlu difikirkan tentang perkara ini: Saya meletakkan kertas lama saya ke dalam GPT-4 (dalam dua bahagian) dan meminta ahli sosiologi ekonomi untuk Tetapi adil ulasan rakan sebaya."

Ia mencipta ulasan rakan sebaya yang sangat munasabah yang menyentuh banyak perkara yang dibangkitkan oleh pengulas saya.

Bagi ramai orang, jika mereka ingin melakukan sesuatu, tanya GPT-4 terus, "Salin, tampal, ... Kunci sudah selesai!

Atas ialah kandungan terperinci 'Genius matematik' Terence Tao: GPT-4 tidak dapat menyelesaikan masalah matematik yang belum diselesaikan, tetapi ia berguna untuk kerja. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!