Где это он такое обещал? Самые ярые оптимисты говорят о 2027 годе
И то что почти закончились текстовые данные ничего не говорит о том что нельзя дальше обучать на других видах данных, да и улучшать обучение на существующих текстовых
Проектное управление = управление проектами. То есть автор управлял проектами и у него накопились знания об этом.
p3.express реально гораздо легче PMBOK (основного конкурента). А процессы в нём очень простые и хорошо структурированы. Часто процесс это просто несколько вопросов на которые должны ответить ответственные люди
Моё утверждение касалось тоталити-чекера в этих языках. В Idris по крайней мере он не даёт написать либо функцию не сокращающуюся по хотя бы одному аргументу, либо не выдающую полезное каждый шаг бесконечного вычисления.
Тоталити-чекер конечно можно отключить, но на уровне типов все функции обязаны быть тотальными
Ну и разумеется тотальное подмножество Идриса не тьюринг-полное.
В Coq и Lean думаю похоже, так как они суть вариации на ту же тему хоть и на исчислении конструкций, вместо Мартин-Лёфа
Не знаю кто был первее, но уже и Радио-Т в свой чат добавили ChatGPT. Но я всё же про то, что активные пользователи зачастую сидят в других местах. Поэтому у вас активность и не особо большая
Многие кому нужен ChatGPT уже разбежались по you.com, poe.com, utopia messendger и другим телеграмм ботам. Я вот добавился чисто для того чтоб был резерв
А цена то те же 16 миллионов? Или будет подешевле?
Гугловая модель честнее взяла золото, решив столько же задач. И стиль её ответов боле приятный
Сейчас можно уже и проще доступ к сильным нейронкам получить )
Где это он такое обещал? Самые ярые оптимисты говорят о 2027 годе
И то что почти закончились текстовые данные ничего не говорит о том что нельзя дальше обучать на других видах данных, да и улучшать обучение на существующих текстовых
Можно переформулировать как
Проектное управление = управление проектами. То есть автор управлял проектами и у него накопились знания об этом.
p3.express реально гораздо легче PMBOK (основного конкурента). А процессы в нём очень простые и хорошо структурированы. Часто процесс это просто несколько вопросов на которые должны ответить ответственные люди
Да подождите вы с оценкой подписки Pro. Уверен туда ещё что-нибудь из 10 оставшихся подарков положат
Так на вход ей надо дать хороший учебник )
Не знаю как в школах, а для меня при погружении в новую тему gpts Universal Primer уже золотой стандарт
Моё утверждение касалось тоталити-чекера в этих языках. В Idris по крайней мере он не даёт написать либо функцию не сокращающуюся по хотя бы одному аргументу, либо не выдающую полезное каждый шаг бесконечного вычисления.
Тоталити-чекер конечно можно отключить, но на уровне типов все функции обязаны быть тотальными
Ну и разумеется тотальное подмножество Идриса не тьюринг-полное.
В Coq и Lean думаю похоже, так как они суть вариации на ту же тему хоть и на исчислении конструкций, вместо Мартин-Лёфа
Хоть убейте не могу найти здесь мат в 1 ход. И вернуться туда увы тоже не могу
Вот для заметок гораздо лучше емаксовский org-mode :)
ChatGPT на GPT-4V с плагином Wolfram не подходит?
Это комментарий от такого же новичка как и я )
Прямо в статье же прекрасный ответ на этот вопрос
А есть возможность в боте подключить плагин?
Вообще можно и на питоне, только используя биндинги для солверов типа z3
Не знаю кто был первее, но уже и Радио-Т в свой чат добавили ChatGPT. Но я всё же про то, что активные пользователи зачастую сидят в других местах. Поэтому у вас активность и не особо большая
Многие кому нужен ChatGPT уже разбежались по you.com, poe.com, utopia messendger и другим телеграмм ботам. Я вот добавился чисто для того чтоб был резерв
Но ведь Sage, также как и ChatGPT работает на gpt-3,5-turbo. Или тестировали ChatGPT-4?