Weeks ago: everyone got excited about the autoformalization of Erdös problems
Now: Graduated a few orders of magnitude to the autoformalization of multiple Fields Medal results with generated code that is ~10% (!) of the size of mathlib
RH will be solved in my lifetime 😀

We are pleased to share that using Gauss, we have completed a ~200K LOC formalization of Maryna Viazovska’s 2022 Fields Medal theorems on optimal sphere packing in dimensions 8 and 24.
This is the only Fields Medal-winning result from this century to be completely formalized,

Math, Inc.

Twitter

Vài tuần trước: mọi người đều hào hứng với việc tự động hóa các bài toán Erdös
Giờ đây: Đã tiến thêm vài bậc về mức độ, đến việc tự động hóa nhiều kết quả đạt giải Fields Medal với mã được tạo ra chỉ bằng khoảng 10% (!) kích thước của mathlib
Rằng RH sẽ được giải quyết trong đời tôi 😀

Tác giả gốc: Changan, Amelia I, Đội ngũ Nội dung Biteye
Cái gì? Có người dùng trí tuệ nhân tạo đầu cơ coin và kiếm được 480 lần số vốn đầu tư ban đầu chỉ trong 8 ngày?
Trước đây, thị trường tài chính là nơi lý tưởng cho sự bất đối xứng thông tin. Nhà đầu tư bán lẻ thiếu vốn, nhưng quan trọng hơn, họ thiếu tỷ lệ băm để xử lý lượng dữ liệu khổng lồ, thiếu năng lượng để làm việc 24/7 và thiếu kỷ luật để chống lại lòng tham của con người.
Giờ đây, trí tuệ nhân tạo (AI) đã trở thành "điểm tựa Archimedes". Chỉ cần logic của bạn chính xác, AI là đòn bẩy giúp bạn gia tăng tài sản lên gấp mười lần.
Dưới đây là tổng hợp các ứng dụng AI tiên tiến trong bốn thị trường tài chính lớn. 👇
🌟Hợp đồng vĩnh cửu: 100 đến...

Giao dịch bằng AI trong thực tế: Lợi nhuận gấp 480 lần trong 8 ngày, hơn 15% lãi từ chênh lệch giá trong khủng hoảng địa chính trị – Làm thế nào người bình thường có thể làm được điều này?

Cảnh báo cực độ về kiểm soát thị trường RAVE: 96% token đang bị khóa cá voi), và vị thế giữ hợp đồng vượt quá spot dịch giao ngay, tạo ra một đợt ép bán khống lớn. Vui lòng hết sức cảnh giác trước nguy cơ cháy tài khoản của OKX và rủi ro nhà tạo lập thị trường bán tháo cổ phần của họ bất cứ lúc nào.

Phân tích các kỹ thuật thao túng thị trường của RAVE

Dự án DeFi nhà Trump World Liberty Financial (WLFI) vừa công bố một đề xuất quản trị quan trọng liên quan đến khoảng 62,28 tỷ token, đánh dấu bước đi mới trong việc hoàn thiện cơ chế phân bổ và kiểm s...