ARGOMENTO:

---

Homepage	Articolo sul portale	Pagina delle statistiche	Pagina delle applicazioni	Join del Team	Stato del server

La macchina Ramanujan è un pacchetto software specializzato, sviluppato da un team di scienziati del Technion: Israeli Institute of Technology, per scoprire nuove formule in matematica. Prende il nome dal matematico indiano Srinivasa Ramanujan perché presumibilmente imita il processo di pensiero di Ramanujan nella sua scoperta di centinaia di formule. La macchina ha prodotto diverse congetture sotto forma di espansioni in frazioni continue di espressioni che coinvolgono alcune delle costanti più importanti in matematica come e e π (pi). Alcune di queste congetture prodotte dalla macchina Ramanujan si sono successivamente rivelate vere. Gli altri continuano a rimanere come congetture. Il software è stato concettualizzato e sviluppato da un gruppo di studenti universitari del Technion sotto la guida di Ido Kaminer [lui], un membro della facoltà di ingegneria elettrica del Technion. I dettagli della macchina sono stati pubblicati online il 3 febbraio 2021 sulla rivista Nature.

Secondo George Andrews, esperto della matematica di Ramanujan, anche se alcuni risultati prodotti dalla macchina Ramanujan sono sorprendenti e difficili da dimostrare, i risultati prodotti dalla macchina non sono del calibro di Ramanujan e per questo chiama il software il La macchina Ramanujan è un po' scandalosa. Doron Zeilberger, un matematico israeliano, ha affermato che la macchina Ramanujan è foriera di una nuova metodologia di fare matematica.

---

Ramanujan Machine
Il progetto è on-line da Agosto, ma solo recentemente ha aperto ai volontari.
Serve, però, il codice di invito.
Qui maggiori info sul progetto

Per ora però è solo LInus 20.04

zioriga ha scritto:

Per ora però è solo LInus 20.04

Effettivamente.
Ah, hanno pubblicato il codice di invito nella home page del progetto.
Ma non hanno ancora attivato il forum

Ci sono già vari team all'opera, è previsto anche BI?

Spot ha scritto:

Ci sono già vari team all'opera, è previsto anche BI?

Mah. Non c'è nemmeno il forum, non saprei, magari aspetterei un pò per vedere se parte con il piede giusto.

Confermo che siamo iscritti
ho già elaborato un po di WUs.
Purtroppo vanno quasi tutte in errore, dopo pochissimi secondi
Qualcuna però è ok

zioriga ha scritto:

Confermo che siamo iscritti
ho già elaborato un po di WUs.
Purtroppo vanno quasi tutte in errore, dopo pochissimi secondi
Qualcuna però è ok

Vedo adesso che hanno fatto, dieci giorni fa, anche la versione per Windows.
Ovvio che se aprissero il forum la gente potrebbe segnalare gli errori....

In compenso le WU su Windows funzionano benissimo (incrociamo le dita)

Io ne avevo elaborata qualcuna, tempo fa con Linux, e mi sono state pagate una miseria.
Oggi ho letto il post e ho agganciato il progetto con il Ryzen3 (windows). Avira ha trovato non so cosa nell'eseguibile e ha fatto repulisti di tutti i progetti del client...
con buona pace dei 4 thread che stavano andando.

zioriga ha scritto:

In compenso le WU su Windows funzionano benissimo (incrociamo le dita)

Ne ho provata una per curiosità.
18 minuti per 17 crediti, in linea con molti altri progetti.
Peccato per il forum....

Spot ha scritto:

Oggi ho letto il post e ho agganciato il progetto con il Ryzen3 (windows). Avira ha trovato non so cosa nell'eseguibile e ha fatto repulisti di tutti i progetti del client...

Il classico falso positivo.....

boboviz ha scritto:

zioriga ha scritto:

In compenso le WU su Windows funzionano benissimo (incrociamo le dita)

Ne ho provata una per curiosità.
18 minuti per 17 crediti, in linea con molti altri progetti..

Anche io ne ho fatte girare qualcuna.
le mie variano da 6 a 21cr rnma.xyz/boinc/resul...186&offset=0&show_names=0&state=4&appid=

Ho scoperto che le WU non hanno il punto di ripristino, anche se, per una durata abbastanza ridotta, non è fondamentale

Hanno anche rilasciato i sorgenti del progetto (che ho già aggiunto alla lista nella nostra pagina dedicata).
Sempre peccato per il forum

Dal loro canale su Discord:

Hi, the last batch was over. It was used to scan the mathematical constant zeta(5).
The next batch will be released in the next few days and it should be more general and extensive. One big goal we have for that batch is to increase the number of jobs and to be more consistent.
We are still improving, and the next batch should be a big step for us.
Thanks for all the help you've given us so far. You helps us improve, and make new mathematical discoveries

Hanno rilasciato un batch di circa 80k wus, che son finite praticamente subito.
In effetti le wus durano meno di mezz'ora, mediamente.

Da ieri la coda di lavoro sembra abbastanza costante...

Gli amministratori del progetto si sono fatti vivi su Discord (speriamo prima o poi aprano il forum del progetto, che Discord non è il massimo per un progetto boinc).
Si scusano per la poca "interfaccia" con gli utenti e ringraziano per il supporto, ribadendo l'importanza che il progetto Boinc sta assumendo per le loro ricerche.

Thank you for writing to us on that, and we apologize for the delay in responding.
The truth is that our project is mostly run by students, and since it is now exam period (at the Technion), we are slower in responding.
We will do our best to take care of everything in a few weeks once the exams are over. In the meantime, we still work to try to help, even if at a slower pace.

Regarding the scientific value, the BOINC project already has major significance.
The vision for setting a BOINC project was first set in our paper in Nature [arxiv.org/abs/1907.00205, www.nature.com/articles/s41586-021-03229-4]. It is truly amazing how this accelerated the progress in finding new formulas for fundamental constants, compared to what we were able to do back then.
In the year that followed since that first publication, we discovered a new and better algorithm, whose mathematical basis is described in a recent paper [arxiv.org/abs/2111.04468]. The algorithm we all use in BOINC now is based on the new mathematics in this paper (specifically, the idea called "factorial reduction").

The results found by the community in BOINC are now being collected to a new publication. Like with all the previous findings, all the results will be shared online.
Since the paper is still under construction, we did not place it online yet, but we will share its current version with anyone who is interested (contact us by email if you like to see it).

We're looking forward for more feedback and interactions and we sincerely apologize for the delays.

Alcune novità lato scientifico del progetto:

Hi, those are great questions.
We are currently focusing on odd values of the Riemann zeta function. en.wikipedia.org/wiki/Riemann_zeta_function
The previous batch was meant to give us new insights for zeta(3), and we found several new and exciting continued fractions that are similar to other results we've had for zeta(3), but yet very different. Those results helped us get a deeper understanding of the underlaying mathematical structure we are studying.
The current batch is focused on zeta(5). The progress made with the previous batch helped us create this one, and focus the search. Not much is known for this constant, and this batch is very ambitious. We have a huge search space and the BOINC community is perhaps the only way we can make significant progress.
We haven't found a new result for this constant yet, BUT this is also important information. Ruling out areas of the search space is important to disprove hypotheses we have for his scheme. We now consider how we should modify the scheme we're using based on this knowledge.
We expect multiple discoveries. Our current hypostasis is that there are infinitely many continued fractions, but they are very rare. We aim to have enough results in order to find a pattern and eventually create a robust mathematical system that can give us all of those continued fractions.
After we make those discoveries we will move on to more constants. We've had our eyes on the Euiler-Mascheroni constant for a while, and it might be the next one.