Lưu trữ tin — 17

NewsfilecorpKinh doanh

Goldgroup Mining Inc. vừa công bố tổng quan về hoạt động khai thác tại bang Oaxaca, Mexico, nhấn mạnh tiềm năng sản xuất và mở rộng của hai mỏ hầm lò Arista và Alta Gracia. Công ty hiện đang triển khai chương trình khoan thăm dò dài 34.250 mét trong năm 2026 cùng các dự án nâng cấp hạ tầng quan trọng tại nhà máy xử lý El Aguila.

TekediaCông nghệ

Một nhà nghiên cứu căn chỉnh của Anthropic nhận định có hơn 10% khả năng trí tuệ nhân tạo tiêu diệt toàn bộ loài người trong thập kỷ tới. Động thái này diễn ra sau khi một đồng nghiệp từ chức vì lo ngại các hãng phát triển AI đang tiến quá nhanh tới hệ thống tự trị mà thiếu biện pháp kiểm soát đầy đủ.

Law360Kinh doanh

Tòa phúc thẩm khu vực số 4 đã ra lệnh cho Ủy ban Truyền thông Liên bang (FCC) phản hồi đơn thỉnh cầu từ một nhóm ứng viên Đảng Dân chủ. Đơn này nhằm ngăn chặn một quyết định mở rộng mức giá quảng cáo phát thanh và truyền hình ưu đãi cho các ủy ban mua suất quảng cáo phối hợp với các ứng viên chính trị.

WionThế giới

Bộ An ninh Nội địa Mỹ đã đề xuất loại bỏ thời gian ân hạn 60 ngày đối với lao động nước ngoài giữ visa tạm thời sau khi bị sa thải hoặc nghỉ việc. Quy định mới bắt buộc người lao động phải rời khỏi Mỹ ngay khi chấm dứt hợp đồng lao động, gây ảnh hưởng trực tiếp đến nhiều chuyên gia nước ngoài, đặc biệt là lao động Ấn Độ.

Vanguard NewsKinh doanh

Cựu Phó Tổng thống Nigeria Atiku Abubakar đã lên tiếng chỉ trích kế hoạch phát hành trái phiếu tại Vienna của Tổng thống Bola Tinubu trong bối cảnh chi phí năng lượng leo thang và các nhà máy đang gặp khó khăn. Ông yêu cầu chính phủ làm rõ tình hình tài chính, minh bạch hóa các khoản thu ngân sách và các khoản vay.

TekediaCông nghệ

Startup trí tuệ nhân tạo DeepSeek của Trung Quốc đã thuê CITIC Securities để chuẩn bị cho khả năng phát hành cổ phiếu lần đầu ra công chúng tại sàn STAR Market ở Thượng Hải. Động thái này diễn ra trong bối cảnh công ty cần thêm nguồn vốn để mở rộng hạ tầng điện toán, phát triển mô hình mới và giữ chân nhân sự.

FinchannelCông nghệ

Kiểm định hình thức sử dụng toán học để chứng minh một chương trình đáp ứng đặc tả kỹ thuật cho mọi đầu vào thay vì chỉ thử nghiệm qua một số trường hợp. Dự án CSLib ra đời nhằm mục tiêu trở thành thư viện mã nguồn mở cung cấp nền tảng kiểm định cho khoa học máy tính trên ngôn ngữ Lean.