OpenAI bina pengesan teorem neural untuk menyelesaikan soalan olimpiad matematik
OpenAI membina pengesan teorem neural untuk Lean yang belajar menyelesaikan pelbagai soalan olimpiad matematik peringkat sekolah menengah. Sistem itu berjaya menangani masalah dari AMC12, AIME dan dua soalan yang diubah suai daripada IMO menurut laporan.