Badacze już znacząco poprawiają niedawne wyniki OpenAI w dziedzinie matematyki, weryfikując dowody w systemie Lean. Obala to argument, że tzw. 'slop proofs' generowane przez AI są bezużyteczne.
🔥
Używamy plików ciasteczka, aby zapewnić Ci jak najlepsze wrażenia z korzystania z naszej witryny. Jeśli nadal będziesz korzystać z tej witryny, będziemy zakładać, że jesteś z niej zadowolony.
