Термин «доказательство» используется для обозначения целого спектра интеллектуальных процедур, направленных на установление объективной истины или обоснование истинности некоторого предложения, приемлемости императива, справедливости оценки, а также на убеждение других людей в его адекватности
В математике доказательство играет центральную роль, но вместе с тем общего понятия математического доказательства нет
Существует несколько весьма различных точек зрения на сущность математического доказательства, его цели, критерии и идеалы, и со временем эти критерии и идеалы меняются.
Доказательство в других науках рассматривается как процесс исследования, проверки и подтверждения некоторых положений с целью поиска и обоснования истины – объективной или конвенционально принятой
Здесь доказательство заключается главным образом в поисках подтверждающих свидетельств, их оценке и установлении того, что лучше всего они объясняются доказываемой гипотезой
Построение демонстрирующего рассуждения, которое и считается доказательством в дедуктивных науках, во многих других областях совсем не обязательно
В разных областях познания критерии состоятельности и приемлемости доказательств различны
В одних – это формально-дедуктивная строгость, в других – очевидность аргументов, интуитивная ясность рассуждения, в третьих – достоверность и достаточность подтверждающих свидетельств
Основным общим критерием приемлемости доказательства представляется его убедительность – способность вызвать у адресата такое принятие доказанного утверждения, что он готов убеждать в нем других
Доказательство всегда погружено в социально-исторический контекст, поэтому общего для всех наук и всех времен понятия доказательства не только не существует, но и не может существовать
В математике доказательство играет центральную роль, но вместе с тем общего понятия математического доказательства нет
Существует несколько весьма различных точек зрения на сущность математического доказательства, его цели, критерии и идеалы, и со временем эти критерии и идеалы меняются.
Доказательство в других науках рассматривается как процесс исследования, проверки и подтверждения некоторых положений с целью поиска и обоснования истины – объективной или конвенционально принятой
Здесь доказательство заключается главным образом в поисках подтверждающих свидетельств, их оценке и установлении того, что лучше всего они объясняются доказываемой гипотезой
Построение демонстрирующего рассуждения, которое и считается доказательством в дедуктивных науках, во многих других областях совсем не обязательно
В разных областях познания критерии состоятельности и приемлемости доказательств различны
В одних – это формально-дедуктивная строгость, в других – очевидность аргументов, интуитивная ясность рассуждения, в третьих – достоверность и достаточность подтверждающих свидетельств
Основным общим критерием приемлемости доказательства представляется его убедительность – способность вызвать у адресата такое принятие доказанного утверждения, что он готов убеждать в нем других
Доказательство всегда погружено в социально-исторический контекст, поэтому общего для всех наук и всех времен понятия доказательства не только не существует, но и не может существовать
Со-ооснователь OpenAI, экс- глава в Tesla, человек, который придумал термин vibe coding написал, что теперь тратит токены не на код, а на создание своей базы знаний - второго мозга
Он построил систему, в которой AML берёт сырые документы: статьи, научные работы, репозитории и создает из них структурированную вики с перекрёстными ссылками
Это автоматически собираемая база знаний, где LLM -это и редактор, и библиотекарь, и аналитик. Хранится локально в markdown-файлах, смотришь через Obsidian
Его логика в эпоху AML-агентов - нет смысла делиться кодом, делитесь идеей, а агент сам её реализует
Он построил систему, в которой AML берёт сырые документы: статьи, научные работы, репозитории и создает из них структурированную вики с перекрёстными ссылками
Это автоматически собираемая база знаний, где LLM -это и редактор, и библиотекарь, и аналитик. Хранится локально в markdown-файлах, смотришь через Obsidian
Его логика в эпоху AML-агентов - нет смысла делиться кодом, делитесь идеей, а агент сам её реализует
Telegram
All about AI, Web 3.0, BCI
Karpathy dropped a post describing how he uses AI to build personal knowledge bases.
The idea is simple: instead of keeping notes scattered across apps, you dump everything into one folder.
Then you tell your AI to organize all of it into a personal wiki…
The idea is simple: instead of keeping notes scattered across apps, you dump everything into one folder.
Then you tell your AI to organize all of it into a personal wiki…
Чтобы получить доступ к аренде, потребуется официально подтвердить свою личность через «Госуслуги»
Без верифицированного цифрового профиля человек буквально лишается права на полноценное физическое взаимодействие с современной городской средой и её сервисами
Без верифицированного цифрового профиля человек буквально лишается права на полноценное физическое взаимодействие с современной городской средой и её сервисами
Мир настолько близок с суперинтеллекту, и это будет не просто новая технология, а перестройка общества
Среди самых вероятных рисков – массовая потеря работы, кибератаки и социальная нестабильность
Текущую экономику нужно буквально пересобирать
Все, что предлагается сделать, перечислено здесь: openai.com/index/industrial-policy-for-the-intelligence-age/
Краткий пересказ:
AI нужно сделать базовой инфраструктурой, доступной всем, и относиться к нему как к электричеству или интернету
Так экономика будет расти быстрее
Система налогов должна сместиться с труда на капитал
Сегодня государство живет за счет налогов с зарплат
Но если (или когда) людей заменят, эта база исчезнет, а государство должно продолжать как-то зарабатывать
Каждый человек должен иметь долю в AI-экономике
OpenAI предлагает создать Public Wealth Fund, который получает часть прибыли от AI и распределяет ее среди граждан
Идея в том, что доход должен перестать определяться только работой, иначе после массовой автоматизации классовый разрыв станет просто колоссальным
Всякие страховые выплаты и социальные гарантии не должны зависеть от работодателя, потому что в мире с нестабильной занятостью классическая модель сломается
Обязателен аудит фронтирных моделей и протоколы на случай ЧП
Должна существовать международная система безопасности
4-дневная рабочая неделя эффективнее
Среди самых вероятных рисков – массовая потеря работы, кибератаки и социальная нестабильность
Текущую экономику нужно буквально пересобирать
Все, что предлагается сделать, перечислено здесь: openai.com/index/industrial-policy-for-the-intelligence-age/
Краткий пересказ:
AI нужно сделать базовой инфраструктурой, доступной всем, и относиться к нему как к электричеству или интернету
Так экономика будет расти быстрее
Система налогов должна сместиться с труда на капитал
Сегодня государство живет за счет налогов с зарплат
Но если (или когда) людей заменят, эта база исчезнет, а государство должно продолжать как-то зарабатывать
Каждый человек должен иметь долю в AI-экономике
OpenAI предлагает создать Public Wealth Fund, который получает часть прибыли от AI и распределяет ее среди граждан
Идея в том, что доход должен перестать определяться только работой, иначе после массовой автоматизации классовый разрыв станет просто колоссальным
Всякие страховые выплаты и социальные гарантии не должны зависеть от работодателя, потому что в мире с нестабильной занятостью классическая модель сломается
Обязателен аудит фронтирных моделей и протоколы на случай ЧП
Должна существовать международная система безопасности
4-дневная рабочая неделя эффективнее
Openai
Industrial policy for the Intelligence Age
Explore our ambitious, people-first industrial policy ideas for the AI era—focused on expanding opportunity, sharing prosperity, and building resilient institutions as advanced intelligence evolves.