Topik trending
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-5,88%
USELESS
USELESS-0,25%
IKUN
IKUN+14,02%
gib
gib-1,7%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-3,82%
ALON
ALON-13,07%
LAUNCHCOIN
LAUNCHCOIN-6,74%
GOONC
GOONC+0,44%
KLED
KLED+11,63%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,43%
Boopa
Boopa-1,64%
PORK
PORK-0,96%
header
Neel Somani
Metode formal & interpretabilitas mekanistik. Sebelumnya: Pendiri Eclipse, QR di Citadel. Beruang Cal yang bangga.
Neel Somani
Neel Somani11 Jan, 13.00
Kemenangan akhir pekan: Bukti yang saya kirimkan untuk Erdos Problem #397 diterima oleh Terence Tao. Buktinya dihasilkan oleh GPT 5.2 Pro dan diresmikan dengan Harmonic. Banyak masalah terbuka yang ada di sana, menunggu seseorang meminta ChatGPT untuk menyelesaikannya:
155
Neel Somani
Neel Somani9 Jan, 09.58
Saya membangun situs web yang melelang dirinya sendiri setiap malam. Menangkan lelang, dan Anda mendapatkan agen Codex untuk menulis ulang situs selama 24 jam. Semoga peluangnya menguntungkan Anda:
97
Neel Somani
Neel Somani8 Jan, 03.47
Meme interpretabilitas mekanistik untuk tim yang rata-rata
95