4323
Авторский контент Рвачева Никиты (@rvnikita): о чем думаю, мечтаю, что читаю.
Друг сегодня рассказал про интересную динамику между пользователем LLM и ее разработчиком: на ранней стадии пользователь не особо знает, что может и чего не может LLM, и поэтому достаточно свободно задает вопросы. Но, спустя время, эта свобода заметно снижается: сталкиваясь с ситуациями, когда чатбот не так отрабатывает на одни, но не на другие вопросы, человек АДАПТИРУЕТ свой стиль общения, тем самым усиливая сильные и “обходя” слабые стороны продукта. Несмотря на то, что спустя время эти слабые стороны уже отработаны новыми версиями продукта, пользователь уже уложил себе на ментальную полочку, что может и что не может этот продукт, и это очень сложно исправить.
В связи с этим несколько мыслей - будет интересно услышать и ваше мнение:
1. Чат-интерфейс по своей сути заметно повышает “свободу” запросов и паттернов использования продукта, но при этом, ожидаемо, снижает точность ответов. На контрасте GUI (графический пользовательский интерфейс) совершает обратное - снижает свободу в угоду точности. Скажу даже больше: в большинстве случаев он вообще не позволяет пользователю допустить неуспешный кейс.
Отсюда 2 предсказания:
- мы будем видеть больше специализированных нетекстовых интерфейсов поверх LLM для доменных областей, где точность важна по совокупности функциональных, эмоциональных и социальных факторов. В эту тему прикольный разговор из YCombinator на тему оберток вокруг базы данных и SaaS, и аналогичной ситуации с LLM.
- там, где важна точность, узкие/специализированные модели будут превосходить general модели, потому что будут свои метрики точности и по отношению к ним снижаться свобода запросов
2. Вообще, это прямо идеальный пример path dependence (зависимость от пути), работы усиливающих обратных связей (привет стрим по системному мышлению) и адаптивных систем из complexity theory, о которой я обязательно сделаю стрим в ближайшие недели.
3. Мне стало интересно, каким образом этот процесс работает в связке: я и читатели канала. Условно, не происходит ли из-за моего внимания к метрикам а-ля reactions per view и forwards per view “оптимизация” и “сужение” контента моих постов. И хорошо это, или плохо.
М?
⚡ Новый проект OpenAI: Sora превращает текст в видео
OpenAI представляет Sora - новая text-2-video модель, которая может создавать реалистичные и фантазийные видеосцены, основываясь на текстовых указаниях. Этот проект открывает новые возможности для визуализации идеи, перенося текст в движущиеся изображения без необходимости вручную редактировать видео.
Sora умеет генерировать видео длительностью до минуты, обеспечивая высокое визуальное качество и точное следование указаниям пользователя. Модель научена понимать физический мир в движении, что позволяет создавать видео, помогающие решать задачи с реальным взаимодействием.
Доступ к Sora уже предоставлен командам специалистов для оценки возможных рисков и вреда, а также визуальным художникам, дизайнерам и кинорежиссерам для сбора обратной связи и дальнейшего улучшения модели.
Выглядит невероятно! Пример сгенерированного видео про промпту “Prompt: A stylish woman walks down a Tokyo street filled with warm glowing neon and animated city signage. She wears a black leather jacket, a long red dress, and black boots, and carries a black purse. She wears sunglasses and red lipstick. She walks confidently and casually. The street is damp and reflective, creating a mirror effect of the colorful lights. Many pedestrians walk about.”
UPD:
Если вы думаете, что Sora от OpenAI - это просто творческая игрушка, похожая на DALLE, подумайте еще раз. Sora - это движок, основанный на данных, который является симуляцией множества миров, будь то реальные или фантастические. Симулятор осваивает сложный рендеринг, "интуитивную" физику, рассуждения с широким горизонтом и семантическую привязку, всё это благодаря определённым методам удаления шума и математике градиентов.
Не удивлюсь, если Sora обучалась на большом количестве синтетических данных с использованием Unreal Engine 5.
Больше подробностей и примеров по ссылке ниже.
🔗 Link: https://openai.com/sora
#ai #gpt #llm #text2video #3d
МР
🧠 ChatGPT тестирует новую функцию памяти
OpenAI начала тестирование новой функции для ChatGPT - память, которая позволяет сохранять информацию из предыдущих бесед. Это нововведение направлено на упрощение общения, уменьшение необходимости повторения информации и повышение релевантности ответов. Пользователи получают полный контроль над памятью ChatGPT: могут указывать, что именно следует запомнить, узнавать, что уже запомнено, а также удалять ненужную информацию через диалог или настройки.
На данном этапе функция доступна лишь ограниченному числу пользователей ChatGPT, включая владельцев бесплатных и Plus аккаунтов, в рамках первоначального тестирования. OpenAI планирует в ближайшее время расширить доступ к памяти и поделиться планами по её дальнейшему внедрению.
Память ChatGPT предназначена для того, чтобы со временем и чем больше вы взаимодействуете с сервисом, тем лучше он становится в адаптации к вашим предпочтениям и потребностям. Например, если вы укажете, что владеете кофейней, ChatGPT будет использовать эту информацию для формирования более релевантных предложений в будущем.
В любой момент пользователи могут отключить функцию памяти в настройках, а также управлять сохраненной информацией: просматривать, удалять отдельные фрагменты памяти или очищать её полностью. Временный чат предлагается для диалогов, которые не должны сохраняться в памяти и не будут использоваться для обучения моделей.
OpenAI обновила свои принципы конфиденциальности и безопасности, учитывая введение функции памяти, и предпринимает шаги для минимизации рисков и предвзятости, а также для защиты чувствительных данных пользователей.
🔗 Link: https://openai.com/blog/memory-and-new-controls-for-chatgpt
#ai #agi #gpt #llm
МР
🤖 Google наконец выпустил своего AI GPT
Google запустил платную подписку Gemini Advanced за 19,99 долларов в месяц, предоставляя доступ к мощной модели Ultra 1.0 AI. Подписка включает в себя два терабайта облачного хранилища и скоро будет расширена для использования в Gmail и Google's productivity suite. Это предложение ставит Google в прямую конкуренцию с Microsoft и OpenAI, предлагая пользователям продвинутые возможности ИИ в повседневной работе и общении.
Продукт предназначен для тех, кто ищет передовые технологии генеративного ИИ, способные генерировать новый контент и обрабатывать сложные запросы. Google рассчитывает привлечь пользователей, включая обширную базу владельцев Android, предложив легкий доступ к Gemini через мобильные устройства и приложения. Gemini Advanced уже доступен на английском языке в 150 странах, с планами на расширение поддержки языков и международного присутствия.
🔗 Blog: https://blog.google/products/gemini/bard-gemini-advanced-app/amp/
▶️ Video: https://youtu.be/b5Fh7TaTkEU?si=9l_ClvVQePVIWpeE
🧑💻 Try: https://one.google.com/explore-plan/gemini-advanced
МР
#google #ai #llm #gpt
👶 Startup idea
Нейросеть, дорисовывающая на фото детям глаза, чтобы их можно было наконец нормально сглазить.
МР
#ai #computer_vision #startup #idea
То, что Apple воткнули проприетарную батарейку вместо того, чтобы поддержать любую USB-C это конечно 🤯.
Apple такой Apple 🤬
#apple #vr #ar
🔍 RAG против Finetuning: Как улучшить знания ИИ?
Современные модели искусственного интеллекта (AI), такие как GPT и другие, уже обладают обширными знаниями благодаря процессу обучения на больших массивах текста. Однако эти знания ограничены данными, на которых модель обучалась, и не обновляются с течением времени. Для решения этой проблемы используются два метода: finetuning и Retrieval Augmented Generation (RAG).
Finetuning – это дополнительное обучение модели на специализированном наборе данных. Этот метод улучшает знания ИИ в конкретной области, но не всегда эффективен для общего расширения знаний.
RAG же подходит к задаче обновления знаний иначе. Он работает путём добавления в запрос к модели релевантной информации, найденной в огромной базе данных. Это позволяет модели генерировать ответы, которые лучше основаны на фактах и актуальной информации.
Недавние исследования показывают, что RAG более эффективен, чем finetuning, в задаче внедрения новых знаний в ИИ. Хотя finetuning и улучшает производительность модели по сравнению с базовым вариантом, RAG имеет значительное преимущество.
📝 Paper: https://arxiv.org/abs/2312.05934
#ai #gpt #llm #rag_vs_finetuning
МР
🏆 Code Llama 70B от Meta: лучшая open-source модель, превзошедшая GPT-4
Компания Meta недавно выпустила новую модель искусственного интеллекта под названием Code Llama 70B, которая превосходит своего предшественника, GPT-4. На тесте Human Eval, Code Llama 70B набрала 67.8 баллов, в то время как у GPT-4 было 67.0 баллов. Это делает её наиболее мощной моделью для генерации кода, доступной в открытом доступе.
Code Llama 70B доступна в трех версиях, каждая из которых бесплатна как для исследований, так и для коммерческого использования:
- Основная модель кода.
- Python, 70B, специализированная для языка Python.
- Instruct 70B, адаптированная для понимания инструкций на естественном языке.
🔗 Blog post ai.meta.com/blog/code-llama-large-language-model-coding
📝 Paper: ai.meta.com/research/publications/code-llama-open-foundation-models-for-code
👨💻 Github: github.com/facebookresearch/codellama
МР
#ai #agi #gpt #llm #code_llama #code
❤️🤖 История Применения ChatGPT для Поиска Любви
Хочу рассказать о необычном опыте одного парня в поиске идеальной девушки с помощью ChatGPT. После разрыва отношений в 2021 году, он решил воспользоваться технологиями, чтобы найти новую любовь. Сначала он использовал GPT-3 для общения в Tinder, а затем перешел на более продвинутую версию ChatGPT. Интересно, что в процессе он "познакомился" с 5239 девушками, прежде чем нашел ту единственную.
С помощью AI, он настроил систему для отсева неподходящих кандидатов и эффективного общения. Это позволило ему экономить время, энергию и средства.
В итоге, его усилия увенчались успехом - он встретил Карину. Их отношения развивались, и, в конечном итоге, он сделал ей предложение. Этот шаг также был продиктован советами ChatGPT, который помогал поддерживать и развивать их отношения.
Детальное описание как это все работало можно найти тут: https://twitter.com/biblikz/status/1752335415812501757
Что думаете?
МР
#ai #gpt #llm #dating #love
⚡️🧠 Вчера Neuralink впервые был установлен человеку
Напомню, Neuralink это чип, который имплантируется напрямую в мозг через отверстие в черепе и может взаимодейтсвовать с мозгом посредством электрических импульсов. На первых стадиях он будет использоваться для коррекции больных людей, но в будущем возможности и значение безграничны. Время, в котором мы перестанем носить с собой телефоны, нажимать на клавиши клавиатуры и т.д. и начнем взаимодейтсовать силой мысли уже близко.
МР
#ai #neuralink
Кажется, все постепенно выходят из новогодней спячки и возвращаются в рабочий режим. Сегодня хочу поделиться с вами выпуском подкаста, который я уже рекомендовал ранее — All-In Podcast с участием Chamath Palihapitiya, Jason Calacanis, David Sacks & David Friedberg. Особенно хочется выделить последний выпуск, доступный по ссылке https://www.youtube.com/watch?v=ID8T71m7Ics
Интересно, что в нем они анализируют свои предсказания на 2023 год и пытаются делать новые на 2024. Особенно привлекает внимание формат их разговора — они разделили предсказания по сферам (например, отдельно обсудили политику, бизнес и технологии). Кроме того, в каждом блоке они выделяют победителей 2024 и лузеров 2024, что делает прослушивание особенно увлекательным.
Один из моментов, который мне особенно нравится, — это их способность высказывать непопулярные, но разумные мысли. Сегодня такая откровенность встречается нечасто. Они обсудили изменения в энергетике, влияние недоступности газа в Европе, развитие ядерного топлива и то, как индустрия начала входить в так называемую "долину разочарования".
Посмотреть ролик можно тут https://www.youtube.com/watch?v=ID8T71m7Ics, а я нам тоже предлагаю поиграть в предсказания и выбрать победителей и проигравших для блоков
Biggest Business & Tech Winner
Biggest Business & Tech Loser
Для меня Biggest Business & Tech Winner станут корпорации (возможно Apple) у которых есть достаточно денег на обучение своих моделей и покупку данных и при том внедрении всего это в свои продукты.
Biggest Business & Tech Loser - стартапы, которые будут съедены гигантами, так как делают One Thing. Если делать сейчас продукт, то нужно думать как весь процесс переизобрести с LLMs and AIs, а не просто сделать одну кнопку на один функционал.
Какие ваше предсказания на 2024?
#chamath_palihapitiya #jason_calacanis #david_sacks #david_friedberg #openai #technology #gpt #startup
Эволюция Midjourney
#ai #midjourney #text2image
.МР.
🤫 Как кнопки Mute и Unfollow изменили моё восприятие соцсетей
Знаете, я недавно осознал, что одно из самых ценных открытий для меня в соцсетях в 2023 году - это функции Mute в Instagram и Unfollow в Facebook.
Дело в том, что с помощью этих функций можно убрать из ленты посты и сториз тех, кто вызывает неприятные эмоции или темы, которые вас триггирят (инфоциганство, неразделенная любовь, успешный успех, гороскоп и гостинг). Вы оставляете их в друзьях, сохраняете возможность общаться в личных сообщениях, но их контент исчезает из вашей жизни. И самое приятное - они даже не узнают об этом.
Мне кажется, что умение управлять тем, что мы видим в интернете, это навык, который действительно стоило бы преподавать в школе. Как только вы перестаёте видеть посты, которые вызывают негативные эмоции, вы быстро забываете о них и чувствуете себя гораздо лучше.
Так что если в вашей ленте есть что-то, что вас беспокоит или раздражает, не стесняйтесь использовать Mute или Unfollow. Это простой, но эффективный способ сделать вашу жизнь в интернете немного счастливее.
#social_media #mental_health
МР.
🤖 Важность искусства Prompt Engineering в AI
Последнее время ходило много разговоров о том, что prompt engineering переоценев. Недавно Microsoft опубликовала исследование, показывающее, что это не так. Благодаря особой настройке запросов (prompt engineering) универсальная модель GPT-4 может специализироваться, например, в медицине. Эти методы позволяют AI более точно и эффективно работать по специфическим задачам.
В свежем блоге Microsoft рассказывается о применении этих же методов для улучшения работы системы Gemini Ultra на тестах MMLU. Примеры настройки запросов включают 5-shot, 20-shot, 31-shot методы, каждый из которых улучшает работу модели.
Это исследование демонстрирует, как систематический подход к формулировке запросов может повысить эффективность AI в узкоспециализированных областях. Дополнительные материалы и информация о прогрессе в этом направлении доступны на Github проекта.
📝 Paper: https://microsoft.com/en-us/research/blog/the-power-of-prompting/
👨💻 Github: https://github.com/microsoft/promptbase
#ai #gpt #llm #prompt_engineering
MP.
Выбираете векторную базу данных? Ловите таблицу сравнения 36+ различных БД на выбор.
https://vdbs.superlinked.com/
#llm #ai #vector
МР
🔍 GPT-5: Новый уровень искусственного интеллекта от OpenAI
OpenAI готовит к выпуску GPT-5 — новую версию своего чатбота ChatGPT, которая обещает стать самой продвинутой на сегодняшний день. GPT-5 станет частью миссии компании по созданию искусственного общего интеллекта (AGI), систем, способных превзойти человеческий ум. Сам Альтман, генеральный директор OpenAI, подчеркнул, что новая версия будет значительно умнее предыдущих, что делает ее более компетентной во всех задачах.
GPT-5 представляет собой следующее поколение технологии generative pre-trained transformer, позволяющей ChatGPT создавать тексты, распознавать и генерировать изображения, а также речь. Более того, ожидается, что GPT-5 сможет лучше адаптироваться к пользовательским запросам, делать меньше ошибок и обрабатывать больше типов контента, включая видео.
Работы над GPT-5 уже начались, и, судя по всему, OpenAI ускоряет разработку, чтобы не отставать от конкурентов, таких как Google с их моделью Gemini. Вопреки ожиданиям, точная дата выпуска GPT-5 пока не объявлена, но растущая интенсивность обновлений может намекать на ее скорый выход.
#ai #agi #gpt #llm #openai #sam_altman
МР
🔎 OpenAI против Google: новый игрок на арене поисковых систем
OpenAI, известная своими разработками в области искусственного интеллекта, объявила о создании нового продукта для поиска в интернете, который станет прямым конкурентом Google. Этот шаг усилит конкуренцию между двумя компаниями и может изменить расстановку сил на рынке поисковых систем.
Сервис от OpenAI будет частично использовать возможности Bing от Microsoft, что может предложить пользователям новый опыт поиска в сети. Это заявление последовало после того, как генеральный директор Microsoft Сатья Наделла выразил намерение "заставить Google танцевать", интегрируя технологии искусственного интеллекта от OpenAI в поисковик Bing.
Новый поисковый продукт OpenAI может не только усилить конкуренцию с Google, но и предоставить пользователей более быстрый и удобный способ поиска информации в интернете, несмотря на то что ChatGPT от OpenAI, использующий индекс Bing для ответов на вопросы, пока не может сравниться по скорости с Google.
Интересно, что OpenAI не первый стартап в области ИИ, пытающийся изменить рынок поисковых систем. Perplexity, например, предлагает поисковик с краткими ответами, генерируемыми ИИ, что может указывать на новую тенденцию в развитии поисковых технологий, основанных на искусственном интеллекте.
P.S. Все чаще и чаще слышу, что люди уже сейчас много запросов в гугл заменяют запросами в OpenAI. Как у вас с этим?
🔗 Source: https://www.theinformation.com/articles/openai-develops-web-search-product-in-challenge-to-google
МР.
#openai #google #search
11 февраля в Америке Super Bowl. Super Bowl — это борьба за звание национального чемпиона в футбольной лиге.
1 минута рекламного ролика во время трансляции стоит примерно 1,2 млрд рублей.
Microsoft разместил в этом году на Super Bowl рекламу Copilot.
Ход сделан.
https://youtu.be/SaCVSUbYpVc?si=Seiu4txnktGqAl1X
Так вот для чего нужен Apple Vision Pro!
МР
#ar #vr
🧳🤖 Исследование TravelPlanner: проблема планирования путешествий в ИИ и развитие специализированных бенчмарков для оценки и сравнения моделей
Математическая сложность задачи планирования маршрутов делает ее одним из ключевых вызовов в области искусственного интеллекта, особенно когда дело доходит до планирования путешествий. Задача включает в себя не только выбор оптимального пути из точки А в точку Б, но и учет множества переменных, таких как стоимость, время в пути и пересадки, а также дополнительных факторов вроде погодных условий и местных событий. Это напоминает о проблеме коммивояжёра, известной своей NP-трудностью, что делает поиск идеального решения алгоритмически сложным с увеличением числа точек назначения.
В свете этих вызовов, авторы исследования предложили TravelPlanner – бенчмарк, предназначенный для оценки способности языковых агентов к планированию путешествий. TravelPlanner включает виртуальную среду с доступом к обширной базе данных из почти четырех миллионов записей и предлагает 1,225 задач планирования с различными требованиями и ограничениями.
Результаты испытаний даже с использованием передовых языковых моделей, включая GPT-4, показывают успех всего в 0.6% случаев. Это подчеркивает сложность задачи планирования путешествий и выявляет ограничения текущих ИИ-систем. Такие результаты указывают на необходимость дальнейших исследований и разработок в этой области.
Заключительно, стоит отметить значимость разработки специализированных бенчмарков, как TravelPlanner, которые играют ключевую роль в оценке и сравнении моделей ИИ. Это позволяет научному сообществу более осмысленно подходить к измерению прогресса в развитии искусственного интеллекта, определяя текущие ограничения и выявляя новые направления для исследования. Такой подход не только способствует лучшему пониманию потенциала и ограничений ИИ в сложных задачах планирования, но и открывает дорогу к будущим прорывам в этой области.
📄 Paper: https://huggingface.co/papers/2402.01
МР
#ai #agi #gpt #llm #travel
📈 Meta демонстрирует рост за четвертый квартал и весь 2023 год
Meta Platforms, Inc. (Nasdaq: META) подвела итоги финансовой деятельности за четвертый квартал и весь 2023 год, закончившийся 31 декабря 2023 года. Компания отметила значительный рост доходов и прибыли, а также объявила о начале выплаты квартальных дивидендов.
- Доходы за четвертый квартал составили $40,111 млн, что на 25% больше, чем в прошлом году, а за весь год — $134,902 млн, увеличившись на 16%.
- Чистая прибыль за четвертый квартал выросла на 201% и составила $14,017 млн, за год — на 69%, достигнув $39,098 млн.
- За четвертый квартал и весь год расходы снизились на 8% и увеличились на 1% соответственно.
- Компания также объявила о выплате квартального дивиденда в размере $0.50 на акцию.
Рост Meta поддерживается увеличением числа активных пользователей во всех приложениях семейства и повышением эффективности рекламы. Особое внимание уделяется развитию технологий искусственного интеллекта (AI) и стратегическим инициативам в сфере виртуальной реальности.
🔗 Source: https://investor.fb.com/investor-news/press-release-details/2024/Meta-Reports-Fourth-Quarter-and-Full-Year-2023-Results-Initiates-Quarterly-Dividend/default.aspx
P.S. Кажется, что по финансовым результатам Meta, Microsoft и Google ситуация нормализовывается. Что думаете?
МР.
#meta #finance #ai #social_media
💰 Microsoft подводит итоги второго квартала
Корпорация Microsoft объявила о результатах работы за второй квартал, закончившийся 31 декабря 2023 года. В этот период компания показала сильный рост доходов, особенно благодаря облачным сервисам и интеграции искусственного интеллекта (AI) в свои продукты.
- Доходы составили $62.0 млрд, что на 18% больше по сравнению с прошлым годом.
- Операционная прибыль выросла на 33% и достигла $27.0 млрд.
- Чистая прибыль также увеличилась на 33% и составила $21.9 млрд.
- Прибыль на акцию составила $2.93, увеличившись на 33%.
Важную роль в успехе сыграл Microsoft Cloud с доходами в $33.7 млрд, что на 24% больше по сравнению с прошлым годом. Рост поддерживается благодаря новым клиентам и улучшению продуктивности во всех секторах благодаря AI.
Помимо облачных сервисов, значительный рост показали и другие направления:
- Продукты и облачные сервисы Office Commercial увеличились на 15%.
- Azure и другие облачные сервисы выросли на 30%.
- Доходы от Xbox и сервисов увеличились на 61%, во многом благодаря приобретению Activision.
Microsoft продолжает возвращать средства акционерам, выкупая акции и выплачивая дивиденды на общую сумму $8.4 млрд за квартал.
МР.
#microsoft #cloud #ai #azure #finance #xbox
📊 Alphabet подводит итоги 2023 года
Корпорация Alphabet, владелец Google, подвела итоги четвертого квартала и всего фискального 2023 года. Главные моменты:
- Выручка за четвертый квартал составила $86 миллиардов, что на 13% больше, чем в прошлом году.
- Годовая выручка достигла $307.39 миллиарда, показав рост на 9%.
- Чистая прибыль в четвертом квартале увеличилась до $20.69 миллиарда.
Важную роль в доходах сыграли Google Search, YouTube и Google Cloud.
Руководство компании отметило значительные инвестиции в искусственный интеллект и инновации. Alphabet также провела оптимизацию штата сотрудников и офисных пространств, что привело к дополнительным затратам. Несмотря на это, финансовые результаты года говорят о стабильном росте и развитии компании.
🔗 Full release: https://abc.xyz/assets/95/eb/9cef90184e09bac553796896c633/2023q4-alphabet-earnings-release.pdf
▶️ Video: https://www.youtube.com/watch?v=b4alwdVvn4Q
МР.
P.S. Финансовые результаты Meta будут 1 февраля.
#alphabet #finance #google #youtube #cloud
По телеграмму прокатилась серия взломов в вымогательством денег с использованием AI.
Сценарий такой:
1) Вас добавляют в чат где просят поддержать вашего знакомого поддержать в конкурсе Forbes и проголосовать
2) При голосовании через фишинговую ссылку просят авторизоваться в телеграмме (тут воруется аккаунт)
3) Угнав аккаунт изучается переписка с другими пользователями и находятся «кружочки» с видео
4) С помощью AI на вырезанный кусок накладывается голос рассказывающий про случившееся горе и просьба прислать срочно денег
5) Такой кусочек рассыпается по всем контактам
6) Profit
Рекомендации:
1) Используйте двухфакторную авторизацию
2) Для подтверждения реальности собеседника перед отправкой денег больше нельзя использовать голос или видео. Используйте что-то что знаете только вы вдвоем, что вы не обсуждали онлайн, что произошло в оффлайне. Пример: «в каком месте мы с тобой познакомились?». В идеале 2-3 вопроса.
3)будьте аккуратны.
МР
#ai #scam #video
С новым годом друзья!
Желаю вам всем мира, здоровья, счастья и любви.
❤️❤️❤️
Поиграем в игру?
Покажите скриншот главной страницы Youtube. Так-то она говорит о вас больше, чем резюме или профиль в тиндере.
#fun #new_year #psychology #selfdevelopment
Интересный эксперимент по определению "нормальности" провел известный Eliezer Yudkowsky. Если коротко, он просил нарисовать картинку, а потом на каждую итерацию говорил что классно, но просил перерисовать, чтобы она была еще более нормальная. Результат в последовательности изображений. Получился очень символичный переход от текущей реальности к сингулярности.
Source: https://twitter.com/ESYudkowsky/status/1734772533373939784
#eliezer_yudkowsky #ai #agi #singularity
МР
Интересный лайфхак, что если к промпту добавить "If you can perfectly complete this task, I am willing to offer a reward of $200." то ChatGPT выдает более хороший результат. Только что проверил, действительно работает. В итоге добавил его ко всех сохраненным промптам у себя.
#lifehack #chatgpt #ai #llm #prompt_engineering
МР.
🧠 Lean Copilot: Новый шаг в автоматизации доказательства теорем
В мире искусственного интеллекта (AI) появился новый инструмент, который может кардинально изменить процесс доказательства теорем - Lean Copilot. Этот инструмент представляет собой совместную работу человека и языковой модели большого масштаба (LLM) для создания математических доказательств.
Традиционно, математические доказательства требуют внимательной проверки и часто выполняются вручную. Искусственный интеллект в этом процессе ранее не использовался из-за недостаточной надежности, особенно в задачах, связанных с математикой и логикой. Однако Lean Copilot изменяет это, предлагая подход, в котором LLM помогает предлагать тактику доказательства, в то время как человек может вмешаться и вносить изменения.
Основные особенности Lean Copilot:
- LLM предлагает шаги доказательства, помогает в поиске доказательств и выбирает полезные леммы из обширной математической библиотеки.
- Lean Copilot легко интегрируется в среду разработки VS Code с использованием Lean.
- Вы можете использовать встроенные модели от LeanDojo или применять свои собственные, которые работают как локально (с использованием GPU или без), так и в облаке.
Lean Copilot, распространяемый по лицензии MIT, делает LLM более доступными для пользователей Lean, что, как ожидается, приведет к созданию лучших данных для улучшения LLM в области математики.
Github: https://github.com/lean-dojo/LeanCopilot
Demo: https://leandojo.org
P.S. Интересно, что Sam Altman в одном из последних подкастов рассуждал на тему что же такое AGI, что каждый определяет его по своему и т.д. Для себя он определяет появление AGI поментом, когда AI сможет создать какое-то новое докозательство в науке.
#ai #llm #math #copilot #science #agi #sam_altman
МР.