Kevin Hartnett từng là cây bút chủ chốt của Quanta Magazine, chuyên viết về toán học và khoa học máy tính. Các bài viết của ông đã được tuyển chọn và đưa vào nhiều tập sách thuộc bộ Best Writing on Mathematics (Những bài viết hay nhất về toán học). Từ năm 2013 đến năm 2016, ông phụ trách chuyên mục hằng tuần “Brainiac” trên trang Ideas của báo The Boston Globe. Ông là tác giả cuốn The Proof in the Code, viết về cách Lean đang tạo ra cuộc cách mạng trong toán học và trí tuệ nhân tạo.
Tsimerman đã ngừng nhận thêm nghiên cứu sinh, vì anh lo rằng nếu sinh viên bắt đầu một đề tài nghiên cứu truyền thống tại thời điểm này, họ có thể đang chuẩn bị cho một sự nghiệp toán học không tồn tại.
Tia Sáng
Chuyên trang tri thức của VnExpress
Tổng biên tập: Phạm Văn Hiếu
Địa chỉ: Tầng 10, Tòa A FPT Tower,
số 10 Phạm Văn Bạch, phường Cầu Giấy, Hà Nội
Điện thoại: (024) 39428445
Email: tiasang@vnexpress.net
© 2026. Toàn bộ bản quyền thuộc về Tia Sáng
