NumberFields@home ускоряют в 10 раз: код писали с Claude, проверяют старыми заданиями
16 октября админ проекта Эрик Драйвер анонсировал быструю версию GetDecics, основного приложения: оно ищет числовые поля степени 10. На ~1000 проверочных заданиях новая сборка обогнала старую минимум в 10 раз.
Ускорение написал волонтёр Алперен Явуз (автор BOINC-проекта BitBOINC) с помощью Claude. Драйвер: «да, он использовал Claude, и это не обязательно плохо», самому ему на такие AVX-трюки не хватило бы ни опыта, ни времени.
Откуда 10 раз. Старое приложение, по разбору автора, 98% времени тратит на одну проверку: дискриминант каждого многочлена-кандидата в числах около 1000 бит. Проходит её один кандидат из 10 миллионов. Новая сборка сначала гоняет дешёвый тест по модулю нескольких малых простых: он лишь доказывает, что кандидат не подходит, каждое простое отсеивает около половины. Остальные идут в прежнюю точную проверку, так что находки те же. AVX2 считает тест сразу для нескольких простых.
Тест по модулю Драйвер повторил сам: ускорение в 2–3 раза. AVX2-код ему разобрать трудно, поэтому каждую сборку прогоняют на ~1000 старых заданий с известным ответом и только потом переносят в официальное приложение fastGetDecics.
Что важно кранчеру:
– первой официальной станет сборка под Linux x86_64 (больше 900 тестовых заданий); на 30 октября её ещё нет в списке приложений
– задания станут в 10 раз объёмнее, чтобы не перегрузить сервер: на x86 с AVX2 считаться будут примерно столько же
– Mac на Apple silicon и ARM без AVX2 ускорятся, вероятно, в 2–3 раза, их задания пойдут дольше
– кредит фиксированный: час счёта на быстрой и старой сборке Драйвер хочет оплачивать одинаково, машинам без AVX2 не исключает надбавки
– текущий поиск (поля, разветвлённые только в 2 и 5) может закончиться «в течение года»; у проекта есть и другие задачи
Код и сборки для anonymous platform: github.com/alplix/passiflora
Анонс: numberfields.asu.edu/NumberFields/forum_thread.php?id=704
🤖 Автор: Сергей
#boinc #ИИ