I'm confused. What's the future of this project?

It's hard for me to understand what you guys wrote in russian.

So what next?

Seems to still be running to me as the 'admin' isn't really in control.

I just use google translate in my browser which will translate the page.

I'm confused. What's the future of this project?

It's hard for me to understand what you guys wrote in russian.

So what next?

The project is currently ongoing.
And your calculations are taken into account in general statistics.

But happens to the results? The admin supposedly isn't pulling them anymore. Why crunch just for stats?

But happens to the results? The admin supposedly isn't pulling them anymore. Why crunch just for stats?

The results go into the database (a draft version of the website where you can find and view them is located at https://boinc.termit.me/adsl/spt_explore.php)
Two very good results (found by crunchers during the project):
https://boinc.termit.me/adsl/spt_explore.php?spt=19&s=6919940122097246303
https://boinc.termit.me/adsl/spt_explore.php?spt=19&s=7325015925425379457
One of them will be registered in the OEIS.
https://boinc.termit.me/adsl/tuples.php?spt=19&p=1&ln

Just to understand better, what's the issue right now?

Who's the owner of the project? Who's the owner of the server? Who's the admin of the project?

The owner of the server disappeared but the admin is still here?

Then what about buy a new server and migrate the project? What's the problem?

Just to understand better, what's the issue right now?

Who's the owner of the project? Who's the owner of the server? Who's the admin of the project?

The owner of the server disappeared but the admin is still here?

Then what about buy a new server and migrate the project? What's the problem?

Yes, very good question.
Does this project still serve a purpose?

Just to understand better, what's the issue right now? Who's the owner of the project?

Natalia Makarova

Project developer

https://boinc.termit.me/adsl/show_user.php?userid=2
Current analytics (in Russian) on the data found by crunchers on the SPT project is here:
https://boinc.progger.info/odlk/forum_thread.php?id=237

Who's the owner of the server?

https://boinc.termit.me/adsl/show_user.php?userid=1
Corporal

Volunteer moderator
Project administrator
Project tester

The owner is responsible for its full maintenance, including hardware costs, electricity costs, other financial expenses, etc.

Who's the admin of the project?

https://boinc.termit.me/adsl/show_user.php?userid=2
Natalia Makarova

Volunteer moderator
Project administrator
Project developer
Project tester

The owner of the server disappeared but the admin is still here?

The server owner did not disappear
The admin (maybe) doesn't want to work on the project.

Then what about buy a new server and migrate the project?

This question is definitely not for me.

What's the problem?

I don't have an answer to this question.
There are technical problems, quite a few, but they can all be solved.
I periodically solve and publish them.

Most of these answers could simply be found out by reading threads on the forum.

Only a Project developer can answer this question.
But, as far as I know, the data that is published on the page https://boinc.termit.me/adsl/spt_explore.php
Actively used for analysis.
We couldn't have done this without you.

The main goal, at the current stage of the project, is to find the minimum spt(19).
There are already some successes, as I wrote above, these are:
https://boinc.termit.me/adsl/tuples.php?spt=19&p=1&ln

But there are still many omissions.
Which will be eliminated.
Thank you!

Thank you Demis. Now it's a bit more clear.

So there's no issue with server and money since Corporal is still with us.

While Natalia Makarova is not working on it? What do you mean? What should she do that she's not doing?

Should we remove her then? Is she replaceable?

Thank you Demis. Now it's a bit more clear.

Ok.

So there's no issue with server and money since Corporal is still with us.

Ok.

While Natalia Makarova is not working on it?

Yes.
But she is conducting active research on her own to understand in which direction to move next.

What do you mean?

I don't mean anything by it.
Why she suspended her participation I cannot say.

What should she do that she's not doing?

I don't think she needs any advice.

Should we remove her then?

No.

Is she replaceable?

No.

And please don't forget my message today (https://boinc.termit.me/adsl/forum_thread.php?id=56&postid=601).
Don't let this be a surprise to you.

Я, пожалуй, напишу здесь.
Анализ работы BOINC-проекта SPT сторонним наблюдателем.

Это репост
сообщения на форуме dxdu.ru
https://dxdy.ru/post1620604.html#p1620604

Не только он, есть ещё целиком или частично меньшие пропущенные куски (округлю до 1e15): 4.811-4.820e18, 4.833-4.840e18, 4.852-4.860e18, 4.872-4.880e18, 4.892-4.899e18. Все они в той же 87-й партии что и большой кусок. И все близки размером к 8e15, наверное это что-то значит ...

Кроме этих точно пропущенных кусков есть более неприятная проблема: вовсе не факт что в 87-й партии нет отдельных пропущенных цепочек, потому что часть задач (вушек) имеют в системе боинка статус не просто непросчитанных, а некорректных (по неизвестной причине), хотя цепочки из них в БД попали (и практически все корректные). Я насчитал таких вушек 2600шт из первых 97000шт до 4.859e18 (а всего их в 87-й партии 260000шт). И так как причина некорректности неизвестна, то и нет уверенности что задачи были выполнены полностью и нашли все цепочки в своём интервале. С этим ещё надо разбираться. И по хорошему пересчитывать все некорректные вушки (задачи) в 87-й партии (впрочем как и в остальных если таковые есть). Т.е. даже наличие найденных цепочек не гарантирует что кое-где рядом не осталось пропущенных цепочек.
Досчитать даже десятки тысяч вушек/задач совсем не проблема, проблема вычленить их из общего списка и перезапустить счёт. Я не очень понимаю в чём тут проблема (по моему можно обойтись парой-тройкой запросов SQL), но Демис утверждает что возможны самые неожиданные глюки (очень уж сложно/нетривиально всё в боинке взаимосвязано) и мне приходится ему верить (он пытается мне объяснить, но не зная в деталях внутренности боинка я его не понимаю, а вникать в частности боинка мне как-то недосуг), он разбирается лучше.

Плюс отдельной проблемой висит вопрос об ошибочных цепочках (и не только криво обрезанных TPT), я выше показывал что их немало. И анализ показывает что почти 100% что это аппаратные ошибки у кранчеров: происходит сбой и часть цепочек оказываются некорректными (тупо числа не простые), хотя задача получает статус завершённой. Таких задач немного, доли процента, но они есть и что с ними делать неясно - понятно что пересчитывать, непонятно не было ли ошибок в других задачах, ведь некорректную цепочку видно, а пропущенную нет, т.е. как минимум все задачи тех кранчеров, что выдали ошибочные цепочки, тоже лучше бы пересчитать. Месяц назад таких кранчеров было порядка пяти (компов, не людей), потом я уже не проверял. Но ведь могут быть и незамеченные ошибки типа пропущенных цепочек и таких анализом результатов не обнаружить. По правильному это решается двойным и более просчётом каждой задачи (кворум больше 1), как во всех нормальных боинк проектах, но автор данного проекта упёрлась и посчитала кворум выше 1 излишним (а на ошибочные цепочки ей вообще плевать). Да, кворум выше 1 разумеется замедляет общий счёт, вдвое и более, зато даёт хорошую гарантию отсутствия случайных ошибок. Которые реально есть, даже в SPT и STPT цепочках, не трогая некорректно обрезанных TPT, примеры приводил выше.
Запустил снова проверку всех цепочек на вчерашний день, ошибок стало заметно больше: 1шт SPT22, 2шт SPT20, 50шт SPT18, 1005шт SPT16 (последняя совсем недавно), 13шт SPT13, 53шт STPT12, 1140шт STPT10.
Подчеркну, наличие явных ошибок это признак что как минимум у некоторых кранчеров и все остальные данные могут быть недостоверны. Это тысячи задач/вушек (по 1.95e12).

И все эти проблемы и вопросы и не дают полной уверенности что найденная 19-ка минимальная. Так что дело далеко не только в одном пропущенном интервале (как видимо уверена НМ), или даже шести интервалах (которые видны в списках цепочек).

Наличие указанных ошибок со ссылками подтверждаю.
Мой ответ на это сообщение смотрите далее.

Это репост сообщения
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=13040

Господин Петухов писал в сообщении
https://dxdy.ru/post1620604.html#p1620604

... но автор данного проекта упёрлась и посчитала кворум выше 1 излишним (а на ошибочные цепочки ей вообще плевать).

Я считаю это натуральным хамством господина Петухова по отношению ко мне и требую от администрации форума dxdy.ru привлечь его к ответственности.


Он не участник команды BOINC-проекта SPT и не может знать, кто там упёрся и кому там на что плевать.
К тому же, я остановила BOINC-проект SPT своим решением (как автор проекта) 1 ноября т. г., и призвала кранчеров остановить все вычисления.
Остановить проект технически я не могу, потому что у меня нет доступа к серверу.

Анализом ошибок по этой причине я заниматься не буду.
Раньше я писала, что ошибки в BOINC-проектах - дело вполне естественное, и одна из причин - аппаратные ошибки.

Но наличие ошибок тоже говорит о том, что деятели, управляющие проектом и нагло захватившие его (Corporal и Demis), не компетентны в вопросах BOINC-проекта и, более того, не компетентны в математике задачи проекта, и поэтому проект должен быть немедленно остановлен.

Сейчас я сделаю репост на форум BOINC-проекта SPT поста господина Петухова.

Я снова призываю кранчеров остановить все вычисления, что уже делала 1 ноября , когда покинула проект.

Люди, управляющие проектом, не компетентны!

Не стоит тратить ресурсы на проект, который выдаёт неправильные решения.
Это просто глупо.
Ошибки вскрыты, их очень много, надо заниматься серьёзным анализом ошибок.
Большинство ошибок, как предполагает аналитик, аппаратные.
Но отчего эти аппаратные ошибки происходят?
Никто ничего не знает.
Вот одно из неправильных решений

6823655055490858549: 0 12 18 48 72 142 144 154 174 180 184 228 238 240 310 334 384 408 450 460 528 562

Смотрите здесь
https://boinc.termit.me/adsl/spt_explore.php?spt=22&s=6823655055490858549

Это SPT22.
Почему решение неправильное???
Видно невооружённым глазом, что решение неправильное, кортеж не симметричный.
Что за аппаратная ошибка случилась?
Те, кто управляет проектом, должны это знать!
Но они это не знают, и все неправильные решения идут в БД.
Кому-нибудь нужна такая БД?!

Так что, подумайте, уважаемые кранчеры: считать или не считать в этом BOINC-проекте.

Corporal
вы разумный человек.
И совершенно напрасно вы не обращаете внимания на мои требования.
Мне жалко ваши бессмысленные траты денег и времени.
Я говорю вам: проект работает некорректно.
Вы мне не верите.
Тогда поверьте независимому аналитику с форума dxdy.ru.

Прошу вас, остановите проект!

Его можно будет запустить заново, но с другой программой (мой новый алгоритм) и без Demis.
Вы можете с этим справиться, если захотите.
Всё необходимое для этого запуска уже есть, этот алгоритм работал в BOINC-проекте Gerasim@Home.
Там не было никаких ошибок в БД.

Should we remove her then?

Ха-ха-ха!
Меня не надо удалять, я сама ушла уже месяц назад.

Я продолжаю работать над проектом в ручном режиме.
У меня есть два новых алгоритма, которые ждут запуска в BOINC-проекте.
Но это не будет сделано в проекте SPT.
Этот проект должен быть немедленно остановлен.
Читайте мои предыдущие сообщения.

Should we remove her then?

Ха-ха-ха!
Меня не надо удалять, я сама ушла уже месяц назад.

Я продолжаю работать над проектом в ручном режиме.
У меня есть два новых алгоритма, которые ждут запуска в BOINC-проекте.
Но это не будет сделано в проекте SPT.
Этот проект должен быть немедленно остановлен.
Читайте мои предыдущие сообщения.

Natalia
thank you for your reply
that's what I wanted to know

Я закрыла тему для комментариев, потому что в теме обсуждают вопрос: надо ли удалить из проекта администратора (то есть меня).

Считаю, что это некорректное обсуждение.

Господа, если вам интересно, посмотрите мой анализ ошибок.

Начинать с сообщения
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=13057
и до сообщения
https://boinc.progger.info/odlk/forum_thread.php?id=196&postid=13062

В БД 20-ок (7463 кортежа) моя программа нашла два неправильных решения

5659489647642929941: 0, 6, 36, 40, 58, 72, 76, 160, 208, 258, 282, 286, 300, 318, 322, 352, 358, 390, 420, 436
6823655055490858561: 0, 6, 36, 60, 130, 132, 142, 162, 168, 172, 216, 226, 228, 298, 322, 372, 396, 438, 448, 516

18-ки и 16-ки я не проверяла.
Думаю, что там неправильных решений больше.

PS. Моя программа проверяет только симметричность кортежей.
Как показывает анализ ошибок с проекта TBEG, кортеж может быть симметричным (по паттерну), но начинается он не с простого числа.
Такие ошибки моя программа не обнаруживает.

Кстати, из двух показанных неправильных 20-ок одна начинается не с простого числа, а паттерны в обоих решениях не симметричные.

Я скачала 18-ки со страницы
https://boinc.termit.me/adsl/tuples.php?spt=18&p=1&ln
в количестве 182953 шт.
Все эти кортежи проверены моей утилитой на симметричность.
Обнаружено 49 не симметричных кортежей

5371682928285712349: 0 2 42 48 104 114 128 168 224 258 264 278 288 330 344 392 422 462
5372801863069453271: 0 8 32 60 62 158 216 272 390 426 428 456 470 480 530 546 582 618
5374140430617791351: 0 56 128 212 266 318 386 470 522 576 582 660 672 732 750 788 816 836
5402111311036763759: 0 2 8 30 44 72 90 102 104 122 140 168 170 182 204 210 212 272
5467357604864106181: 0 10 42 196 252 306 310 346 366 402 460 486 502 516 580 688 696 762
5467357874301156107: 0 24 26 32 44 86 110 156 162 240 260 264 266 332 372 404 462 494
5467628769522984049: 0 24 52 58 124 228 244 318 328 342 352 430 462 472 480 538 604 684
5473888081102508009: 0 8 74 78 104 140 222 224 258 264 354 362 372 374 428 488 518 528
5473888168060860109: 0 30 78 84 94 118 130 132 144 178 190 220 234 262 312 570 574 592
5482343421481522699: 0 24 54 60 108 160 298 412 448 472 474 510 648 654 724 778 798 804
5482343580272652253: 0 30 54 76 90 94 108 138 198 244 268 270 286 310 396 418 460 486
5492212650909398341: 0 46 58 88 90 96 102 130 142 196 202 208 228 240 252 298 312 462
5493629346892502173: 0 64 70 144 150 154 166 168 178 180 184 270 298 304 316 334 354 436
5493629469364775483: 0 24 68 114 128 248 254 276 318 336 348 374 380 404 426 488 528 530
5493629932466098193: 0 26 44 84 168 246 266 306 326 390 408 410 434 518 530 540 564 638
5496096295079472389: 0 24 42 104 114 132 138 350 368 378 398 458 468 522 614 678 692 710
5499611712460246793: 0 18 60 66 84 90 150 164 170 188 216 254 266 284 308 458 480 510
5505020465513087369: 0 8 50 60 132 134 140 212 222 270 284 300 312 354 504 594 620 630
5513201842638800917: 0 10 66 90 106 124 136 172 190 214 232 244 330 340 406 466 484 522
5513280216608991923: 0 20 84 96 126 188 230 236 246 264 288 368 374 438 456 470 516 540
5653067466247413151: 0 18 36 60 78 88 106 108 112 136 148 150 156 162 186 198 232 262
5653927643277441977: 0 14 86 122 236 254 372 390 392 416 600 612 654 686 714 800 894 900
5653927815919424869: 0 28 34 48 70 90 120 232 262 282 288 318 352 370 400 438 462 484
5654351234358619349: 0 8 12 42 90 98 104 198 342 404 462 498 504 512 530 594 602 632
5657303062629246619: 0 30 40 70 84 94 114 142 160 174 192 250 264 294 304 334 342 420
5657728229316974861: 0 8 12 32 56 92 108 128 140 176 186 212 222 242 266 282 362 410
5657728289653329761: 0 36 128 170 330 348 390 440 446 482 510 546 552 572 578 656 686 698
5658108228389054887: 0 60 106 114 184 190 232 262 352 424 466 480 544 550 556 564 576 582
5659489192045100957: 0 2 26 30 44 90 140 156 224 294 336 342 452 510 536 546 552 570
5659489647642929947: 0 30 34 52 66 70 154 202 252 276 280 294 312 316 346 352 384 414
5659533519896498941: 0 6 28 40 52 76 108 132 138 156 168 178 210 268 286 300 306 342
5661687358711174871: 0 42 62 108 176 252 290 366 390 398 458 516 542 546 576 632 708 776
5663187566837331959: 0 38 60 98 110 158 212 264 302 308 324 360 362 410 488 554 578 620
5663188556003073203: 0 30 86 146 164 168 170 198 206 216 240 258 296 350 374 434 576 584
5664252714315331613: 0 44 126 164 170 180 206 254 306 354 380 390 396 434 486 516 560 564
5665489913814444121: 0 6 18 52 90 102 132 192 238 276 300 310 322 328 366 592 630 660
5667831329038658141: 0 38 66 68 140 182 186 206 252 278 300 302 330 368 390 440 500 512
5667831468200729323: 0 16 18 46 118 124 228 234 270 276 286 294 298 348 376 418 420 444
5668036157021618477: 0 6 12 114 122 144 152 180 182 210 252 284 290 324 360 432 440 450
6705713568252659053: 0 66 70 108 118 186 214 256 268 304 330 378 400 480 486 496 498 520
6723023646662902147: 0 24 30 66 72 76 130 142 204 214 216 220 232 270 274 316 360 394
6730876060680845573: 0 30 36 84 218 288 320 330 470 500 516 518 546 588 608 614 624 654
6734338828388032241: 0 18 30 48 78 86 92 168 182 200 228 260 266 410 476 506 512 518
6759455347893410933: 0 80 138 158 168 170 180 224 234 246 266 270 324 338 380 404 414 476
6786772864532815901: 0 48 108 110 132 146 162 222 230 236 242 252 258 260 300 360 368 426
6822951118344575231: 0 6 12 36 42 78 176 180 182 188 210 266 378 380 470 482 546 570
6823655055490858567: 0 30 54 124 126 136 156 162 166 210 220 222 292 316 366 390 432 442
6887926488452483933: 0 54 56 68 90 98 156 216 224 246 258 260 306 314 320 356 404 440
7005167245298394619: 0 144 174 228 244 250 252 298 328 348 384 432 472 634 660 748 798 838

Можно предположить, что не симметричных 16-ок гораздо больше, потому что 16-ок намного больше, чем 18-ок.
На данный момент найдено более 4 миллионов 16-ок (22 страницы)..
У меня проблемы с копированием результатов, поэтому 16-ки проверить не могу.

Повторяю: БД недостоверна, в ней содержится огромное количество неправильных кортежей.
Это показал и независимый аналитик с форума dxdy.ru господин Петухов.

Я не понимаю, какой смысл считать неправильный проект.
Ведь можно остановить неправильное Приложение и запустить новое Приложение в этом же проекте, которое будет считать правильно.

Кстати, ветвь проекта в BOINC-проекте Gerasim@Home не выдавала неправильных кортежей.

Corporal
ещё раз предлагаю вам подумать.

PS. Кроме того, 18 из показанных не симметричных кортежей начинаются не с простого числа

5374140430617791351
5473888168060860109
5482343580272652253
5493629469364775483
5496096295079472389
5513201842638800917
5513280216608991923
5653067466247413151
5657728289653329761
5665489913814444121
5667831329038658141
6705713568252659053
6723023646662902147
6759455347893410933
6786772864532815901
6822951118344575231
6887926488452483933
7005167245298394619