Back to the Lab

In Memory of My Wife, Elise Cawley (1961–2026), with Thanks for 36 Wonderful Years

Stephen Wolfram tưởng nhớ người vợ tài năng và yêu quý Elise Cawley, chia sẻ kỷ niệm gia đình cùng những đóng góp quan trọng của bà trong lĩnh vực toán học suốt 36 năm chung sống.

Đọc bài này để hiểu cách một nhà khoa học và lập trình viên như Stephen Wolfram thể hiện sự tôn trọng và cảm động qua những nỗ lực truyền cảm hứng về sự nghiệp của Elise Cawley—nhân vật có đóng góp sâu sắc trong toán học mà nhiều người không biết đến.

[2607.11938] Mathematics of Data Science

Bài báo arXiv 2607.11938 giới thiệu phần tóm tắt về lĩnh vực "Toán học của Khoa học Dữ liệu", đề cập đến các nền tảng toán học ứng dụng trong phân tích dữ liệu.

Những kỹ thuật toán và lý thuyết toán học trong bài viết này sẽ giúp bạn hiểu sâu hơn về cách xây dựng mô hình học máy hiệu quả hơn, từ đó tối ưu hóa thời gian và chất lượng dự án của mình.

Mathematical Experiments Are Becoming Abundant Through Human-Machine Teaming

Trong một thí nghiệm cuối tuần, tác giả đã sử dụng song song các tác nhân AI, công cụ kiểm tra số học chính xác và trợ lý chứng minh Lean để giải hai bài toán toán mở: xây dựng ma trận Hadamard cấp 668 và chứng minh ràng buộc cân bằng trong bài toán tĩnh điện Maxwell. Mặc dù AI đẩy nhanh thí nghiệm nhưng việc xác thực chứng minh, kiểm tra tính mới lạ và hiểu sâu vẫn là rào cản tốn kém của con người. Bài viết cũng đề cập đến những tiến bộ liên quan như AlphaEvolve hay phản ví dụ đơn vị Erdős của OpenAI, đồng thời nhấn mạnh nhu cầu về hệ thống đăng ký có thể tìm kiếm các tuyên bố và thất bại khi toán học do AI tạo ra gia tăng.

Lập trình viên nên đọc bài này để hiểu cách AI và công cụ tự động hóa như Lean đang thay đổi cách tiếp cận nghiên cứu toán học, từ việc tối ưu hóa các thí nghiệm số học cho đến việc hợp tác với con người để giải quyết những vấn đề khó khăn mà trước đây chỉ được coi là ngoài tầm tay của máy móc.

Logic for Programmers

Toán học thực hành dành cho lập trình viên đang làm việc.

Lập trình viên nên đọc bài này để hiểu cách áp dụng logic toán học thực tế trong giải quyết vấn đề lập trình, từ đó tối ưu hóa hiệu suất, giảm sai sót và xây dựng giải pháp code hiệu quả hơn.

Should AI Developers Make the Switch from Polars to Pandas?

Pandas là thư viện dữ liệu chuẩn của Python suốt hơn một thập kỷ, nhưng Polars nổi lên như một lựa chọn nhanh hơn nhờ xử lý song song trên nhiều lõi CPU, thực thi lười (lazy execution) tối ưu truy vấn qua .collect(), và định dạng bộ nhớ cột của Apache Arrow giúp tương tác không sao chép. Tuy nhiên, Polars không hoàn toàn thay thế Pandas vì Pandas vẫn được hệ sinh thái Python hỗ trợ rộng rãi, trong khi Polars phù hợp hơn với dữ liệu lớn và biến đổi phức tạp, còn Pandas đủ dùng cho công việc khám phá dữ liệu và dự án nhỏ.

Lập trình viên nên đọc bài này để hiểu cách lựa chọn giữa Pandas và Polars không chỉ dựa trên tốc độ mà là dựa trên nhu cầu dự án, kích thước dữ liệu và khả năng tích hợp với các công cụ Python hiện đại.

Terence Tao on “prematurely solving [a maths] problem by purely AI-powered methods”

Fundamentally, problems in pure mathematics, such as the global regularity problem, serve a different purpose than immediately practical problems, such as that of finding a cure to a specific disease, or increasing the energy efficiency of some engine. In most cases in pure mathematics, the problems are posed not because we desperately want the solution to these problems in and of themselves, but because we have seen from past experience that human-directed efforts to solve these problems tend to spur further development of the field through the efforts to solve such problems, and then to digest any partial or complete solutions that emerge for further insights. Prematurely solving the problem by purely AI-powered methods - particularly without full transparency into the solution process - can contaminate this process to the point where it actually becomes a net negative for the progress of mathematics as a whole. (6/6)

A Simplified View of the Jacobian Conjecture

Một kết quả toán học mới của Levent Alpöge, sử dụng trợ lý AI (Anthropic's Fable/Claude), đã bác bỏ Giả thuyết Jacobian tồn tại suốt một thế kỷ bằng cách đưa ra phản ví dụ 3D cụ thể. Giả thuyết này đặt câu hỏi liệu một biến dạng đa thức trơn, không sụp đổ của không gian vô hạn có luôn khả nghịch toàn cục hay không. Phản ví dụ là một hàm đa thức 3D có định thức Jacobian không đổi khác 0 (không co thắt hay xé rách cục bộ) nhưng vẫn ánh xạ hai đầu vào khác nhau tới cùng đầu ra, chứng minh giả thuyết sai. Việc bác bỏ này có thể kiểm chứng bằng đại số và giải tích cơ bản, dù phải mất gần 100 năm mới tìm ra. Phiên bản 2D của giả thuyết vẫn chưa có lời giải.

Lập trình viên nên đọc bài này để hiểu cách AI hỗ trợ giải quyết những vấn đề toán học phức tạp, giúp mở rộng kiến thức về tính toán và ứng dụng của trí tuệ nhân tạo trong khoa học, từ đó có thể áp dụng những kỹ năng này vào việc tối ưu hóa và phát triển các giải pháp công nghệ tiên tiến.

The Universe of Discourse : The road to epsilon-zero: Infinite Nim as a coin-moving game

Bài viết tái diễn giải trò chơi Nim dưới dạng di chuyển coin trên một đường kẻ số, tương đương với việc rút quân từ các đống. Sau đó, tác giả mở rộng mô hình này lên các cấp ordinal vô hạn (ω, ω², ω³, ω^ω) bằng cấu trúc hình học đa chiều, giúp trực quan hóa ordinal siêu hạn mà không cần ký hiệu đặc biệt.

Lập trình viên nên đọc bài này để hiểu cách áp dụng mô hình toán học về game Nim và thứ tự vô hạn (ordinals) để giải quyết vấn đề tối ưu hóa, phân tích thuật toán, hoặc thiết kế hệ thống có độ phức tạp vô hạn—chẳng hạn trong việc phân tích thời gian chạy, quản lý bộ nhớ, hoặc thiết kế cơ sở dữ liệu không giới hạn.