นักคณิตศาสตร์ใช้ AI พิสูจน์ว่าค่าคงที่ของคาตาลัน (G) เป็นจำนวนไม่ตรรกยะ หลังจากที่ปัญหานี้เป็นคำถามที่ยังไม่มีคำตอบมานานกว่า 150 ปี โดยวิธีการใช้ 'weights' ที่เหมาะสมเพื่อแยกความเป็นไปได้ของจำนวนตรรกยะ ค่าคงที่ของคาตาลันถูกเสนอโดยคาตาลันในศตวรรษที่ 19 และการพิสูจน์ความไม่ตรรกยะของมันเป็นปัญหาที่ท้าทายในสาขาคณิตศาสตร์ เนื่องจากความซับซ้อนของลำดับอนุกรมที่เกี่ยวข้อง
AIคณิตศาสตร์
สรุปด้วย MAF Local AI · เนื้อหาต้นฉบับเป็นของแหล่งข่าว