Yapay Zekâ
OpenAI 722 matematik makalesini yayımladı: darboğaz artık üretim değil doğrulama
OpenAI, yayımlanmamış bir iç modelin ürettiği 722 matematik makalesini 372 sonuç ailesi halinde açtı. Sonuçların bir kısmı Lean ile makine tarafından denetlenebiliyor, bir kısmı denetlenemiyor. Tartışma modelin ne ürettiğinde değil, üretilenin nasıl doğrulanacağında.