Статья обсуждает аналогию между процессом доказательства математических теорем и заполнением выпуклой оболочки в пространстве математических истин. Авторы рассматривают, как современные системы ИИ могут только «заполнять промежутки» внутри уже известных математических фактов, используя комбинации существующих идей.
График появится после повторных замеров. Текущий показатель уже получен из источника.
16 очков источникаТолько реальные замеры. История до подключения источника не восстанавливается.
Исследование может помочь понять ограничения современных систем ИИ в математических задачах.
Робин Хансон не придумал идею процесса мартингала, но он популяризировал идею о том, что вероятностные оценки должны формироваться как мартиингал. Эта концепция связана с гипотезой эффективных рынков, которая утверждает, что нельзя предсказывать краткосрочные колебания цен. Идея была разработана ранее, но Хансон способствовал её популярности.
23 часа назадLessWrongТекст обсуждает важность внимания к опыту и то, как личные предпочтения и перспективы определяют, что мы считаем значимым. Он подчеркивает сложность доверия мнению других о том, на чем сосредоточиться, поскольку индивидуальные «умвельты» (перцептивные миры) различаются, и акцентирует ценность понимания собственных предпочтений для открытия уникальных источников радости. Автор ссылается на идею К. С. Льюиса о непередаваемой связи между любимыми книгами и опытами, которые другие могут не осознавать.
4 дня назадHugging FaceКарточка модели autotrust/JEV-27B-VL на Hugging Face. Задача: генерация текста по изображению и тексту. Подробности по ссылке на источник.
9 дней назадHacker NewsWhistle - это модель распознавания речи с размером 16,9 МБ.
вчераGitHubStrata — это движок инференса, позволяющий запускать Qwen3.8-Flash-Next на потребительском оборудовании с одним кликом для Windows и Linux. Поддерживает API OpenAI и Anthropic на локальном компьютере и включает необязательный ввод изображений.
15 дней назадHacker NewsNewgrounds.com — это платформа для сообщества, ориентированного на игры, музыку и искусство.
6 дней назад