UT Austin Matematik Başkanı OpenAI yapay zeka tarafından oluşturulan 400 kanıtı yayınlamaya hazırlandığını söylüyor
Özgün başlık: UT Austin Math Chair says OpenAI preparing to release 400 AI-generated proofs
Öyle görünüyor ki OpenAI halka açık bir sunucuda yapay zeka tarafından oluşturulan 400'e yakın kanıtı yayınlamak üzere. Anladığım kadarıyla insanlar hala Navier-Stokes örneğinin gerçekte nasıl çalıştığını anlamaya çalışıyor. Bu konuyu inceleyen birkaç uzman tanıyorum ve bu kesinlikle bir…
✳ Bu özet ve çevirisi Base of AGI tarafından otomatik derlendi.
Orijinal Kaynak Metni (twitter.com) ↗
Akış içinde yorumlarla aç