OpenAI klaim berhasil pecahkan teka-teki matematika 90 tahun. AI temukan bukti valid untuk conjecture Kuratowski, buka…