Tao Zhexuan sangat mengesyorkan dan menyemaknya secara peribadi: Ikuti sahaja senarai ini untuk mempelajari AI untuk Matematik

Dalam bidang AI untuk Matematik, jika anda tidak dapat mencari sumber yang betul, senarai ini mungkin membantu.

Sebentar tadi, blog peribadi ahli matematik terkenal Terence Tao telah dikemas kini lagi Kali ini mereka telah menyusun senarai sumber berguna, yang memfokuskan kepada AI untuk Matematik dan direka untuk mereka yang ingin masuk. bidang AI matematik memberikan bantuan.

Inisiatif senarai ini boleh dikesan sejak tahun lalu, organisasi pemula telah dicadangkan oleh seminar "Penaakulan Matematik Berbantukan Kecerdasan Buatan" yang dianjurkan oleh Akademi Sains, Kejuruteraan dan Perubatan Amerika Syarikat Tao berkhidmat sebagai hos seminar.

Pada masa ini, sumber URL telah didedahkan kepada umum.

Laman web: https://docs.google.com/document/d/1kD7H4E28656ua8jOGZ934nbH2HcBLyxcRgFDduH5iQ0/edit

dalam senarai ini , asalnya disediakan oleh UIUC It telah disusun oleh profesor Talia Ringer untuk digunakan oleh mereka yang ingin menceburi bidang matematik AI Namun, dokumen ini masih belum selesai dan penyelidik lain masih menambah baiknya (kita masih boleh melihat pelbagai kesan pengubahsuaian). .

Mengikut katalog, kita dapat melihat bahawa sumber senarai adalah sangat kaya. Terdapat buku teks yang disyorkan, sumber kursus, perbincangan komuniti, alat yang disyorkan dan banyak lagi.

Dalam lajur kursus, kami juga melihat kursus pembelajaran mesin sarjana AI terkenal Andrew Ng muncul dalam senarai yang disyorkan (anda boleh pergi terus ke sana dengan mengklik pada pautan, yang sangat mudah).

Untuk butiran lanjut tentang senarai ini, mari baca.

Mengenai pendidikan, senarai mengesyorkan beberapa buku teks dan laporan tinjauan, wiki dan glosari, tutorial, set data dan penanda aras, bahan kursus, dll.

Memandangkan AI untuk Matematik ialah bidang silang yang sangat kolaboratif, adalah sangat berfaedah untuk berkomunikasi dengan mereka yang mempunyai kepakaran dan pengalaman yang saling melengkapi Berdasarkan ini, senarai mengesyorkan beberapa forum komuniti untuk memudahkan perbincangan.

Mempelajari AI dan matematik sudah tentu tidak dapat dipisahkan daripada perpustakaan alatan dan kod Senarai yang disyorkan termasuk rangka kerja pembelajaran mesin, pembantu bukti, alatan matematik, perpustakaan matematik, dsb.

Dalam dunia hari ini di mana model besar membanjiri skrin, AI untuk Matematik secara semulajadi memerlukan LLM Senarai sumber ini memberikan model umum yang boleh diakses semuanya dalam senarai:

untuk LLM formal. bukti:

LLM untuk bukti rasmi:

dan chatbot:

Selepas melihat senarai ini, semua orang berkata bahawa ia sangat membantu pelajar dan guru.

Satu peringatan terakhir, senarai ini masih ditambah baik dan anda boleh menyemak maklumat yang diubah pada bila-bila masa.

Atas ialah kandungan terperinci Tao Zhexuan sangat mengesyorkan dan menyemaknya secara peribadi: Ikuti sahaja senarai ini untuk mempelajari AI untuk Matematik. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!