ARGOMENTO:

Ci sono molte congetture matematiche che si potrebbero risolvere con BOINC in massimo qualche anno.
Come mai nessuno nel mondo è interessato a risolverle?
Da noi abbiamo provato a mettere insieme un team (saremmo 3 persone per gestire la piccolissima community della board del progetto, un cruncher di vecchia data e un "donatore" che potrebbe coprire i costi vivi dell'hardware), ma nessun matematico si è mostrato interessato (abbiamo scritto a una 10ina di università ricevendo 0 risposte) e sviluppatori che lancino il progetto non se ne trovano (capisco che qui il problema è di soldi).

Onestamente pensavamo che bastasse trovare:
1. Una facoltà di informatica che prestasse, anche dietro una piccola remunerazione, uno sviluppatore (che avrebbe potuto fare una tesi a riguardo).
2. Una facoltà di matematica, come sopra.

Come mai alle università non interessa risolvere congetture matematiche? È qualcosa di enciclopedico a cui un accademico pensavo volesse aspirare e la tecnologia odierna permetterebbe di risolverne molte irrisolte.

Balla ha scritto:

Come mai alle università non interessa risolvere congetture matematiche? È qualcosa di enciclopedico a cui un accademico pensavo volesse aspirare e la tecnologia odierna permetterebbe di risolverne molte irrisolte.

Tutte le volte che ho avuto contatti con università italiane per proporre progetti Boinc ho sempre trovato scetticismo e chiusura.
Far uscire "materiale" dalle facoltà è difficile.
Il progetto Tn-Grid è partito e vissuto solo grazie al grandissimo Valter

Interessante. Scetticismo nel senso che non sapevano cosa fosse boinc e non volevano interessarsi?
Che tipo di materiale avrebbero paura di far uscire?
Mi racconti di più su tn-grid e valter. Com'è nato tn-grid?

Hello! I'd be happy to help you develop your BOINC project if you're interested.

We could publish it as a subproject of BitBOINC, or I could help build and deploy a dedicated BOINC platform for you in exchange for a subscription to a coding or AI development service such as Claude Code, Claude Science, Codex, GLM, or Mistral Code.

You don't necessarily need an academic collaborator to make your research outputs available. Depending on the nature of your work, you can publish datasets and computational results on Zenodo and submit your findings to suitable journals, including those that do not use traditional peer review. Of course, the appropriate publication route depends on your research goals and the standards of your field.

If you'd like to explore this opportunity, please write up your project idea in as much detail as possible, including your goals, scientific questions, proposed calculations, and anything else you have in mind. Send me your draft, and I'll assess whether the project is feasible, whether it can benefit from distributed computing, and which algorithms and computational approaches would be most suitable. I'll test possible approaches where appropriate and explain the options to you before we decide how to proceed.

Mathematical projects are often particularly well suited to distributed computing, and I can offer technical support across the entire process, from initial planning and algorithm selection to implementation, deployment, and maintenance.

Please take a look at BitBOINC: bitboinc.athena.org.tr/ and let me know what you think.

And yes, I keep a close eye on BOINC projects and platforms around the world, following community discussions, developments, ideas, and recommendations. I'm always interested in discovering promising projects and helping bring them to life!

Thank you for your interest. We would definitely be interested in working with you if you could take on the role of developer.

The challenge at the moment is finding someone at a university who can handle the data analysis, so that we can make sure we are taking the right approach.

In the meantime, could you let me know how much you would charge per month? I’m using the term “compensation” to refer to the cost of subscribing to one of the services you mentioned.

I’d also like to better understand whether the project could be deployed on a DigitalOcean VPS, which we would purchase and pay for ourselves and what hardware specifications would be required, along with the associated monthly costs.

I think I’ll put together a "business plan" and submit it to universities again, provided you’re on board as our developer and we can secure enough funding to cover both your fees and the hardware costs for at least one full year.

Personally, I wouldn't recommend renting a server in the long run. If you have a decent internet connection with good upload speeds at home or at your workplace, I'd suggest hosting the project yourself using a Debian server and Cloudflare Tunnel. You could also use Proxmox if you want to split things into separate virtual machines and potentially host multiple projects in the future.

You don't need an expensive server for this. A Mac mini, an ASUS NUC, an Intel NUC, or another mini PC could work just fine. The main things you'll need are enough RAM and storage.

The reason I recommend this approach is that BOINC relies heavily on its database, and resource requirements can increase as the project grows. My own project is still in its early stages, but the database alone is already using around 5 GB of RAM. With a VPS or cloud server, you'll eventually need to upgrade your plan as the database grows, which can get expensive. Having your own machine is usually a better long-term investment and gives you more control over the available resources.

If you tell me your budget and share a link to an e-commerce website commonly used in your country, such as Amazon, I can look through the available options and recommend a few machines that would suit your needs without spending more than necessary.

As for development, I'm happy to help you build the project without charging you for my time. We'll just need access to a capable AI coding agent while we're working on it. Once everything is up and running properly, we probably won't need the subscription anymore. We might only need it for a month or two, and a Claude Max subscription could be enough, depending on the amount of work involved.

There's another option worth considering before spending any money. Anthropic has a program that provides up to $50,000 in Claude API credits for scientific projects. I've already applied, and my application is currently under review. I expect to hear back within the next week or two. If it's approved, I may be able to use those credits to help build your project without needing to pay for a separate AI subscription.

If you're not in a hurry, we could wait for the outcome of my application and decide what makes the most sense for your budget. Either way, I'm happy to help you get the project off the ground.

Sure. We can wait. We still need to find a mathematician. I'll do my best to find one and I'll come back to you. Thank you!

Se qualcuno del forum potesse aiutarci nel trovarlo, fatemi sapere!

Balla ha scritto:

Ci sono molte congetture matematiche che si potrebbero risolvere con BOINC in massimo qualche anno.
Come mai nessuno nel mondo è interessato a risolverle?
[...]ma nessun matematico si è mostrato interessato

Premetto di non essere un matematico, ma se posso dare un opinione da vecchio utilizzatore di BOINC, mi sembra che le possibilità che offre il calcolo distribuito siano quelle della "forza bruta", che in genere può al massimo estendere il range di validità di una congettura o (fantascienza) falsificarla, ma non dimostrarla (vedi i progetti ABC, Collatz e altri), e che io sappia, questo approccio è considerato dai matematici più un trastullo, o la scelta di chi ha gettato la spugna.
Possibilità reali di dimostrare congetture "difficili" sembrano attualmente alla portata di ultimissimi modelli di AI addestrati ad hoc, vedi quello che è successo per il problema di Navier-Stokes. Che tra l'altro sta scatenando polemiche sui "furti di idee" da parte dei modelli di AI e sull'attribuzione dei meriti, nonchè scetticismo sui risultati e sui tempi di verifica di questi. Evento che sicuramente rischia di generare chiusura sulla condivisione di informazioni da parte della comunità matematica (problema diverso ma che si va ad aggiungere alla scarsa considerazione per gli algoritmi di forza bruta).
Infine BOINC e i modelli AI per quanto ne so, sono parrocchie ben separate.

Capisco.

Intanto abbiamo proposto il progetto anche su Reddit.

Chiusura e diffidenza ovunque anche fra potenziali studenti/laureandi...

"Perché volete farlo? Cosa ci guadagnate? Perché proprio BOINC? Perché un matematico che potrebbe fare da solo con carta e penna dovrebbe lavorare con voi? Perché non la risolvete con ChatGPT?"

Passa veramente la voglia in effetti...

Il clima è che vogliamo, noi organizzazione criminalissima, sfruttare qualcuno per chissà quale motivo o comunque tirarlo dentro in chissà cosa per una cosa che si potrebbe fare in 2 minuti con carta e penna o chiedendo a ChatGPT. È veramente assurdo.

Va beh...il progetto si è arenato. Grazie agli splendidi commenti su Reddit abbiamo perso in tempo zero chi avrebbe messo i fondi. Ci hanno accusato di truffa, phishing, che BOINC fosse un progetto AI slop e quanto di peggio si potesse e ora il progetto non si fa se non in collaborazione con un'università che garantisca serietà. Capisco anche...però che barba. Ci sono persone veramente malate e cattive che devono massacrare qualsiasi attività di volontariato in ogni modo possibile. Sono riusciti anche a convincere alcuni studenti che erano interessati a farci una tesi che in verità fosse "una truffa". Ma come si fa????

Balla ha scritto:

Va beh...il progetto si è arenato.

Ad essere sincero non sono stupito. Questo framework ha avuto sempre una certa difficoltà ad essere accettato sia da potenziali donatori di calcolo che da potenziali utilizzatori, la comunicazione dovrebbe essere fatta con molta attenzione, tenendo conto di tutti i trascorsi negativi o positivi.
Per quel che ho visto in questi anni, la tipica situazione vincente è quando tutto avviene spontaneamente, ovvero, un dottorando/ricercatore/docente ha bisogno di potenza di calcolo superiore al suo budget, trova in rete l'home page di BOINC, ci fa un pensierino, chiede ad altri colleghi che già lo usano e, poi, se gli serve supporto di volontari, magari e come ultimo passo, fa anche questo.
Altra comunicazione su cui stare attenti è accostare BOINC e AI, l'AI in ambito scientifico ha una pessima reputazione: articoli "contaminati" o intere ricerche fasulle create con l'AI stanno impestando l'editoria e il mondo della ricerca, producendo una quota percentuale di fake senza precedenti, fuori controllo, nel senso che non gli si riesce a stare dietro e questo produce dei danni sostanziali ai progetti onesti.

Tutto ciò senza contare le preoccupazioni di lungo termine per l'AI-zzazione della ricerca anche nei casi in cui venga usata in modo onesto. Un esempio tipico è il suo utilizzo nelle dimostrazioni di congetture matematiche: spesso il vero valore aggiunto di una dimostrazione "difficile" è che per farla viene creato uno strumento, o un'intera teoria matematica, che consente alla dimostrazione di essere "breve" ed "elegante". Se Gregorio Ricci nella seconda metà del 1800 non avesse sviluppato il calcolo tensoriale per risolvere dei problemi sugli spazi a enne dimensioni della geometria Riemanniana, Einstein molti anni dopo non avrebbe avuto uno strumento perfetto da usare sul paradigma dello spazio-tempo.
In pratica l'utilizzo dell'AI dovrebbe essere valutato volta per volta in modo da non portare sul lungo termine a una situazione di stallo, in cui le nuove generazioni di ricercatori hanno imparato bene ad usarla per risolvere un sacco di problemi (ma non si sa bene come) e le successive generazioni andranno in stallo perché si troveranno senza ulteriori strumenti per procedere.

Altra comunicazione su cui stare attenti è accostare BOINC e AI, l'AI in ambito scientifico ha una pessima reputazione: articoli "contaminati" o intere ricerche fasulle create con l'AI stanno impestando l'editoria e il mondo della ricerca, producendo una quota percentuale di fake senza precedenti, fuori controllo, nel senso che non gli si riesce a stare dietro e questo produce dei danni sostanziali ai progetti onesti.

Io uso sempre l'espressione: "MERD-IN MERD-OUT"
Confesso però che non sapevo che già si nota nell'editoria scientifica questo fenomeno.

zioriga ha scritto:

Altra comunicazione su cui stare attenti è accostare BOINC e AI, l'AI in ambito scientifico ha una pessima reputazione: articoli "contaminati" o intere ricerche fasulle create con l'AI stanno impestando l'editoria e il mondo della ricerca, producendo una quota percentuale di fake senza precedenti, fuori controllo, nel senso che non gli si riesce a stare dietro e questo produce dei danni sostanziali ai progetti onesti.

Io uso sempre l'espressione: "MERD-IN MERD-OUT"
Confesso però che non sapevo che già si nota nell'editoria scientifica questo fenomeno.

é così purtroppo, e la cosa riguarda anche le riviste serie, non solo quelle "predatorie", su si può pubblicare qualsiasi cosa pagando, dato che hanno una peer review finta.
Il vero problema è che questi fake fatti con l'AI alla fine vengono scoperti e gli articoli ritirati, ma se ho capito bene, questo avviene ad una velocità minore di quanto avviene l'immissione di nuovi fake. La pubblicazione di spazzatura dovrebbe stroncare le carriere dei falsari, quindi spero che prima o poi tutto ritornerà in equilibrio, se non altro per mancanza di furbetti.
La mia impressione è che ciò sia causato dall'arrivo nella ricerca di generazioni cresciute taroccando i loro compiti a casa con chatGPT, e non riuscendo a resistere alla pressione del publish or perish, si rovinano la carriera, causando però un sacco di rumore e di inefficienze.

Balla ha scritto:

Va beh...il progetto si è arenato. Grazie agli splendidi commenti su Reddit abbiamo perso in tempo zero chi avrebbe messo i fondi. Ci hanno accusato di truffa, phishing, che BOINC fosse un progetto AI slop e quanto di peggio si potesse e ora il progetto non si fa se non in collaborazione con un'università che garantisca serietà. Capisco anche...però che barba. Ci sono persone veramente malate e cattive che devono massacrare qualsiasi attività di volontariato in ogni modo possibile. Sono riusciti anche a convincere alcuni studenti che erano interessati a farci una tesi che in verità fosse "una truffa". Ma come si fa????

Anche te, però, su reddit...il peggio posto...

zioriga ha scritto:

Io uso sempre l'espressione: "MERD-IN MERD-OUT"
Confesso però che non sapevo che già si nota nell'editoria scientifica questo fenomeno.

Zio, io ci faccio gli articoli e tu non mi leggi?? Male, molto male

Eh...veramente.

Non che le università però stiano dando feedback migliori.
Erano tutte entusiaste (alcuni no secchi li abbiamo presi, ma va bene, non tutti possono essere interessati) ma dopo settimane sono sparite e chi abbiamo risentito, perché ci eravamo lasciati per avere news a breve, sta ignorando. Chi ha risposto ha avanzato richieste economiche importanti (praticamente volevano donazioni per la ricerca, alcuni hanno chiesto anche 200.000€ ahah, per fare un progetto dove ci mettavamo già tutto noi, mah...) e altre stanno dando il tiro di non concludere nulla.

Abbastanza triste.

Gli studenti singoli pensano sia una truffa
I pochi interessati non erano realmente motivati o hanno fatto proposte per progetti senza senso

Le università ignorano o non sono interessate
Le poche interessate alla fine vogliono cifre da lotteria

Io sono senza parole.

Ma fare noi un progetto indipendente per risolvere di bruteforce qualche congettura rompibile nell'arco di massimo 10 anni?

Hai qualche idea ???

Quella è la domanda.
Molte con bruteforce possono estendere il range di ricerca, ma non significa che si troverà mai un risultato.
Servirebbe qualcosa che sia un progetto completabile (no numeri primi che sono infiniti per esempio)

Nel passato c'è stato il progetto sulla congettura Collatz (credo si sapesse anche allora che non si sarebbe trovato un numero per il quale la suddetta congettura non sarebbe stata convalidata)
Eppure è andato avanti per tanti anni e anche molto seguito perchè remunerava con molto elevato valore di credito

Sbaglio o si scoprì che i dati raccolti non erano coerenti alla fine?
Mi preoccupa anche questo, per quello mi piacerebbe un progetto che avesse un successo finale realistico e concreto.