Tin nổi bật
10.000 agent giải Navier–Stokes: đột phá nằm ở cả hệ thống, chưa phải một dòng prompt
https://openai.com/index/navier-stokes-solution/
OpenAI công bố một chứng minh rằng nghiệm Navier–Stokes ba chiều có thể tạo singularity trong thời gian hữu hạn dù khởi đầu trơn, lực ngoài trơn và năng lượng vẫn hữu hạn. Họ kèm bản formalization bằng Lean, nhưng quy mô mới là dữ kiện đổi cuộc chơi: khoảng 10.000 agent, 130 tỷ output token, 88 giờ tìm lời giải và thêm 17 giờ xác minh. minimaxir chỉ đúng điểm dễ bị headline che mất: chi phí ở mức API thông thường sẽ rất lớn, lại còn dùng model nội bộ mạnh hơn GPT-6 Astra. Mình coi đây là bằng chứng mạnh cho research acceleration, không phải bằng chứng rằng toán học đã trở thành nút bấm; công bố của một lab vẫn cần giới chuyên môn kiểm tra độc lập, nhất là khi thread 512 bình luận còn tranh luận về công trình đồng thời và nguồn dữ liệu huấn luyện. Bài học cho dev là orchestration và verifier đã trở thành một phần của capability: hãy đo tổng compute, provenance và bước kiểm chứng, đừng chỉ ghi tên model.
Một petabyte dự đoán cho hệ gene
AlphaGenome Atlas biến model thành lớp tra cứu. Google công bố đã tính trước tác động của 9 tỷ biến thể một nucleotide thành dataset 1 PB và điểm AVI. Một nhóm tìm thêm 22% liên hệ ở vùng không mã hóa; nhưng jFmDRz73 nhắc đúng rằng đây là prediction cache, không phải chẩn đoán. Mình sẽ dùng nó để ưu tiên giả thuyết, rồi đòi validation sinh học.
Images 2.5 đáng thử ở đường chỉnh sửa
API mới tối ưu vòng lặp hơn là ảnh demo. Images 2.5 có Flare và Sunburst; Flare hứa latency thấp hơn 50%, còn cả hai nhấn mạnh giữ chủ thể và edit nhiều lượt. pelzatessa vẫn thấy răng và ngón tay lỗi ngay trong ảnh trưng bày. Mình sẽ benchmark consistency trên asset thật trước khi đổi pipeline.
— Tin