Tất cả các hàm cơ bản từ một toán tử nhị phân
All elementary functions from a single binary operator
Các nhà nghiên cứu vừa phát hiện ra rằng mọi hàm toán học cơ bản—từ lượng giác, logarit cho đến lũy thừa—đều có thể được xây dựng từ một toán tử nhị phân duy nhất: `eml(x, y) = exp(x) - ln(y)`. Khám phá này tạo ra một dạng "universal gate" cho toán học liên tục, cho phép biểu diễn bất kỳ hàm số nào dưới dạng cây nhị phân với các node đồng nhất. Đối với giới lập trình viên, cấu trúc đồng nhất này giúp đơn giản hóa việc tính toán biểu tượng (symbolic computation) và mở ra khả năng thực hiện hồi quy biểu tượng dựa trên gradient (gradient-based symbolic regression). Nhờ đó, chúng ta có thể tận dụng các trình tối ưu hóa phổ biến như Adam để khôi phục các biểu thức toán học chính xác từ dữ liệu số. Đây là một phương thức đầy hứa hẹn, tạo ra nền tảng cơ bản mạnh mẽ cho lĩnh vực trí tuệ nhân tạo biểu tượng (symbolic AI) và tự động hóa quá trình khám phá các mô hình toán học.
Một cổng hai đầu vào duy nhất đủ cho tất cả logic Boolean trong phần cứng kỹ thuật số. Không có nguyên mẫu nào có thể so sánh được với toán học liên tục: tính toán các hàm cơ bản như sin, cos,...
Tóm tắt:Một cổng hai đầu vào duy nhất đủ cho tất cả logic Boolean trong phần cứng kỹ thuật số. Không có nguyên mẫu nào có thể so sánh được với toán học liên tục: việc tính toán các hàm cơ bản như sin, cos, sqrt và log luôn yêu cầu nhiều phép toán riêng biệt. Ở đây tôi chỉ ra rằng một toán tử nhị phân, eml(x,y)=exp(x)-ln(y), cùng với hằng số 1, tạo ra danh mục tiêu chuẩn của một máy tính khoa học. Điều này bao gồm các hằng số như e, pi và i; các phép tính số học bao gồm cộng, trừ, nhân, chia và lũy thừa cũng như các hàm siêu việt và đại số thông thường. Ví dụ: exp(x)=eml(x,1), ln(x)=eml(1,eml(eml(1,x),1)), và tương tự cho tất cả các phép toán khác. Việc một nhà điều hành như vậy tồn tại là điều không thể lường trước được; Tôi đã tìm thấy nó bằng cách tìm kiếm toàn diện một cách có hệ thống và xác lập một cách xây dựng rằng nó đủ cho cơ sở máy tính khoa học cụ thể. Ở dạng EML (Exp-Minus-Log), mọi biểu thức như vậy sẽ trở thành một cây nhị phân gồm các nút giống hệt nhau, tạo ra một ngữ pháp đơn giản như S -> 1 | eml(S,S). Cấu trúc thống nhất này cũng cho phép hồi quy ký hiệu dựa trên độ dốc: sử dụng cây EML làm mạch có thể huấn luyện với bộ tối ưu hóa tiêu chuẩn (Adam), tôi chứng minh tính khả thi của việc khôi phục chính xác các hàm cơ bản dạng đóng từ dữ liệu số ở độ sâu cây nông lên đến 4. Kiến trúc tương tự có thể phù hợp với dữ liệu tùy ý, nhưng khi luật tạo ở mức cơ bản, nó có thể khôi phục công thức chính xác.
| Nhận xét: | 2 số liệu, Thông tin bổ sung, mã có sẵn tại URL https này |
| Chủ đề: | Tính toán biểu tượng (cs.SC); Học máy (cs.LG) |
| MSC lớp: | 26A09 (Chính) 08A40, 68W30 (Phụ) |
| ACM các lớp: | I.1.1; F.1.1 |
| Trích dẫn là: | arXiv:2603.21852 [cs.SC] |
| (hoặc arXiv:2603.21852v2 [cs.SC] cho phiên bản này) | |
| https://doi.org/10.48550/arXiv.2603.21852 DOI do arXiv cấp qua DataCite |
Tác giả: pizza