NadiAIGlobal AI news. Concise. Clear. Easy to follow.
AI kini boleh mencipta bukti matematik lanjutan dan membantu memformalkan bukti manusia menggunakan pembantu bukti, sehingga mempercepat kerja yang dahulunya memakan masa bertahun-tahun. Ini menimbulkan soal peranan tradisional matematikawan—antara kreativiti intuisi manusia dan automasi penemuan matematik oleh AI.
OpenAI melatih sistem yang menyelesaikan soalan matematik sekolah rendah dengan ketepatan hampir dua kali ganda berbanding model GPT-3 yang ditala halus. Dalam perbandingan kecil, sistem itu menyelesaikan kira-kira 90% jumlah soalan yang dapat diselesaikan kanak-kanak sebenar; sampel 9–12 tahun memperoleh 60% manakala sistem mencatat 55% pada soalan sama.
Menurut Microsoft, perkhidmatan tutor matematik dalam talian menggunakan AI untuk menyesuaikan latihan dan memberi maklum balas secara individu kepada pelajar. Matlamatnya adalah meningkatkan kemahiran pengiraan dan keyakinan pelajar melalui pembelajaran yang disesuaikan.
OpenAI membincangkan cara menggunakan ChatGPT untuk membina tutor matematik peribadi yang menyesuaikan pembelajaran pengguna. Sumber itu menerangkan konsep asas dan pertimbangan untuk mengaplikasikan model bahasa dalam pengajaran matematik.
DeepMind menerangkan satu kaedah baharu yang memanfaatkan teknik AI untuk mencari penyelesaian kepada masalah berabad dalam dinamika bendalir. Penerangan mereka mencadangkan aplikasi kepada matematik, fizik dan kejuruteraan, tetapi butiran teknikal dan pengesahan lanjut diperlukan.
Versi lanjutan Gemini yang digabungkan dengan Deep Think secara rasmi mencapai tahap pingat emas di International Mathematical Olympiad. IMO ialah pertandingan matematik pra-universiti paling berprestij yang menguji penyelesaian masalah rumit dalam algebra, geometri, kombinatori dan teori nombor.
Menurut DeepMind, inisiatif ini menggabungkan beberapa institusi penyelidikan terkemuka dunia. Tujuannya adalah meneroka dan memajukan penggunaan kecerdasan buatan dalam penyelidikan matematik untuk mempercepat penemuan baru.
Menurut OpenAI, Profesor UCLA Ernest Ryu dan model GPT-5 berjaya menyelesaikan satu soalan penting dalam teori pengoptimuman. Kejayaan itu dipaparkan sebagai contoh bagaimana kecerdasan buatan boleh mempercepatkan penemuan matematik.
Menurut OpenAI, GPT-5.2 adalah model terkuat setakat ini untuk matematik dan sains dan mencapai keputusan terbaharu pada penanda aras seperti GPQA Diamond dan FrontierMath. OpenAI menyatakan peningkatan ini membantu kemajuan penyelidikan, termasuk menyelesaikan masalah teoretikal terbuka dan menjana bukti matematik yang lebih boleh dipercayai.
Beberapa kertas penyelidikan, menurut blog Google DeepMind, menunjukkan pengaruh semakin besar Gemini Deep Think dalam tugas matematik dan saintifik. Hasil awal mencadangkan model ini membantu penyelesaian masalah dan eksplorasi ilmu dalam pelbagai bidang.
Menurut OpenAI News, sebuah model daripada OpenAI menyelesaikan masalah jarak unit berusia 80 tahun dan menolak sebuah konjektur penting dalam geometri diskret. Peristiwa ini dianggap sebagai pencapaian penting bagi matematik yang digerakkan oleh AI.