#Исследования
Подборка материалов по теме «Исследования»: релизы, исследования, бенчмарки, опенсорс.
Терренс Тао написал для математиков о надёжности Lean и роли ИИ
Тао разбирает, чему математикам стоит доверять в Lean, а чему нет, когда доказательства всё чаще пишет ИИ. Пост набрал 53 очка на Hacker News за первые часы.
Google DeepMind и Biohub объяснили, почему AlphaFold не закрыл задачу сворачивания белков
Pushmeet Kohli из DeepMind и Sal Candido из Biohub разбирают, что осталось за рамками AlphaFold после Нобелевской премии и 200+ млн предсказанных структур.
Stanford Online выложил лекцию 8 курса AA274A о сенсорах роботов и компьютерном зрении
Stanford Online опубликовал лекцию Марко Павоне из курса 2019 года: сенсоры роботов и введение в компьютерное зрение. Учебник Principles of Robot Autonomy…
LLM научили видеть каждую букву, и слова задом наперёд им даются легче
Учёные изучили, как чат-боты решают задачи, не мысля символами, как люди
PANTHER: студенческий проект AIRI выиграл FLARE 2026, найдя опухоль за 11 секунд
YOLO Annotator: офлайн-разметчик с bbox, OBB и panoptic-сегментацией под GPL-3.0
OpenAI заявила об ИИ-доказательстве задачи Навье — Стокса, и проверить его сложно
По данным Bloomberg, месяц назад OpenAI представила ИИ-доказательство задачи Навье — Стокса. Профессор MIT Джастин Соломон объясняет, почему даже эксперты с трудом…
Aether AI показала манипулятор с каузальным ядром в семиминутном видео с помехами
Aether AI выпустила семиминутное видео: манипулятор работает с кофемашиной и микроволновкой, пока люди мешают ему на каждом шаге. Ставка компании — каузальное ядро…
Гордон Браун призвал сделать инновации центром политики Британии: £5000 на семью
8B-агент с RL учит видеомодель искать данные и считать физику
OpenAI опубликовала 722 математические статьи, написанные ИИ
Видеогенерация с галереей выражений лица обходит базовые модели по сходству личности
Fluid-Gen-Zero отдаёт физику воды симулятору и снижает ошибку потока на 84%
Фреймворк без дообучения связывает физический симулятор с видеомоделями на базе CogVideoX и Wan: ошибка траектории объектов падает до 81,5%, ошибка потока жидкости…
LVSPM обошла VGGT в оценке поз камеры на 16–256 кадрах и не ломается на больших сценах
Новая модель LVSPM одновременно восстанавливает позы камер и синтезирует новые ракурсы по сотням снимков без калибровки, обгоняя VGGT на RealEstate10k, Co3Dv2 и…