sharbel — 25-05-2026
3 твитов за сутки. ИИ-агент автономно решил задачи, десятилетиями считавшиеся нерешаемыми, а список бесплатных open-source инструментов показал, как заменить платные сервисы для записи экрана.
AI в математике — агент autonomously solved 9 unsolved problems из 353 открытых задач Эрдёша, доказав их за несколько сотен долларов на каждую задачу. Тот же агент proved 44 out of 492 open conjectures из базы OEIS, а упрощённая версия агента, чередующая генерацию и формальную верификацию в Lean, также успешно справилась с задачей. Исследование доступно по ссылке arxiv.org/pdf/2605.22763v1.
Open-source для видео — подборка из 10 репозиториев, заменяющих платные инструменты вроде Loom и Camtasia. В список вошли obs-studio для записи и стриминга, lossless-cut для быстрой нарезки без перекодирования, ShareX для Windows, Kap для macOS, asciinema для терминалов, peek для Linux, olive как видеоредактор, Kooha для GNOME, youtube-dl-gui для скачивания видео и vnote для заметок.