นาซ่าถอยจากการค้นหาสิ่งมีชีวิตบนดาวอังคาร ขณะที่เอไอไขปริศนาคณิตศาสตร์ที่ยังแก้ไม่ได้

นาซ่าทบทวนภารกิจค้นหาสิ่งมีชีวิตบนดาวอังคาร

นาซ่าดูเหมือนจะลดความมุ่งมั่นในการค้นหาสิ่งมีชีวิตในอดีตหรือปัจจุบันบนดาวอังคาร ตามรายงานของ Science News ข้อเสนองบประมาณและเอกสารการวางแผนภารกิจของหน่วยงานลดความสำคัญของเป้าหมายโหราศาสตร์ที่เคยเป็นศูนย์กลางของโครงการสำรวจดาวอังคาร นักวิทยาศาสตร์เตือนว่านักวิจัยรุ่นหนึ่งอาจพลาดโอกาสตอบคำถามว่ามีสิ่งมีชีวิตนอกโลกหรือไม่ การเปลี่ยนแปลงนี้เกิดขึ้นท่ามกลางลำดับความสำคัญที่แข่งขันกัน รวมถึงโครงการดวงจันทร์อาร์เทมิสและผลประโยชน์เชิงพาณิชย์ในอวกาศที่เพิ่มขึ้น

เอไอไขปัญหาคณิตศาสตร์อายุหลายสิบปีของ Erdős

ระบบปัญญาประดิษฐ์สามารถแก้ปัญหาที่ยาวนานซึ่งคิดค้นโดยพอล แอร์ดิช นักคณิตศาสตร์ในตำนาน นับเป็นความก้าวหน้าในการใช้เหตุผลทางคณิตศาสตร์อัตโนมัติ ความสำเร็จดังกล่าวกระตุ้นให้ผู้เชี่ยวชาญเรียกร้องให้มีมาตรการควบคุมการใช้ AI ในคณิตศาสตร์ เนื่องจากระบบสร้างบทพิสูจน์ที่นักคณิตศาสตร์มนุษย์ไม่สามารถหาได้มานานหลายทศวรรษ การพัฒนานี้ตั้งคำถามเกี่ยวกับอนาคตของการค้นพบทางคณิตศาสตร์ และว่า AI จะเปลี่ยนแปลงวิธีการทำคณิตศาสตร์อย่างสิ้นเชิงหรือไม่

กฎ NIH ใหม่ชะลอการวิจัยจีโนม

ข้อบังคับด้านความมั่นคงใหม่จากสถาบันสุขภาพแห่งชาติสำหรับชุดข้อมูลจีโนมกำลังชะลอความร่วมมือด้านการวิจัยและผลักดันให้ห้องปฏิบัติการพัฒนาวิธีแก้ไข กฎดังกล่าวมีเป้าหมายเพื่อปกป้องข้อมูลทางพันธุกรรมที่ละเอียดอ่อนจากศัตรูต่างชาติ แต่มีผลกระทบโดยไม่ได้ตั้งใจในการชะลอโครงการที่ศึกษาโรคทางพันธุกรรมและพันธุศาสตร์ประชากร นักวิทยาศาสตร์เรียกร้องให้มีแนวทางที่ตรงเป้าหมายมากขึ้นซึ่งสร้างสมดุลระหว่างความกังวลด้านความมั่นคงกับความต้องการแลกเปลี่ยนทางวิทยาศาสตร์อย่างเปิดเผย