MathHelm ra mắt diễn đàn để các nhà toán học thảo luận về các bài báo do AI tạo ra
Bắt đầu từ đây
MathHelm đã ra mắt với tư cách là một diễn đàn nơi các nhà toán học nghiên cứu có thể đọc, chia sẻ và thảo luận về các bài báo mới, bao gồm cả những bài do AI tạo ra. Bất kỳ ai cũng có thể đọc trang web, nhưng việc đăng bài chỉ giới hạn cho các thành viên tham gia bằng email tổ chức đã được xác minh; thành viên có thể đặt câu hỏi, đính kèm PDF và tài liệu tham khảo, và viết toán học bằng LaTeX. Hoạt động gần đây trên diễn đàn bao gồm một bản hình thức hóa bằng Lean của Định lý 1.2 từ bài báo local smoothing của OpenAI.
Tạo từ các bài viết · cập nhật 10 giờ trước
Dòng thời gian bài viết
Theo các bài viết để thấy sự việc từ nhiều phía.
- Hacker News · AIMathHelm: Diễn đàn để các nhà toán học nghiên cứu thảo luận về các bài báo do AI tạo ra
MathHelm là một diễn đàn nơi các nhà toán học nghiên cứu có thể đọc, chia sẻ và thảo luận về các bài báo mới, bao gồm cả những bài do AI tạo ra, với việc đăng bài chỉ giới hạn cho các thành viên sở hữu email tổ chức đã được xác minh. Thành viên có thể đính kèm PDF và tài liệu tham khảo và viết toán học bằng LaTeX. Hoạt động gần đây bao gồm một bản hình thức hóa bằng Lean của Định lý 1.2 trong bài báo về làm mịn cục bộ của OpenAI.
Độ nóng của sự việc này
Chưa đủ quan sát liên tục để vẽ xu hướng.