Стартап ex-Google выложил карту знаний, что ребёнок должен освоить в начальной школе
Marble, который строит AML для образования детей выложил сейчас в открытый доступ Marble Curriculu - структурированную карту всего, что ребёнок должен
Там настоящий граф знаний, из которого можно строить персональные траектории обучения
Преимущество этой карты в том, какие продукты можно будет строить поверх нее
Ведь AML меняет образование не через замену учителя, а через устранение искусственных ограничений, прежде всего возрастных
Сегодняшняя школьная программа, а также школа наших родителей привязана к классу не потому, что это когнитивно обосновано, а потому что так было легче управлять массой людей
Сейчас интересное время для образования с AML, потому что начинает появляться открытый стандарт, который разные AI-агенты, приложения и учителя могли бы использовать
GitHub
Marble, который строит AML для образования детей выложил сейчас в открытый доступ Marble Curriculu - структурированную карту всего, что ребёнок должен
Там настоящий граф знаний, из которого можно строить персональные траектории обучения
Преимущество этой карты в том, какие продукты можно будет строить поверх нее
Ведь AML меняет образование не через замену учителя, а через устранение искусственных ограничений, прежде всего возрастных
Сегодняшняя школьная программа, а также школа наших родителей привязана к классу не потому, что это когнитивно обосновано, а потому что так было легче управлять массой людей
Сейчас интересное время для образования с AML, потому что начинает появляться открытый стандарт, который разные AI-агенты, приложения и учителя могли бы использовать
GitHub
Marble
Everything a child learns
The open map of primary school: 1,590 concepts and 3,221 prerequisite links. Open data, free to build on.
Forwarded from ARI DERK
GPT-5.6 Sol Ultra доказала 50-летнюю гипотезу о двойном покрытии циклами
Это одна из самых давних открытых проблем теории графов, сформулированная Дьердем Секерешем в 1973 году
В ней утверждается, что для любого графа без мостов найдется набор циклов, такой что каждое ребро графа входит ровно в два из этих циклов
Гипотеза, на самом деле, очень важная, потому что связана, в том числе, с теорией нигде-не-нулевых потоков – центральной темой структурной теории графов
Двойное покрытие пытались доказать много раз, но ни одна из попыток так и не была признана как окончательное решение
А пару часов назад сотрудник OpenAI заявил, что новая модель GPT-5.6 Sol сгенерировала доказательство этой гипотезы всего за час, используя 64 субагента!
Доказательство выложили, но оно пока не подтверждено математическим сообществом, идут обсуждения
Если его верифицируют, это будет одно из крупнейших и самых значимых AML-доказательств на данный момент
Это одна из самых давних открытых проблем теории графов, сформулированная Дьердем Секерешем в 1973 году
В ней утверждается, что для любого графа без мостов найдется набор циклов, такой что каждое ребро графа входит ровно в два из этих циклов
Гипотеза, на самом деле, очень важная, потому что связана, в том числе, с теорией нигде-не-нулевых потоков – центральной темой структурной теории графов
Двойное покрытие пытались доказать много раз, но ни одна из попыток так и не была признана как окончательное решение
А пару часов назад сотрудник OpenAI заявил, что новая модель GPT-5.6 Sol сгенерировала доказательство этой гипотезы всего за час, используя 64 субагента!
Доказательство выложили, но оно пока не подтверждено математическим сообществом, идут обсуждения
Если его верифицируют, это будет одно из крупнейших и самых значимых AML-доказательств на данный момент
X (formerly Twitter)
Ethan Knight (@__eknight__) on X
Yesterday, we made GPT-5.6 Sol Ultra generally available. Today, we're sharing that it produced a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagents in just under one hour. We're sharing the prompt and proof below. We're excited to…
Forwarded from ARI DERK
Чистая логика часто рассматривается как главный ключ к пониманию физической реальности. Математическая физика кажется удобным и простым путём что-то изучить и мы даже тут часто обращаемся именно к математическому поиску
Но в 1931 году 25-летний учёный математически доказал парадокс - даже совершенные логические системы содержат недоказуемые истины
В начале XX века, математики считали, что если им удастся сформулировать правильные основополагающие аксиомы, то каждое истинное утверждение можно будет логически доказать, не прибегая к изучению физического мира
Этим 25-летним человеком, который подпортил математику, был Курт Гёдель, и его теоремы о неполноте навсегда положили конец этим усилиям
Его первая теорема доказала, что любая непротиворечивая формальная система, способная к выполнению основных арифметических операций, неизбежно будет содержать истинные утверждения, которые нельзя доказать внутри самой системы
Его вторая теорема нанесла ещё более сильный удар - непротиворечивая система не может даже доказать свою собственную непротиворечивость, используя свои собственные правила
Гёдель продемонстрировал, что логика не является самодостаточным механизмом для генерации абсолютной истины
Если оставаться исключительно в жестких рамках формальной математической системы, рано или поздно столкнешься с препятствием, где утверждение, несомненно, истинно, но его нельзя логически вывести, используя только аксиомы системы
Для его проверки необходимо выйти за пределы системы и принять более широкую, внешнюю структуру
Это ограничение разрушает идею о том, что мы можем вывести физическую реальность, опираясь лишь на априорную логику
Если чистая математика не может гарантировать даже свою внутреннюю непротиворечивость без внешней помощи, она, безусловно, не сможет отобразить сложности физической вселенной без внешнего ориентира
Физики могут создавать бесчисленное множество прекрасных, совершенно непротиворечивых логических моделей — таких как одиннадцатимерные теории струн или гипотетические мультивселенные, - но одной лишь логики недостаточно, чтобы определить, какая из этих моделей действительно соответствует Вселенной
Во многом это портит и все надежды на голый AML в научном поиске
А ещё перечёркивает поиски теорий на голой математике, которые очень активно любят предлагать любители науки
Такая теория - первый шаг
Но в 1931 году 25-летний учёный математически доказал парадокс - даже совершенные логические системы содержат недоказуемые истины
В начале XX века, математики считали, что если им удастся сформулировать правильные основополагающие аксиомы, то каждое истинное утверждение можно будет логически доказать, не прибегая к изучению физического мира
Этим 25-летним человеком, который подпортил математику, был Курт Гёдель, и его теоремы о неполноте навсегда положили конец этим усилиям
Его первая теорема доказала, что любая непротиворечивая формальная система, способная к выполнению основных арифметических операций, неизбежно будет содержать истинные утверждения, которые нельзя доказать внутри самой системы
Его вторая теорема нанесла ещё более сильный удар - непротиворечивая система не может даже доказать свою собственную непротиворечивость, используя свои собственные правила
Гёдель продемонстрировал, что логика не является самодостаточным механизмом для генерации абсолютной истины
Если оставаться исключительно в жестких рамках формальной математической системы, рано или поздно столкнешься с препятствием, где утверждение, несомненно, истинно, но его нельзя логически вывести, используя только аксиомы системы
Для его проверки необходимо выйти за пределы системы и принять более широкую, внешнюю структуру
Это ограничение разрушает идею о том, что мы можем вывести физическую реальность, опираясь лишь на априорную логику
Если чистая математика не может гарантировать даже свою внутреннюю непротиворечивость без внешней помощи, она, безусловно, не сможет отобразить сложности физической вселенной без внешнего ориентира
Физики могут создавать бесчисленное множество прекрасных, совершенно непротиворечивых логических моделей — таких как одиннадцатимерные теории струн или гипотетические мультивселенные, - но одной лишь логики недостаточно, чтобы определить, какая из этих моделей действительно соответствует Вселенной
Во многом это портит и все надежды на голый AML в научном поиске
А ещё перечёркивает поиски теорий на голой математике, которые очень активно любят предлагать любители науки
Такая теория - первый шаг
История началась в IX столетии в Хорезме на территории современного Узбекистана, где математик Аль-Хорезми заложил основы науки о решении уравнений — алгебры
Ее название происходит от арабского термина «аль-джабр», означавшего перенос члена уравнения из левой части в правую с изменением знака.
Аль-Хорезми еще не использовал формул и записывал уравнения словами
Неизвестную величину он называл «шей», по-арабски — «вещь»
Например: три «вещи» составляют 15, значит, «вещь» равна пяти
В XII веке книга Аль-Хорезми попала в Испанию, где неизвестное стали записывать как xei, поскольку в староиспанском звук [ш] в начале слова обозначался буквой X
С развитием формульной записи слово сократилось до одной буквы
Ее название происходит от арабского термина «аль-джабр», означавшего перенос члена уравнения из левой части в правую с изменением знака.
Аль-Хорезми еще не использовал формул и записывал уравнения словами
Неизвестную величину он называл «шей», по-арабски — «вещь»
Например: три «вещи» составляют 15, значит, «вещь» равна пяти
В XII веке книга Аль-Хорезми попала в Испанию, где неизвестное стали записывать как xei, поскольку в староиспанском звук [ш] в начале слова обозначался буквой X
С развитием формульной записи слово сократилось до одной буквы
Перестаньте промптить, проектируйте цикл
Пространство для управления циклами, которое подключается к локальным агентам вашей команды:
- Создавайте каркасы контрактов циклов, состояний и логов
- Добавляйте программируемые триггеры
- Запускайте самоулучшающиеся циклы
- Начинайте с готовых шаблонов циклов
Пространство для управления циклами, которое подключается к локальным агентам вашей команды:
- Создавайте каркасы контрактов циклов, состояний и логов
- Добавляйте программируемые триггеры
- Запускайте самоулучшающиеся циклы
- Начинайте с готовых шаблонов циклов
ARI AML
Перестаньте промптить, проектируйте цикл Пространство для управления циклами, которое подключается к локальным агентам вашей команды: - Создавайте каркасы контрактов циклов, состояний и логов - Добавляйте программируемые триггеры - Запускайте самоулучшающиеся…
What I learnt after running loops for 1 month???.pdf
745.6 KB
Однажды все математики ушли из пункта А в пункт Б, и за этим следила вся общественность
Здесь только одна тонкость: они исходно не были в пункте А, а представляли из себя множество динамических координат: Xi(t), Yi(t); i=1, 2, ..., N
И эти координаты не изменились
И ни по пункту А, ни по пункту Б нельзя было определить это множество
Так в чем же смысл?
А смысл в том, что у множества обычно есть название
Было А, стало Б
Кстати, в программировании нет операции переименования, а в жизни — сплошь и рядом
Теперь представим, что А — это одно сознание, а Б — это другое сознание
Это уже аналитическая философия
Если переименовать А в Б, а Б в А, поменяет ли это что-то? Кажется, что нет
Но ведь А — это один физический субстрат, а Б — это совершенно другой
Теорема доказана
Сознание — это не ветер, а математики с распределенной локацией
Они приписаны к конкретному мозгу, но фактически они не в мозге, а в своих собственных координатах
Но координаты не классические, они описываются волновой функцией
Ну а как же квалия? — спросит пытливый читатель
Отвечаю: квалия — это коллапс волновой функции
Здесь только одна тонкость: они исходно не были в пункте А, а представляли из себя множество динамических координат: Xi(t), Yi(t); i=1, 2, ..., N
И эти координаты не изменились
И ни по пункту А, ни по пункту Б нельзя было определить это множество
Так в чем же смысл?
А смысл в том, что у множества обычно есть название
Было А, стало Б
Кстати, в программировании нет операции переименования, а в жизни — сплошь и рядом
Теперь представим, что А — это одно сознание, а Б — это другое сознание
Это уже аналитическая философия
Если переименовать А в Б, а Б в А, поменяет ли это что-то? Кажется, что нет
Но ведь А — это один физический субстрат, а Б — это совершенно другой
Теорема доказана
Сознание — это не ветер, а математики с распределенной локацией
Они приписаны к конкретному мозгу, но фактически они не в мозге, а в своих собственных координатах
Но координаты не классические, они описываются волновой функцией
Ну а как же квалия? — спросит пытливый читатель
Отвечаю: квалия — это коллапс волновой функции