Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Kevin Weil 🇺🇸
Phó Chủ tịch @OpenAI Khoa học, @Cisco @nature_org Hội đồng quản trị, LTC @USArmyReserve
Ví dụ: Pres @Planet, Trưởng bộ phận @Instagram @Twitter sản phẩm
❤️ @elizabeth ultramarathon trẻ em mèo toán học
Một cái nữa! Và lần này là GPT-5 tìm ra một ví dụ phản chứng
02:48 6 thg 10
GPT-5 Pro đã tìm thấy một phản ví dụ cho tính tối ưu của đa số NICD-with-erasures (danh sách Simons, trang 25).
Tại p=0.4, n=5, f(x) = sign(x_1-3x_2+x_3-x_4+3x_5) cho E|f(x)|=0.43024 so với đa số tốt nhất 0.42904.
4,78K
Điều này không được đánh giá cao, theo ý kiến của tôi!
03:57 6 thg 10
Điều tôi thích ở codex là tôi có thể để nó dành 5 giờ để thực hiện một sự tái cấu trúc phức tạp, nhìn vào mã nguồn kết quả và chỉ cần nói ừm, không cảm thấy mô hình dữ liệu ở đây, hãy làm lại theo một cách hoàn toàn khác.
Với một lập trình viên con người, bạn chỉ cần hợp nhất nó, nếu không họ sẽ cảm thấy không vui.
16,12K
Hàng đầu
Thứ hạng
Yêu thích