Cryptographic analysis
AssessKỹ thuật
Kỹ thuật nghiên cứu nhằm phát hiện điểm yếu trong các hệ mật mã.
Vì sao ở đây
Xếp vào Assess: 1 bài bằng chứng từ 2 nguồn, chủ yếu là đột phá nghiên cứu, 1 bài trong 30 ngày qua. Độ tin cậy 32%.
Bằng chứng (1)
- 8Simon Willison·1/8/2026breakthroughOpenAI công bố mười chứng minh toán học với Astra
OpenAI cho biết một phiên bản nội bộ của mô hình lớn tiếp theo, Astra, đã giải được mười bài toán toán học tồn đọng lâu năm với chi phí token dưới 2.000 USD cho mỗi bài. Kết quả đi kèm các formalization bằng Lean 4, một bài báo mô tả các chứng minh và một tài liệu do LLM tạo ra tái dựng quá trình suy luận. Thông báo này thu hút sự chú ý lớn từ giới toán học và nối tiếp các báo cáo trước đó về việc AI tìm ra điểm yếu mật mã.