Mesin Menciptakan Matematika Baru Yang Belum Pernah Kami Lihat
Mendorong batasan matematika membutuhkan pikiran yang hebat untuk mengajukan masalah yang menarik. Bagaimana jika mesin bisa melakukannya? Sekarang, para ilmuwan menciptakan yang bisa. Dugaan yang baik memiliki sesuatu seperti tarikan magnet bagi pikiran seorang ahli matematika. Yang terbaik, dugaan matematika menyatakan sesuatu yang sangat mendalam dengan cara yang sangat tepat dan ringkas, menuntut pembuktian atau pembongkaran. Tetapi mengajukan dugaan yang baik itu sulit. Itu harus cukup dalam untuk memancing keingintahuan dan penyelidikan, tetapi tidak terlalu kabur sehingga tidak mungkin untuk dilihat sekilas. Banyak dari masalah paling terkenal dalam matematika adalah dugaan, dan bukan solusi, seperti teorema terakhir Fermat. Sekarang, sekelompok peneliti dari Technion di Israel dan Google di Tel Aviv mempresentasikan sistem dugaan otomatis yang mereka sebut Mesin Ramanujan, dinamai menurut ahli matematika Srinivasa Ramanujan, yang mengembangkan ribuan rumus inovatif dalam teori ...
