OpenAI hakkında haberler, model lansmanları ve uygulamalı rehberler: GPT, Sora ve OpenAI API'si.
En yeni
OpenAI modellerinin büyük matematik problemlerini çözdüğüne dair haberler daha derin bir soruna işaret ediyor: ispat üretmek ucuzlarken doğrulama, atıf ve yayın hâlâ insan hızında ilerliyor.
Tüm yazılar
OpenAI’ın hukuk lansmanı yeni bir temel modelden çok, bir modelin etrafındaki sistemle ilgili: alan odaklı retrieval, güvenilir araçlar, izinler, benchmark’lar ve inceleme yolları.
OpenAI, yapay zekâ ajanlarının bir Navier–Stokes tekilliği bulduğunu ve kanıtı Lean’de biçimselleştirdiğini söylüyor. Daha zor hikâye ise bundan sonra ne olacağı: inceleme, itibar ve matematikte özel ajan sürülerinin gücü.
