Sebuah preprint baru oleh Wang & Wu dari Universitas Hunan membuktikan Conjetura Hadwiger Bola yang terbuka sejak 1974 dengan bantuan Open AI Codex. Pengarang mengungkapkan bahwa AI membantu mengembangkan detail bukti, mengidentifikasi celah, mengatur naskah, dan mengedit bahasa Inggris, sementara mereka memenuhi tanggung jawab penuh. Hal ini mengikuti formalisasi Teorema Terakhir Fermat oleh Claude di Lean dalam minggu yang sama.

Pengarang, yang mencoba membuktikan ini saat sedang menempuh pendidikan pascasarjana, mencatat bahwa laporan GPT-4 dari OpenAI mengestimasi bahwa 100% pekerjaan matematikawan terpapar kepada LLM — lebih tinggi daripada penulis atau seniman. Keterlambatan dampak AI mungkin berasal dari fakta bahwa matematika memiliki nilai ekonomi yang lebih rendah dan data pelatihan.

Hal ini menimbulkan pertanyaan apakah matematika murni akan mengikuti musik klasik ke dalam model "konservatori" — institucionalisasi di akademia dengan peran profesional terbatas di luar universitas. Sebuah konservatori matematika bisa mempertahankan bidang ini bahkan ketika pembuatan hasil menjadi mudah tetapi memahami pentingnya masih sulit. Matematika murni sudah ada di konservatori ini (akademi), dengan hasil yang dipahami oleh hanya sedikit orang.

Entitas Utama: Perusahaan: Open AI, Universitas Hunan | Orang: Wang, Wu, Claude Fable | Lokasi: Universitas Hunan