E8: Est ce encore les Maths?

[kisito]

Salut à tous.

Des mathématiciens Americains et europeens ont decryptés le groupe de Lie E8, et cela a necessité un programme de..60Go. Alors lorsque je sais que ecrire un programme de 1Go sans Bugs est très difficiles, 60Go alors.. Je me demande si c tjrs les maths ça. Peuvent ils réellement démontrer un programme de 60Go? même s'il le demontre. qui pourra effectuer les contrôles de leur demonstration pour savoir si tout est correct?

[Dominique Lefebvre]

Salut à tous.

Des mathématiciens Americains et europeens ont decryptés le groupe de Lie E8, et cela a necessité un programme de..60Go. Alors lorsque je sais que ecrire un programme de 1Go sans Bugs est très difficiles, 60Go alors.. Je me demande si c tjrs les maths ça. Peuvent ils réellement démontrer un programme de 60Go? même s'il le demontre. qui pourra effectuer les contrôles de leur demonstration pour savoir si tout est correct?

Bonsoir,
Je crois que tu fais une petite (!) confusion. Ce n'est pas le programme qui fait 60 Go mais le résultat. En effet, le résultat est donné dans une matrice de 453 000 lignes et colonnes donc environ 205 263 363 600 éléments! C'est cette matrice qui "pèse" 60 Go.

Le calculateur sur lequel a été fait la démonstration comporte 200 Go de mémoire vive... Le calcul a duré 77 heures!

[kisito]

Bonsoir,
Je crois que tu fais une petite (!) confusion. Ce n'est pas le programme qui fait 60 Go mais le résultat. En effet, le résultat est donné dans une matrice de 453 000 lignes et colonnes donc environ 205 263 363 600 éléments! C'est cette matrice qui "pèse" 60 Go.

Le calculateur sur lequel a été fait la démonstration comporte 200 Go de mémoire vive... Le calcul a duré 77 heures!

Merci pour vos eclaircissements.
A la prochaine.