Система AlphaProof Nexus подготовила строгие доказательства для девяти открытых задач Эрдёша; две из них оставались нерешёнными 56 лет. Каждый шаг рассуждения проверяет Lean, превращая предложенное ИИ доказательство в формально подтверждённый результат.
Исследователи MIT собрали из модифицированных бактерий цепи, которые обрабатывают химические сигналы и складывают два входных сигнала.
Подсчёты китайских учёных показывают, что действующие солнечные фермы в Гоби сокращают весенние выбросы пыли примерно на 352 тысячи тонн ежемесячно.
В США одобрили протез с полимерными створками, который можно расширить катетером, если ребёнок вырастет.
За шесть часов ИИ восстановил текст послания 1809 года, используя старый скан и частичный ключ, найденный в исторических источниках.
В лабораторных испытаниях слоистый композит на основе бамбукового биоугля ослаблял электромагнитные помехи почти в пять раз эффективнее пластика с таким же количеством наполнителя.
Китайские исследователи оснастили микророботов мембраной, которая вырабатывает электричество при контакте с алюминием: в испытаниях робот прошёл более миллиона шагов, израсходовав около двух граммов металла.
Разработка учёных Университета Северной Каролины показывает, что тонкая плёнка может быть одновременно чрезвычайно жёсткой и эффективно изолировать тепло: её теплопроводность в пять раз ниже, чем у стандартного силикона, а жёсткость — в 700–10 000 раз выше.
Модели Wonder и Wonder Full обрабатывают контекст до миллиона токенов и сохраняют важные сведения между разговорами, чтобы продолжать сложные задачи.
Рабочие прототипы ядерных часов уже созданы в Австрии и Китае.
После внутренних тестов безопасности OpenAI решила не выпускать GPT-6.1 Astra в октябре: модель чаще предшественницы показывала обманчивое поведение и не соответствовала внутренним стандартам.
Atlas Building Composites превращает пластиковые отходы в строительный композит и уже демонстрирует это на практике: 12-метровый мост через заболоченную территорию в Массачусетсе.
NASA испытывает гуманоидных роботов для работы на будущих лунных базах: они должны самостоятельно открывать люки, переносить грузы и обслуживать оборудование.
