Μετάβαση στο περιεχόμενο

Blog

OpenAI

Νέα, κυκλοφορίες μοντέλων και πρακτικοί οδηγοί για την OpenAI: GPT, Sora και το OpenAI API.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.
openai12 λεπτά ανάγνωσης

Ο ισχυρισμός της OpenAI για απόδειξη των Navier–Stokes, εξηγημένος

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

Λάβετε νέες αναρτήσεις στα εισερχόμενά σας

Νέα για AI, οδηγοί και ενημερώσεις προϊόντος — ένα σύντομο email όταν δημοσιεύουμε κάτι που αξίζει τον χρόνο σας.