У нас вы можете посмотреть бесплатно [ProofBFS] Making a script to prove an inequality using LLMs или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
An attempt to bootstrap LLM to prove an inequality. Disclaimer: it's very hard to tell if this is genuine reasoning or the answer somehow stored in the model. It took 3 turns with a lot of back and forth reasoning and calculation to prove the inequality. I'll try something else more obscure next time.