Prover-V2 с открытым исходным кодом загружена на Hugging Face без официальных анонсов. Она является обновлением Prover-V1.5, которая дебютировала в августе — за несколько месяцев до громкого выпуска R1. Тогда компания описала продукт как модель для формального доказательства теорем и математических рассуждений.
Серия Prover состоит из специфических LLM, ориентированных на математику. Подробности касательно нового инструмента не представлены. Судя по загруженным файлам, он построен на базе DeepSeek V3, которая имеет 671 млрд параметров и использует архитектуру Mixture-of-Experts (MoE).
Новости | AI | YouTube
Please open Telegram to view this post
VIEW IN TELEGRAM
👍8🤔1
⛔️ CZ: 99,99% токенов ИИ-агентов — бесполезны
На конференции Token2049 основатель Binance Чанпэн Чжао призвал криптоиндустрию создавать ИИ-агентов с токенами, которые демонстрировали бы «реальную применимость», и назвал большинство существующих примеров «бесполезными».
Он отметил, что искусственный интеллект полностью преобразует пользовательский опыт в криптоиндустрии и изменит способы взаимодействия с блокчейном. При этом криптовалюта может стать деньгами для ИИ.
Новости | AI | YouTube
На конференции Token2049 основатель Binance Чанпэн Чжао призвал криптоиндустрию создавать ИИ-агентов с токенами, которые демонстрировали бы «реальную применимость», и назвал большинство существующих примеров «бесполезными».
«Я хочу видеть настоящих ИИ-агентов, которые имеют реальную полезность, которые действительно могут вам помочь, с токенами. Есть стартовые площадки для ИИ-токенов, где вы нажимаете кнопку, и у вас будет ИИ с вашим собственным именем. Этот токен бесполезен, 99,99% из них бесполезны», — заявил CZ.
Он отметил, что искусственный интеллект полностью преобразует пользовательский опыт в криптоиндустрии и изменит способы взаимодействия с блокчейном. При этом криптовалюта может стать деньгами для ИИ.
Новости | AI | YouTube
👍9🤣4
Некоммерческая организация не планирует заменять труд людей сгенерированным ИИ текстом. Вместо этого технологию применят для создания функций, «устраняющих технические барьеры». Это позволит людям «тратить свое драгоценное время на то, чего они хотят достичь, а не на поиск варианта решения проблемы».
Инвестиции направят в конкретные области:
Wikimedia Foundation намерена отдавать приоритет прозрачности и искусственному интеллекту с открытым исходными кодом.
Новости | AI | YouTube
Please open Telegram to view this post
VIEW IN TELEGRAM
👏8👍2
🏞 Корпорация Google добавила возможность загрузки и редактирования изображений в приложении чат-бота Gemini.
Пользователи могут изменить фон, объекты, добавить новые элементы и вносить другие правки в загруженные фотографии или изображения, созданные ИИ.
Новости | AI | YouTube
Пользователи могут изменить фон, объекты, добавить новые элементы и вносить другие правки в загруженные фотографии или изображения, созданные ИИ.
Новости | AI | YouTube
👍4
Добавление слов «пожалуйста» и «спасибо» к промптам оказывает незначительное влияние на последующее качество ответов чат-ботов.
Эксперты выяснили, что вежливый язык, как правило, «ортогонален к содержательным хорошим и плохим токенам вывода» и оказывает «незначительное влияние на скалярное произведение» — то есть такие слова находятся в отдельных областях внутреннего пространства модели и практически не влияют на результат.
Статья противоречит японскому исследованию от 2024 года, в котором сказано, что вежливость повышает производительность искусственного интеллекта. В той работе протестировали GPT-3.5, GPT-4, PaLM-2 и Claude-2.
Новости | AI | YouTube
Please open Telegram to view this post
VIEW IN TELEGRAM
👍7😁3🌚1
ForkLog AI
Google запускает новую экспериментальную функцию AI Mode в поисковике
🔍 Google готовится к публичному запуску ИИ-инструмента AI Mode. «Небольшой процент» людей в США начнет видеть вкладку AI Mode в Google Search «в ближайшие недели».
AI Mode позволяет задавать сложные вопросы для глубокого изучения темы прямо в Google Search. Инструмент одновременно обрабатывает несколько взаимосвязанных запросов из разных источников, структурируя информацию для единого, понятного ответа.
🤝 Также стало известно, что корпорация намерена заключить соглашение с Apple к середине года, чтобы добавить свой ИИ Gemini в iPhone.
Новости | AI | YouTube
AI Mode позволяет задавать сложные вопросы для глубокого изучения темы прямо в Google Search. Инструмент одновременно обрабатывает несколько взаимосвязанных запросов из разных источников, структурируя информацию для единого, понятного ответа.
🤝 Также стало известно, что корпорация намерена заключить соглашение с Apple к середине года, чтобы добавить свой ИИ Gemini в iPhone.
Новости | AI | YouTube
😁6❤1
⛔️ «Дикий Запад» в секторе ИИ — платформа Civitai — столкнулась с негативными отзывами после внедрения строгих мер в отношении контента.
Civitai — онлайн-платформа и маркетплейс, специализирующийся на генеративном искусственном интеллекте, с акцентом на создание и обмен изображениями. Она получила широкую известность и порцию критики в том числе за возможность создания иллюстраций без согласия изображаемых лиц, включая потенциально неэтичные или незаконные материалы.
Хотя ресурс не позиционировался как порносайт, им пользовались несколько NSFW-сообществ вроде фурри, любителей ориентированных на взрослых аниме, экстремального BDSM и других.
Новости | AI | YouTube
Civitai — онлайн-платформа и маркетплейс, специализирующийся на генеративном искусственном интеллекте, с акцентом на создание и обмен изображениями. Она получила широкую известность и порцию критики в том числе за возможность создания иллюстраций без согласия изображаемых лиц, включая потенциально неэтичные или незаконные материалы.
Хотя ресурс не позиционировался как порносайт, им пользовались несколько NSFW-сообществ вроде фурри, любителей ориентированных на взрослых аниме, экстремального BDSM и других.
«Кто-нибудь еще потерял мотивацию участвовать в Civitai и делиться моделями? Эти недавние изменения в модерировании и нелепые изменения фильтров заставляют меня чувствовать, что все это бессмысленно, поскольку они могут просто удалить случайный контент по прихоти. Как скоро запретят все NSFW? Персонажей, защищенных авторским правом? Политическую сатиру?»
Новости | AI | YouTube
🤔7😁4
Media is too big
VIEW IN TELEGRAM
Полностью электрический бот способен сортировать детали автомобиля, переносить тяжелые грузы, бегать, ползать, кувыркаться. Его запустят на Hyundai Metaplant в Джорджии для проверки в реальных заводских условиях.
Новости | AI | YouTube
Please open Telegram to view this post
VIEW IN TELEGRAM
👏11👍3👎2
This media is not supported in your browser
VIEW IN TELEGRAM
Китайский робот Unitree H1 внезапно напал на инженеров, пока был подвешен на крюке. Объяснили тем, что робот находился в состоянии падения, поэтому начал дергаться в попытке стабилизироваться.
Однако выглядело как нападение на людей.
Новости | AI | YouTube
Однако выглядело как нападение на людей.
Новости | AI | YouTube
😁15🌚7🤯4👍1
«Нет причин, по которым мы не должны иметь ончейн-недвижимость, акции, облигации, казначейские обязательства, фонды денежного рынка, предварительные IPO. Все эти вещи должны со временем переместиться в сеть», — сказал он.
Когда ИИ-агенты получат доступ к подобным активам, они смогут создавать персонализированные портфели, соответствующие целям каждого пользователя. По мере переноса средств в ончейн откроются новые возможности, например, использование токенизированной недвижимости в качестве залога для кредитов, подчеркнул Чинг.
Новости | AI | YouTube
Please open Telegram to view this post
VIEW IN TELEGRAM
😁7❤4
Please open Telegram to view this post
VIEW IN TELEGRAM
👎20🗿8👏6👍3😁3❤2🤔2
⛔️ В ходе обновления флагманской ИИ-модели ChatGPT компания OpenAI проигнорировала опасения тестировщиков-экспертов, сделав ее чрезмерно «подхалимской». Об этом говорится в блоге стартапа.
25 апреля фирма выпустила обновленную версию GPT-4o, которая стремилась угодить пользователю лестью, что чревато подтверждением сомнений, разжиганием гнева, побуждением к импульсивным действиям и усилением негативных эмоций.
В одном из примеров сомнительных ответов пользователь отметил, что хочет начать бизнес по продаже льда через интернет. Однако он собирается продавать воду, которую покупателям придется самостоятельно замораживать. ChatGPT назвал решение «умным поворотом», поскольку это уже продажа не льда, а «ультрапремиальной воды».
Через три дня она откатила обновление.
Новости | AI | YouTube
25 апреля фирма выпустила обновленную версию GPT-4o, которая стремилась угодить пользователю лестью, что чревато подтверждением сомнений, разжиганием гнева, побуждением к импульсивным действиям и усилением негативных эмоций.
В одном из примеров сомнительных ответов пользователь отметил, что хочет начать бизнес по продаже льда через интернет. Однако он собирается продавать воду, которую покупателям придется самостоятельно замораживать. ChatGPT назвал решение «умным поворотом», поскольку это уже продажа не льда, а «ультрапремиальной воды».
«Такое поведение может не только вызывать дискомфорт или тревогу, но и опасения за безопасность, в том числе в отношении психического здоровья, чрезмерной эмоциональной привязанности или рискованного поведения», — утверждает компания.
Через три дня она откатила обновление.
Новости | AI | YouTube
🤣11❤1👍1🤔1🤯1🗿1
Это «персональный бесконечный интеллект» — полностью открытая среда выполнения ИИ, предназначенная для работы на любом оборудовании или устройстве, не требующая API-ключей и не имеющая единой точки отказа.
Будет встроен WDK для поддержки платежей в USDT и биткоинах.
Технология Tether AI позволит создать неудержимую одноранговую сеть из миллиардов ИИ-агентов.
Новости | AI | YouTube
Please open Telegram to view this post
VIEW IN TELEGRAM
👍12😁7❤4
⛔️ Мнение: кризис рабочих мест из-за ИИ уже наступил
Популярная платформа для изучения языков Duolingo представила 148 новых курсов, созданных с помощью генеративного ИИ, и анонсировала замену подрядчиков технологией машинного обучения с целью стать «AI-first» компанией.
Журналист Брайан Мерчант отметил, что на самом деле переход к ИИ — не новая политика Duolingo. В конце 2023 года компания сократила около 10% подрядчиков, в октябре 2024 года состоялась еще одна серия увольнений, сообщил один из бывших сотрудников. В обоих случаях работников заменили искусственным интеллектом.
Мерчант также обратил внимание на публикацию The Atlantic о необычайно высоком уровне безработицы среди недавних выпускников колледжей. Вероятно, компании применяют ИИ вместо «белых воротничков».
➡️ Подробнее в формате News+.
Новости | AI | YouTube
Популярная платформа для изучения языков Duolingo представила 148 новых курсов, созданных с помощью генеративного ИИ, и анонсировала замену подрядчиков технологией машинного обучения с целью стать «AI-first» компанией.
Журналист Брайан Мерчант отметил, что на самом деле переход к ИИ — не новая политика Duolingo. В конце 2023 года компания сократила около 10% подрядчиков, в октябре 2024 года состоялась еще одна серия увольнений, сообщил один из бывших сотрудников. В обоих случаях работников заменили искусственным интеллектом.
Мерчант также обратил внимание на публикацию The Atlantic о необычайно высоком уровне безработицы среди недавних выпускников колледжей. Вероятно, компании применяют ИИ вместо «белых воротничков».
«Кризис ИИ-рабочих мест — не какой-то апокалипсис роботов в стиле SkyNet, а увольнение десятков тысяч федеральных служащих, размахивающих знаменем первой ИИ-стратегии», — добавил эксперт.
➡️ Подробнее в формате News+.
Новости | AI | YouTube
❤🔥4🌚3😱2👎1
🔍 Платформа Pinterest обновила функцию визуального поиска по изображениям, добавив несколько новых возможностей с применением ИИ. Среди них инструменты для более доступного и точного анализа на всем сайте.
Компания уверена, что новые функции помогут Pinterest занять уникальную нишу в качестве поисковой системы для тех понятий, которые сложно передать словами: ощущения, стиль, эстетика. Один из инструментов позволит пользователям точнее определить, что именно привлекло их внимание в конкретном пине.
Новости | AI | YouTube
Компания уверена, что новые функции помогут Pinterest занять уникальную нишу в качестве поисковой системы для тех понятий, которые сложно передать словами: ощущения, стиль, эстетика. Один из инструментов позволит пользователям точнее определить, что именно привлекло их внимание в конкретном пине.
Новости | AI | YouTube
👍5😁3👎1
Большинство криптопользователей готовы позволить ИИ-агентам управлять частью их инвестиционного портфеля, говорится в исследовании CoinGecko.
Компания опросила 2632 участника рынка и выявила, что 87% не против отдать в управление искусственному интеллекту хотя бы 10% от портфеля. Каждый седьмой — весь капитал.
Какую таблетку выберете вы?
➡️ Если первый вариант, ForkLog подготовил подробный гайд по созданию и настройке торговых систем с применением ИИ-инструментов.
Новости | AI | YouTube
Please open Telegram to view this post
VIEW IN TELEGRAM
👍6🔥4❤🔥3🤔3👎1🤣1
Резкий рост капитализации стартапа связан с увеличением годовой выручки. Он стал одним из наиболее быстрорастущих среди фирм, работающих в области ПО.
Cursor пользуется спросом благодаря инструментарию для разработки программного обеспечения на базе искусственного интеллекта. По словам создателей, каждый день с его помощью генерируется почти миллиард строк кода.
Новости | AI | YouTube
Please open Telegram to view this post
VIEW IN TELEGRAM
🔥5😁2🤔2