OpenAI публикува в GitHub 372 математически доказателства, призовавайки академичния свят да не изостава
OpenAI публикува в GitHub 372 математически резултата, генерирани от ИИ, включително формализации на Lean за машинна проверка. За всеки резултат средно са били нужни около три часа изчислителни ресурси на ChatGPT Pro. Но 25 носители на медала „Филдс“ предупреждават, че масовото производство на математически истини може да унищожи плодородната…