Модель Claude формализовала доказательство Великой теоремы Ферма «в основном автономно» всего за 11 дней, сообщила компания-разработчик Anthropic. Полученный результат представляет собой 13 миллионов строк кода на Lean — специальном математическом инструментарии. Великая теорема Ферма веками не давала покоя математикам, пока в 1995 году ее не доказал Эндрю Уайлс. Она гласит, что не существует таких целых чисел a, b и c, которые удовлетворяли бы уравнению aⁿ + bⁿ = cⁿ, где n — целое число больше 2...

Роза «Велл Бинг» — шраб британской селекции 2004 года с крупными густомахровыми цветками (8–10 см), жёлтыми в центре и оранжевыми по краям. Цветёт повторно с июня по октябрь, радует сильным ароматом с цитрусовыми и гвоздичными нотами. Куст высотой 120–150 см подойдёт на срезку. Расскажем об особенностях ухода. Роза Велл Бинг появилась на свет в Великобритании в 2004 году. Авторство принадлежит известному селекционеру Харкнессу (Harkness), а в каталогах сорт часто фигурирует под кодовым названием HARjangle...