Tag
Tổng hợp 8 bài Kalera News liên quan đến Mathematics — viết tiếng Việt, có dẫn nguồn gốc.
Aleph Prover vừa công bố việc hình thức hóa (formalization) lời giải bác bỏ bài toán 'planar unit' của Paul Erdős do OpenAI thực hiện. Toàn bộ mã nguồn được mở rộng rãi để cộng đồng kiểm chứng.
Bài viết của Lilian Weng phân tích cơ sở toán học của Neural Tangent Kernel (NTK), lý giải cách các mạng nơ-ron siêu tham số hội tụ hiệu quả khi huấn luyện.
Google DeepMind giới thiệu hệ thống AI Co-Mathematician giúp các nhà toán học giải quyết các bài toán nghiên cứu mở thông qua sự phối hợp giữa người và các agent AI.
Mô hình reasoning quy mô 30B-A3B mới đạt hiệu suất tương đương huy chương vàng trong các kỳ thi IPhO và IMO nhờ công thức scaling đơn giản cho tìm kiếm chứng minh (proof search).
Nhà toán học lừng danh Terence Tao nhận định AI sẽ dẫn đến sự phân công lao động lần đầu tiên trong lịch sử toán học, nơi con người tập trung vào ý tưởng và AI lo phần chứng minh hình thức.
Google DeepMind giới thiệu AlphaProof Nexus, một framework agent sử dụng mô hình Gemini để tìm kiếm lời giải toán học chính quy, đạt thành tích giải được 9 bài toán Erdős mở.
CEO OpenAI Sam Altman chia sẻ ba lĩnh vực AGI sẽ tạo ra đột phá: nghiên cứu khoa học, vận hành doanh nghiệp và hỗ trợ cá nhân, đồng thời công bố một kết quả quan trọng về bài toán 'unit distance'.
Một mô hình suy luận của OpenAI vừa tìm ra lời giải mới cho bài toán 'khoảng cách đơn vị' (planar unit distance problem), một câu hỏi mở nổi tiếng từ năm 1946 mà các nhà toán học chưa thể giải quyết.
