OpenAI Announces AI-Based Proof of Longstanding Erdős Problem

OpenAI objavljuje dokaz za stari Erdošov problem uz pomoć veštačke inteligencije

Prijatelji, želim da podelim iz sveta veštačke inteligencije: OpenAI izveštava da je novi model logike izneo originalno obaranje jednog zadatka koji je Paul Erdoš postavio 1946. godine.

- Slične tvrdnje ranije su osporavane: prethodni najava poklapala se sa rešenjima iz literature.
- Ovog puta OpenAI objavljuje podršku nekoliko matematičara i tvrdi da je dokaz originalan.
- Model je opšte namene, što, po mišljenju kompanije, pokazuje sposobnost da održava duge lance rasuđivanja.

Zašto je to važno: takvi koraci proširuju mogućnosti veštačke inteligencije u fundamentalnoj nauci i srodnim oblastima.

Kako Vi ocenjujete uticaj veštačke inteligencije na matematiku i primenjene nauke?

#VestackaInteligencija #Matematika #Nauka #OpenAI