Meta открыла Rebalancer — C++ солвер на 40 млн задач размещения в день
Почему важно: готовый нативный солвер под нагрузкой в десятки миллионов задач в день — ориентир для тех, кто проектирует высокопроизводительные конвейеры назначения и размещения.
Гипотеза Барнетта доказана — математик, потративший 24 года, делится реакцией
Почему важно: живой пример того, как закрытие открытой математической проблемы задевает людей, годами вкладывавшихся в неё, — контекст для всех, кто отслеживает прогресс автоматизированного доказательства теорем.
Карта для оплаты AI · Claude Pro на неделю · Manus
Комментариев пока нет.