
OpenAI’s math claims expose AI’s verification bottleneck
Reports of OpenAI models solving major math problems point to a deeper issue: proof generation is getting cheaper, while verification, attribution, and publication still move at human speed.
Νέα, κυκλοφορίες μοντέλων και πρακτικοί οδηγοί για την OpenAI: GPT, Sora και το OpenAI API.
Τελευταίο

Reports of OpenAI models solving major math problems point to a deeper issue: proof generation is getting cheaper, while verification, attribution, and publication still move at human speed.
Όλα τα άρθρα

Το νομικό λανσάρισμα της OpenAI αφορά λιγότερο ένα νέο θεμελιώδες μοντέλο και περισσότερο το σύστημα γύρω από αυτό: ανάκτηση ανά τομέα, αξιόπιστα εργαλεία, δικαιώματα, benchmarks και διαδρομές ελέγχου.

Η OpenAI λέει ότι AI agents βρήκαν μια ιδιομορφία Navier–Stokes και τυποποίησαν την απόδειξη σε Lean. Το πιο δύσκολο θέμα είναι τι ακολουθεί: έλεγχος, αναγνώριση και η ισχύς ιδιωτικών σμηνών agents στα μαθηματικά.