Đang tải bảng tin…
DevOps.com27 Hot7 bình luận5 phút đọc
Mistral Releases Leanstral 1.5, an Open Model That Solved 587 of 672 Putnam Math Problems
Tóm tắt bởi AI
Mistral AI vừa ra mắt Leanstral 1.5, một mô hình hỗn hợp chuyên biệt (119B tham số, ~6B hoạt động) dành cho việc viết và xác minh chứng minh hình thức trong Lean 4, giải được 587/672 bài toán Putnam và đạt 100% trên miniF2F. Ngoài ra, mô hình còn hoạt động như một tác nhân mã hóa, phát hiện 5 lỗi chưa biết trong 57 kho mã nguồn mở nhờ cơ chế phản hồi được xác nhận bởi trình biên dịch.
AI có thể tóm tắt sai. Đọc bài gốc trước khi dựa vào thông tin quan trọng.
Vì sao nên đọc: Lập trình viên nên đọc bài này vì Leanstral 1.5 không chỉ là một công cụ giải quyết toán học mà còn là một mô hình AI có khả năng phát hiện lỗi trong mã nguồn thực tế, giúp tối ưu hóa chất lượng code và hiệu suất trong các dự án lớn.
Bạn nhớ được gì?
Trả lời 3 câu hỏi ngắn để nhận điểm thưởng cho bài này. Chỉ làm khi bạn muốn lấy điểm.
tối đa +17 điểm
3 câu hỏi · dưới một phút · không bắt buộc
Nguồn: https://devops.com/mistral-releases-leanstral-1-5-an-open-model-that-solved-587-of-672-putnam-math-problems. 8 Sync News chỉ tóm tắt và dẫn link; bản quyền nội dung thuộc tác giả và nguồn gốc.
Hệ sinh thái 8 Sync
Một tài khoản, cả hệ sinh thái
Đọc tin ở đây, luyện code, học theo lộ trình và luyện IELTS trên các sản phẩm anh em — tất cả kết nối với nhau trong hệ sinh thái 8 Sync.
8syncdev.com
8syncdev.comCổng chính của hệ sinh thái: giới thiệu sản phẩm, blog và bảng giá trọn bộ.
Khám pháKhóa học
course.8syncdev.comHọc theo lộ trình rõ từng chặng: video, quiz chấm tự động, certificate và mentor đang làm nghề.
Xem lộ trìnhLuyện code
coding.8syncdev.com1.000 bài DSA, đề tiếng Việt, chấm tự động 7 ngôn ngữ — nhiều bài FREE, chạy ngay trên trình duyệt.
Luyện miễn phíIELTS
ielts.8syncdev.comChấm bốn kỹ năng IELTS bằng AI, phản hồi chi tiết theo rubric.
Dùng thử miễn phíZUS — IDE AI
zus.8syncdev.comAI IDE 22 MB cho dev Việt.
Tải miễn phímind0
mind0.8syncdev.comBộ nhớ tổ chức cho AI agent.
Khám pháAcoLeads
home-acoleads.8syncdev.comAI trực Fanpage, tự sàng lọc lead.
Dùng thửĐề xuất cho bạn
Bram.us312 Hot1 phútAI
GTA.js, a reimplementation of the 1997 Grand Theft Auto engine in JavaScript and WebGL
Dự án GTA.js tái tạo lại engine của game Grand Theft Auto năm 1997 bằng JavaScript và WebGL, có thể chơi tại gtajs.wtf. Đây là bản reimplement chứ không phải emulator, nên một số vật lý và animation khác với bản gốc, nhưng engine nhiệm vụ chính xác dựa trên tài liệu mtd.doc. Tác giả sử dụng Gemini AI để triển khai hầu hết các tính năng, tham khảo tài liệu mở, ghi chú cộng đồng và trí nhớ cá nhân về game. Hiện tại game đã chơi được nhưng cảnh sát (cops) vẫn chưa được implement.
Lập trình viên nên đọc bài này để khám phá cách tái tạo lại engine game cổ bằng JavaScript và WebGL từ con số không.
DEV2 Hot4 phút
No Human Will Ever Write Code Better Than LLMs? Better at What?
A tweet went around saying: "No human will ever write code better than LLMs. Accept this fact, stop... Tagged with ai, programming, softwareengineering, career.
Figma1 Hot6 phút
How we’re training a Figma-fluent editing model
Here, we’re sharing the research behind how we’re translating that to design editing workflows.
Sebastian Raschka73 Hot12 phútAI
Build Your Own Reasoning Model: A Full Video Course
Khóa học video kéo dài 11 giờ tập trung vào việc xây dựng model reasoning với Python và …
Vercel0 Hot1 phút
Strix now supports Vercel AI Gateway
Strix autonomous pen testing framework now supports Vercel AI Gateway as the default inference provider
Hacker News16 Hot9 phútAI
AI promised less work. I've never worked more
Các AI agents đã làm triển khai rẻ hơn đáng kể, dẫn đến việc tôi phải xử lý nhiều dự song song hơn. Kể từ 2019, lịch sử GitHub cho thấy khối lượng công việc của tôi đã tăng vọt khi giữ vai trò VP of Technology. Tôi quay lại nhịp độ của một full-stack engineer với những đợt làm việc cường độ cao và kiệt sức. Ngay cả mùa thấp điểm giờ cũng không còn "thấp" như trước. Bài viết cho thấy dù công nghệ AI giúp giảm chi phí thực hiện, nhưng nó vô tình tạo áp lực công việc lớn hơn lên người quản lý kỹ thuật.
Bài viết này giúp bạn hiểu tác động thực tế của AI đến khối lượng công việc của lập trình viên và cách quản lý nó để tránh kiệt sức.
The Next Web1 Hot3 phút
Mistral releases open weights for its 1 trillion-parameter Large 4 model
Mistral has released the weights of Mistral Large 4 on Hugging Face, after three weeks of extra training lifted its coding and cyber defence scores.
Bình luận
Đang tải bình luận…