Science

AI giải bài toán Erdős hàng thập kỷ, đánh dấu cột mốc mới cho suy luận máy móc

10 views

AI giải bài toán Erdős làm khó các nhà toán học

Một hệ thống AI đã giải thành công một bài toán lâu đời do Paul Erdős, một trong những nhà toán học sung mãn nhất thế kỷ 20, đặt ra. Bài toán liên quan đến lý thuyết số tổ hợp đã kháng cự các nhà toán học con người trong nhiều thập kỷ. Các nhà nghiên cứu cho biết AI đã sử dụng các kỹ thuật nhận dạng mẫu và suy luận tự động mới, khác biệt cơ bản với cách tiếp cận của con người, mở ra những hướng đi mới cho khám phá toán học có sự hỗ trợ của máy móc.

Nhà thiên văn tìm thấy cặp lỗ đen kỷ lục

Trong một phát triển riêng, các nhà thiên văn có thể đã xác định được một cặp lỗ đen kỷ lục, có khả năng là hệ thống lỗ đen nhị phân lớn nhất từng được quan sát. Khám phá này, sử dụng dữ liệu từ nhiều đài quan sát, có thể cung cấp những hiểu biết mới về cách các lỗ đen siêu lớn hình thành và hợp nhất. Nếu được xác nhận, cặp lỗ đen này sẽ thách thức các mô hình hiện tại về sự phát triển của lỗ đen và tiến hóa thiên hà.

Loài gấu chó cổ đại mới được xác định tại Tây Ban Nha

Các nhà cổ sinh vật học ở Tây Ban Nha đã xác định một loài gấu chó cổ đại mới, một nhóm động vật có vú ăn thịt đã tuyệt chủng từng lang thang ở châu Âu hàng triệu năm trước. Loài này, được đặt tên là Paludocyon moyasolai, được phát hiện trong các mỏ hóa thạch ở Tây Ban Nha và bổ sung vào sự hiểu biết ngày càng tăng về sự đa dạng của các loài săn mồi có vú sống trước khi xuất hiện các dòng gấu và chó hiện đại.

Source: ScienceNews, Sci.News