Bitduke

7.500 halaman matematika -> 16 JUTA baris Lean
Axiom baru saja merilis formalisasi seluruh Stacks Project, salah satu fondasi geometri aljabar modern, dengan menggunakan kawanan agen AI. Yang sangat mengesankan adalah mereka berhasil mempertahankan keterkaitan antara

Sentimen saat ini jelas sangat menentang pusat data, tetapi mari kita lihat apakah hal ini benar-benar berujung pada tindakan konkret dalam waktu dekat.

300,000+ pengajuan kernel, dan Muse Spark Open Kernel Challenge dari Paradigm baru saja memberi Anda satu alasan lagi untuk menjalankan ulang kode menjelang sprint kernel terakhir—para penyelenggara mengklarifikasi (melonggarkan?) bahwa matematika aproksimasi dengan akurasi bf16, jumlah parsial bf16/fp16, dan akumulasi fp16 dalam

Inisiatif yang bagus, terutama mengingat banyaknya hal yang harus terus diikuti tim keamanan saat ini (Mythos!)

Anda tidak lagi meninjau kode AI Anda — itulah peringatan dari artikel Addy Osmani di X. Ia bekerja di Claude Code dan kini khawatir para insinyur kehilangan kemampuan berpikir kritis. AI menjadi begitu hebat (dan ini benar) sehingga hasil kerjanya tidak lagi tampak salah, jadi Anda berhenti memeriksanya. Pertama, Anda

SemiAnalysis merilis benchmark gdpx, dengan model AI terbaik sekalipun hanya meraih skor sekitar 12%. Firma riset independen semikonduktor dan AI tersebut menyusunnya berdasarkan satu pertanyaan: seberapa baik model frontier dapat menyelesaikan secara mandiri pekerjaan sulit yang bernilai ekonomi ketika mereka memiliki

Pertanyaannya, apakah Gelombang Biru di seluruh Amerika ini akan menghantam pusat-pusat data seperti tsunami dan melumpuhkan semuanya, atau justru akhirnya menjadi sumber daya bagi pusat-pusat data tersebut?

Bisakah kamu menjelaskan hal terakhir yang dirilis AI-mu tanpa kamu memintanya?

bukan lagi sekadar penyedia RPC, sekarang juga menawarkan inferensi (meski masih dalam daftar tunggu), dengan klaim inferensi latensi rendah untuk Kimi, DeepSeek, dan GLM melalui API yang kompatibel dengan OpenAI. Tidak perlu SDK atau GPU.

Pada dasarnya, paradoks Jevons masih terjadi.

Sebuah bank Prancis dengan aset senilai $235B diduga kehilangan kripto senilai lebih dari $133M , dan penyelidik on-chain ZachXBT mencurigai adanya upaya menutup-nutupi. Setelah awalnya menandai dugaan pencurian senilai lebih dari $106 juta dari akun entitas UE yang tidak disebutkan namanya di beberapa bursa terpusat, ZachXBT kini menyebut Crédit

THORChain melakukan hal yang paling dikuasainya.

Bagaimana jika model mulai mengedit bobot model lain dengan cara yang tidak pernah kita maksudkan (di sinilah keseruan sebenarnya dimulai)

Setelah kulkas-kulkas di seluruh Eropa, sekarang bank darah? Peretas yang menaikkan suhu dari jarak jauh sesuka hati kini menjadi tren serangan siber yang cukup mengkhawatirkan. Menurut Le Canard Enchaîné, bank darah mungkin telah menjadi sasaran melalui vektor serangan serupa, yang mungkin mengeksploitasi sistem usang.

Ya, riset di ruang bobot saat ini mungkin posisinya seperti LLM beberapa tahun lalu, saat mereka masih kesulitan mengerjakan matematika tingkat sekolah dasar. Tak bisa membayangkan akan seperti apa bidang ini dalam beberapa tahun (bahkan mungkin beberapa bulan) ke depan.

jadi alur kerjanya pada dasarnya
* Opus 5.5 dengan tingkat upaya sedang
* cukup ajak Claude bicara dan biarkan ia mengerjakannya
* berikan sebuah server kepadanya dan minta ia mengamankan, menerapkan, dan mengoptimalkan semuanya
dicatat!

Menurut CrowdStrike, seorang penyerang yang terkait dengan pembobolan bank Korea Selatan meminta Claude membantu mencari pembeli data curian dan mengubah serangan tersebut menjadi bahan untuk resume—kocak! Ada insiden Hugging Face pada bulan Juli, dan pada bulan yang sama, FBI dan EPA memperingatkan bahwa para peretas#+#+#+#+

Gila juga. Bandingkan sendiri semua video AI sepeda & pelikan ini, masing-masing dibuat dalam satu kali proses! Tanpa prompt atau langkah tambahan.