Terbaru
Laporan tentang model OpenAI yang memecahkan masalah matematika besar menunjukkan persoalan yang lebih dalam: pembuatan bukti makin murah, sementara verifikasi, atribusi, dan publikasi masih bergerak dalam kecepatan manusia.
Semua postingan
Peluncuran hukum OpenAI lebih banyak tentang sistem di sekitar sebuah model: retrieval domain, alat tepercaya, izin, benchmark, dan jalur peninjauan.
OpenAI mengatakan agen AI menemukan singularitas Navier–Stokes dan memformalkan buktinya di Lean. Kisah yang lebih sulit adalah apa yang terjadi berikutnya: peninjauan, kredit, dan kekuatan swarm agen privat dalam matematika.
