#gauss — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #gauss, aggregated by home.social.
-
"Gauss considérait les mathématiques, pour reprendre ses propres termes, comme la reine des sciences, et l'arithmétique comme la reine des mathématiques." – Wolfgang Sartorius von Waltershausen (1809–1876)
#citation #mathématiques #Gauss #maths #math -
"Gauss considérait les mathématiques, pour reprendre ses propres termes, comme la reine des sciences, et l'arithmétique comme la reine des mathématiques." – Wolfgang Sartorius von Waltershausen (1809–1876)
#citation #mathématiques #Gauss #maths #math -
"Gauss considérait les mathématiques, pour reprendre ses propres termes, comme la reine des sciences, et l'arithmétique comme la reine des mathématiques." – Wolfgang Sartorius von Waltershausen (1809–1876)
#citation #mathématiques #Gauss #maths #math -
"Gauss considérait les mathématiques, pour reprendre ses propres termes, comme la reine des sciences, et l'arithmétique comme la reine des mathématiques." – Wolfgang Sartorius von Waltershausen (1809–1876)
#citation #mathématiques #Gauss #maths #math -
"Gauss considérait les mathématiques, pour reprendre ses propres termes, comme la reine des sciences, et l'arithmétique comme la reine des mathématiques." – Wolfgang Sartorius von Waltershausen (1809–1876)
#citation #mathématiques #Gauss #maths #math -
7/
To signal our intelligence globally without words, 19th-century mathematician Carl Friedrich Gauss proposed a massive visual display. He suggested erecting a gigantic right triangle made of pine trees in the Siberian tundra, flanked by squares of wheat fields. An observer viewing this planetary-scale Pythagorean theorem would instantly know that humanity is mathematically fluent. -
7/
To signal our intelligence globally without words, 19th-century mathematician Carl Friedrich Gauss proposed a massive visual display. He suggested erecting a gigantic right triangle made of pine trees in the Siberian tundra, flanked by squares of wheat fields. An observer viewing this planetary-scale Pythagorean theorem would instantly know that humanity is mathematically fluent. -
7/
To signal our intelligence globally without words, 19th-century mathematician Carl Friedrich Gauss proposed a massive visual display. He suggested erecting a gigantic right triangle made of pine trees in the Siberian tundra, flanked by squares of wheat fields. An observer viewing this planetary-scale Pythagorean theorem would instantly know that humanity is mathematically fluent. -
7/
To signal our intelligence globally without words, 19th-century mathematician Carl Friedrich Gauss proposed a massive visual display. He suggested erecting a gigantic right triangle made of pine trees in the Siberian tundra, flanked by squares of wheat fields. An observer viewing this planetary-scale Pythagorean theorem would instantly know that humanity is mathematically fluent. -
7/
To signal our intelligence globally without words, 19th-century mathematician Carl Friedrich Gauss proposed a massive visual display. He suggested erecting a gigantic right triangle made of pine trees in the Siberian tundra, flanked by squares of wheat fields. An observer viewing this planetary-scale Pythagorean theorem would instantly know that humanity is mathematically fluent. -
Always striking to see how multi-faceted some of the great scientists of the past were ( #Gauss, #Faraday, #Maxwell, #Newton, #Somerville, #Lovelace etc.). The boundaries between disciplines were much more fluid back then, and the same person could contribute to multiple fields, even though they might be remembered for only one today.
#Neuroscience #Physics #ComputerScience #Mathematics #Biology #Astronomy #Geophysics #ScienceHistory
-
Always striking to see how multi-faceted some of the great scientists of the past were ( #Gauss, #Faraday, #Maxwell, #Newton, #Somerville, #Lovelace etc.). The boundaries between disciplines were much more fluid back then, and the same person could contribute to multiple fields, even though they might be remembered for only one today.
#Neuroscience #Physics #ComputerScience #Mathematics #Biology #Astronomy #Geophysics #ScienceHistory
-
Always striking to see how multi-faceted some of the great scientists of the past were ( #Gauss, #Faraday, #Maxwell, #Newton, #Somerville, #Lovelace etc.). The boundaries between disciplines were much more fluid back then, and the same person could contribute to multiple fields, even though they might be remembered for only one today.
#Neuroscience #Physics #ComputerScience #Mathematics #Biology #Astronomy #Geophysics #ScienceHistory
-
Always striking to see how multi-faceted some of the great scientists of the past were ( #Gauss, #Faraday, #Maxwell, #Newton, #Somerville, #Lovelace etc.). The boundaries between disciplines were much more fluid back then, and the same person could contribute to multiple fields, even though they might be remembered for only one today.
#Neuroscience #Physics #ComputerScience #Mathematics #Biology #Astronomy #Geophysics #ScienceHistory
-
Always striking to see how multi-faceted some of the great scientists of the past were ( #Gauss, #Faraday, #Maxwell, #Newton, #Somerville, #Lovelace etc.). The boundaries between disciplines were much more fluid back then, and the same person could contribute to multiple fields, even though they might be remembered for only one today.
#Neuroscience #Physics #ComputerScience #Mathematics #Biology #Astronomy #Geophysics #ScienceHistory
-
Os últimos dias foram cheios de #efemérides. Tivemos o aniversário de #Gauss no dia 30, o #workersday no dia primeiro, o #May4th no dia 4 e o #DiaNacionalDaMatemática no dia 6. Mas poucos lembraram que no dia 5 foi o aniversário de 55 anos do famoso circuito integrado 555!
https://www.heise.de/news/NE555-Der-unsterbliche-Timer-Chip-feiert-den-55-Geburtstag-11282093.html (link em alemão) -
Os últimos dias foram cheios de #efemérides. Tivemos o aniversário de #Gauss no dia 30, o #workersday no dia primeiro, o #May4th no dia 4 e o #DiaNacionalDaMatemática no dia 6. Mas poucos lembraram que no dia 5 foi o aniversário de 55 anos do famoso circuito integrado 555!
https://www.heise.de/news/NE555-Der-unsterbliche-Timer-Chip-feiert-den-55-Geburtstag-11282093.html (link em alemão) -
Os últimos dias foram cheios de #efemérides. Tivemos o aniversário de #Gauss no dia 30, o #workersday no dia primeiro, o #May4th no dia 4 e o #DiaNacionalDaMatemática no dia 6. Mas poucos lembraram que no dia 5 foi o aniversário de 55 anos do famoso circuito integrado 555!
https://www.heise.de/news/NE555-Der-unsterbliche-Timer-Chip-feiert-den-55-Geburtstag-11282093.html (link em alemão) -
Happy 249th Birthday, Carl Friedrich!
Nächstes Jahr dann die große Party!#gauss #braunschweig #PhysikEdu
https://de.wikipedia.org/wiki/Gau%C3%9F-Denkmal_(Braunschweig)
-
Happy 249th Birthday, Carl Friedrich!
Nächstes Jahr dann die große Party!#gauss #braunschweig #PhysikEdu
https://de.wikipedia.org/wiki/Gau%C3%9F-Denkmal_(Braunschweig)
-
Happy 249th Birthday, Carl Friedrich!
Nächstes Jahr dann die große Party!#gauss #braunschweig #PhysikEdu
https://de.wikipedia.org/wiki/Gau%C3%9F-Denkmal_(Braunschweig)
-
Happy 249th Birthday, Carl Friedrich!
Nächstes Jahr dann die große Party!#gauss #braunschweig #PhysikEdu
https://de.wikipedia.org/wiki/Gau%C3%9F-Denkmal_(Braunschweig)
-
Happy 249th Birthday, Carl Friedrich!
Nächstes Jahr dann die große Party!#gauss #braunschweig #PhysikEdu
https://de.wikipedia.org/wiki/Gau%C3%9F-Denkmal_(Braunschweig)
-
RE: https://mathstodon.xyz/@matematico314/116491733611723406
Galera, hoje é o aniversário de #Gauss!!! E uma data assim não pode passar em branco, certo? O que você fará para comemorar?
1) Vou construir um polígono regular de 17 lados usando apenas régua e compasso;
2) Farei, na minha adolescência, uma conjectura tão ousada e avançada a respeito da distribuição estatística dos números primos que não conseguirei prová-la mesmo adulto, deixando-a como um desafio para as próximas gerações;
3) Vou resolver um sistema linear de 15 variáveis na mão, por eliminação gaussiana;
4) Inventarei um tipo novo de geometria, mas não publicarei meus resultados para não me envolver em polêmicas;
5) Vou redescobrir um planeta anão perdido no céu noturno usando apenas cálculos manuais e um método de mínimos quadrados que acabei de inventar;
6) Somarei todos os números inteiros de 1 a 100 em cinco segundos, percebendo o padrão das somas antes que o professor termine de escrever o enunciado;
7) Calcularei o fluxo elétrico através de uma superfície fechada sem suar a camisa, apenas para provar que apenas a carga interna importa;
8) Adotarei o lema "Pauca sed matura" (Pouco, mas maduro) e me recusarei a enviar qualquer mensagem de texto até que cada vírgula esteja matematicamente perfeita;
9) Provarei o Teorema Fundamental da Álgebra de quatro maneiras diferentes, só para garantir que ninguém tenha dúvidas sobre a existência daquelas raízes.
10) Refatorarei um gerador de números aleatórios legado para utilizar std::normal_distribution da biblioteca <random>, garantindo uma saída perfeitamente gaussiana.
O que mais? Alguma outra sugestão de como comemorar uma data tão legal? rs
-
RE: https://mathstodon.xyz/@matematico314/116491733611723406
Galera, hoje é o aniversário de #Gauss!!! E uma data assim não pode passar em branco, certo? O que você fará para comemorar?
1) Vou construir um polígono regular de 17 lados usando apenas régua e compasso;
2) Farei, na minha adolescência, uma conjectura tão ousada e avançada a respeito da distribuição estatística dos números primos que não conseguirei prová-la mesmo adulto, deixando-a como um desafio para as próximas gerações;
3) Vou resolver um sistema linear de 15 variáveis na mão, por eliminação gaussiana;
4) Inventarei um tipo novo de geometria, mas não publicarei meus resultados para não me envolver em polêmicas;
5) Vou redescobrir um planeta anão perdido no céu noturno usando apenas cálculos manuais e um método de mínimos quadrados que acabei de inventar;
6) Somarei todos os números inteiros de 1 a 100 em cinco segundos, percebendo o padrão das somas antes que o professor termine de escrever o enunciado;
7) Calcularei o fluxo elétrico através de uma superfície fechada sem suar a camisa, apenas para provar que apenas a carga interna importa;
8) Adotarei o lema "Pauca sed matura" (Pouco, mas maduro) e me recusarei a enviar qualquer mensagem de texto até que cada vírgula esteja matematicamente perfeita;
9) Provarei o Teorema Fundamental da Álgebra de quatro maneiras diferentes, só para garantir que ninguém tenha dúvidas sobre a existência daquelas raízes.
10) Refatorarei um gerador de números aleatórios legado para utilizar std::normal_distribution da biblioteca <random>, garantindo uma saída perfeitamente gaussiana.
O que mais? Alguma outra sugestão de como comemorar uma data tão legal? rs
-
RE: https://mathstodon.xyz/@matematico314/116491733611723406
Galera, hoje é o aniversário de #Gauss!!! E uma data assim não pode passar em branco, certo? O que você fará para comemorar?
1) Vou construir um polígono regular de 17 lados usando apenas régua e compasso;
2) Farei, na minha adolescência, uma conjectura tão ousada e avançada a respeito da distribuição estatística dos números primos que não conseguirei prová-la mesmo adulto, deixando-a como um desafio para as próximas gerações;
3) Vou resolver um sistema linear de 15 variáveis na mão, por eliminação gaussiana;
4) Inventarei um tipo novo de geometria, mas não publicarei meus resultados para não me envolver em polêmicas;
5) Vou redescobrir um planeta anão perdido no céu noturno usando apenas cálculos manuais e um método de mínimos quadrados que acabei de inventar;
6) Somarei todos os números inteiros de 1 a 100 em cinco segundos, percebendo o padrão das somas antes que o professor termine de escrever o enunciado;
7) Calcularei o fluxo elétrico através de uma superfície fechada sem suar a camisa, apenas para provar que apenas a carga interna importa;
8) Adotarei o lema "Pauca sed matura" (Pouco, mas maduro) e me recusarei a enviar qualquer mensagem de texto até que cada vírgula esteja matematicamente perfeita;
9) Provarei o Teorema Fundamental da Álgebra de quatro maneiras diferentes, só para garantir que ninguém tenha dúvidas sobre a existência daquelas raízes.
10) Refatorarei um gerador de números aleatórios legado para utilizar std::normal_distribution da biblioteca <random>, garantindo uma saída perfeitamente gaussiana.
O que mais? Alguma outra sugestão de como comemorar uma data tão legal? rs
-
RE: https://mathstodon.xyz/@matematico314/116491733611723406
Galera, hoje é o aniversário de #Gauss!!! E uma data assim não pode passar em branco, certo? O que você fará para comemorar?
1) Vou construir um polígono regular de 17 lados usando apenas régua e compasso;
2) Farei, na minha adolescência, uma conjectura tão ousada e avançada a respeito da distribuição estatística dos números primos que não conseguirei prová-la mesmo adulto, deixando-a como um desafio para as próximas gerações;
3) Vou resolver um sistema linear de 15 variáveis na mão, por eliminação gaussiana;
4) Inventarei um tipo novo de geometria, mas não publicarei meus resultados para não me envolver em polêmicas;
5) Vou redescobrir um planeta anão perdido no céu noturno usando apenas cálculos manuais e um método de mínimos quadrados que acabei de inventar;
6) Somarei todos os números inteiros de 1 a 100 em cinco segundos, percebendo o padrão das somas antes que o professor termine de escrever o enunciado;
7) Calcularei o fluxo elétrico através de uma superfície fechada sem suar a camisa, apenas para provar que apenas a carga interna importa;
8) Adotarei o lema "Pauca sed matura" (Pouco, mas maduro) e me recusarei a enviar qualquer mensagem de texto até que cada vírgula esteja matematicamente perfeita;
9) Provarei o Teorema Fundamental da Álgebra de quatro maneiras diferentes, só para garantir que ninguém tenha dúvidas sobre a existência daquelas raízes.
10) Refatorarei um gerador de números aleatórios legado para utilizar std::normal_distribution da biblioteca <random>, garantindo uma saída perfeitamente gaussiana.
O que mais? Alguma outra sugestão de como comemorar uma data tão legal? rs
-
RE: https://mathstodon.xyz/@matematico314/116491733611723406
Galera, hoje é o aniversário de #Gauss!!! E uma data assim não pode passar em branco, certo? O que você fará para comemorar?
1) Vou construir um polígono regular de 17 lados usando apenas régua e compasso;
2) Farei, na minha adolescência, uma conjectura tão ousada e avançada a respeito da distribuição estatística dos números primos que não conseguirei prová-la mesmo adulto, deixando-a como um desafio para as próximas gerações;
3) Vou resolver um sistema linear de 15 variáveis na mão, por eliminação gaussiana;
4) Inventarei um tipo novo de geometria, mas não publicarei meus resultados para não me envolver em polêmicas;
5) Vou redescobrir um planeta anão perdido no céu noturno usando apenas cálculos manuais e um método de mínimos quadrados que acabei de inventar;
6) Somarei todos os números inteiros de 1 a 100 em cinco segundos, percebendo o padrão das somas antes que o professor termine de escrever o enunciado;
7) Calcularei o fluxo elétrico através de uma superfície fechada sem suar a camisa, apenas para provar que apenas a carga interna importa;
8) Adotarei o lema "Pauca sed matura" (Pouco, mas maduro) e me recusarei a enviar qualquer mensagem de texto até que cada vírgula esteja matematicamente perfeita;
9) Provarei o Teorema Fundamental da Álgebra de quatro maneiras diferentes, só para garantir que ninguém tenha dúvidas sobre a existência daquelas raízes.
10) Refatorarei um gerador de números aleatórios legado para utilizar std::normal_distribution da biblioteca <random>, garantindo uma saída perfeitamente gaussiana.
O que mais? Alguma outra sugestão de como comemorar uma data tão legal? rs
-
Today is #Gauss birthday. LET'S PARTY!!!!! How are you going to celebrate it?!
1) I will construct a regular 17-sided polygon using only a compass and straightedge;
2) I will make, in my adolescence, a conjecture about the statistical distribution of prime numbers so bold and advanced that I will be unable to prove it even as an adult, leaving it as a challenge for future generations;
3) I will solve a linear system of 15 variables by hand, using Gaussian elimination;
4) I will invent a new type of geometry but will not publish my results to avoid getting involved in controversies;
5) I will rediscover a lost dwarf planet in the night sky using only manual calculations and a method of least squares I just finished inventing;
6) I will sum all the integers from 1 to 100 in five seconds, identifying the pattern of the sums before the teacher even finishes writing the prompt;
7) I will calculate the electric flux through a closed surface without breaking a sweat, just to prove that only the enclosed charge matters;
8) I will adopt the motto "Pauca sed matura" (Few, but ripe) and refuse to send any text messages until every single comma is mathematically perfect.
9) I will prove the Fundamental Theorem of Algebra in four different ways, just to ensure that no one has any doubts about the existence of those roots.
10) I will refactor a legacy random number generator to use std::normal_distribution from the <random> library, ensuring a perfectly Gaussian output.
Any other idea? What else could be added to this list?!
-
Today is #Gauss birthday. LET'S PARTY!!!!! How are you going to celebrate it?!
1) I will construct a regular 17-sided polygon using only a compass and straightedge;
2) I will make, in my adolescence, a conjecture about the statistical distribution of prime numbers so bold and advanced that I will be unable to prove it even as an adult, leaving it as a challenge for future generations;
3) I will solve a linear system of 15 variables by hand, using Gaussian elimination;
4) I will invent a new type of geometry but will not publish my results to avoid getting involved in controversies;
5) I will rediscover a lost dwarf planet in the night sky using only manual calculations and a method of least squares I just finished inventing;
6) I will sum all the integers from 1 to 100 in five seconds, identifying the pattern of the sums before the teacher even finishes writing the prompt;
7) I will calculate the electric flux through a closed surface without breaking a sweat, just to prove that only the enclosed charge matters;
8) I will adopt the motto "Pauca sed matura" (Few, but ripe) and refuse to send any text messages until every single comma is mathematically perfect.
9) I will prove the Fundamental Theorem of Algebra in four different ways, just to ensure that no one has any doubts about the existence of those roots.
10) I will refactor a legacy random number generator to use std::normal_distribution from the <random> library, ensuring a perfectly Gaussian output.
Any other idea? What else could be added to this list?!
-
Today is #Gauss birthday. LET'S PARTY!!!!! How are you going to celebrate it?!
1) I will construct a regular 17-sided polygon using only a compass and straightedge;
2) I will make, in my adolescence, a conjecture about the statistical distribution of prime numbers so bold and advanced that I will be unable to prove it even as an adult, leaving it as a challenge for future generations;
3) I will solve a linear system of 15 variables by hand, using Gaussian elimination;
4) I will invent a new type of geometry but will not publish my results to avoid getting involved in controversies;
5) I will rediscover a lost dwarf planet in the night sky using only manual calculations and a method of least squares I just finished inventing;
6) I will sum all the integers from 1 to 100 in five seconds, identifying the pattern of the sums before the teacher even finishes writing the prompt;
7) I will calculate the electric flux through a closed surface without breaking a sweat, just to prove that only the enclosed charge matters;
8) I will adopt the motto "Pauca sed matura" (Few, but ripe) and refuse to send any text messages until every single comma is mathematically perfect.
9) I will prove the Fundamental Theorem of Algebra in four different ways, just to ensure that no one has any doubts about the existence of those roots.
10) I will refactor a legacy random number generator to use std::normal_distribution from the <random> library, ensuring a perfectly Gaussian output.
Any other idea? What else could be added to this list?!
-
Today is #Gauss birthday. LET'S PARTY!!!!! How are you going to celebrate it?!
1) I will construct a regular 17-sided polygon using only a compass and straightedge;
2) I will make, in my adolescence, a conjecture about the statistical distribution of prime numbers so bold and advanced that I will be unable to prove it even as an adult, leaving it as a challenge for future generations;
3) I will solve a linear system of 15 variables by hand, using Gaussian elimination;
4) I will invent a new type of geometry but will not publish my results to avoid getting involved in controversies;
5) I will rediscover a lost dwarf planet in the night sky using only manual calculations and a method of least squares I just finished inventing;
6) I will sum all the integers from 1 to 100 in five seconds, identifying the pattern of the sums before the teacher even finishes writing the prompt;
7) I will calculate the electric flux through a closed surface without breaking a sweat, just to prove that only the enclosed charge matters;
8) I will adopt the motto "Pauca sed matura" (Few, but ripe) and refuse to send any text messages until every single comma is mathematically perfect.
9) I will prove the Fundamental Theorem of Algebra in four different ways, just to ensure that no one has any doubts about the existence of those roots.
10) I will refactor a legacy random number generator to use std::normal_distribution from the <random> library, ensuring a perfectly Gaussian output.
Any other idea? What else could be added to this list?!
-
Today is #Gauss birthday. LET'S PARTY!!!!! How are you going to celebrate it?!
1) I will construct a regular 17-sided polygon using only a compass and straightedge;
2) I will make, in my adolescence, a conjecture about the statistical distribution of prime numbers so bold and advanced that I will be unable to prove it even as an adult, leaving it as a challenge for future generations;
3) I will solve a linear system of 15 variables by hand, using Gaussian elimination;
4) I will invent a new type of geometry but will not publish my results to avoid getting involved in controversies;
5) I will rediscover a lost dwarf planet in the night sky using only manual calculations and a method of least squares I just finished inventing;
6) I will sum all the integers from 1 to 100 in five seconds, identifying the pattern of the sums before the teacher even finishes writing the prompt;
7) I will calculate the electric flux through a closed surface without breaking a sweat, just to prove that only the enclosed charge matters;
8) I will adopt the motto "Pauca sed matura" (Few, but ripe) and refuse to send any text messages until every single comma is mathematically perfect.
9) I will prove the Fundamental Theorem of Algebra in four different ways, just to ensure that no one has any doubts about the existence of those roots.
10) I will refactor a legacy random number generator to use std::normal_distribution from the <random> library, ensuring a perfectly Gaussian output.
Any other idea? What else could be added to this list?!
-
Rocket Lab (RKLB) Is Up 6.5% After Unveiling High‑Volume Gauss Propulsion Line For Satellite Constellations
Rocket Lab Corporation recently introduced Gauss, an in‑house electric Hall thruster system built on a high‑volume line capable…
#NewsBeep #News #Space #AU #Australia #Gauss #propulsionunits #riskandreward #RocketLab #Science
https://www.newsbeep.com/au/612210/ -
Rocket Lab (RKLB) Is Up 6.5% After Unveiling High‑Volume Gauss Propulsion Line For Satellite Constellations
Rocket Lab Corporation recently introduced Gauss, an in‑house electric Hall thruster system built on a high‑volume line capable…
#NewsBeep #News #Space #AU #Australia #Gauss #propulsionunits #riskandreward #RocketLab #Science
https://www.newsbeep.com/au/612210/ -
https://www.europesays.com/ie/439352/ Rocket Lab (RKLB) Is Up 6.5% After Unveiling High‑Volume Gauss Propulsion Line For Satellite Constellations #Éire #Gauss #IE #Ireland #PropulsionUnits #RiskAndReward #RocketLab #Science #Space
-
Rocket Lab’s Gauss Thruster Launch Adds New Angle To RKLB Story
Make better investment decisions with Simply Wall St’s easy, visual tools that give you a competitive edge. Rocket…
#NewsBeep #News #Space #AU #Australia #electricpropulsion #Gauss #RocketLab #satelliteoperators #Science #spacesystems
https://www.newsbeep.com/au/608447/ -
Rocket Lab’s Gauss Thruster Launch Adds New Angle To RKLB Story
Make better investment decisions with Simply Wall St’s easy, visual tools that give you a competitive edge. Rocket…
#NewsBeep #News #Space #AU #Australia #electricpropulsion #Gauss #RocketLab #satelliteoperators #Science #spacesystems
https://www.newsbeep.com/au/608447/ -
https://www.europesays.com/ie/436221/ Rocket Lab’s Gauss Thruster Launch Adds New Angle To RKLB Story #Éire #ElectricPropulsion #Gauss #IE #Ireland #RocketLab #SatelliteOperators #Science #Space #SpaceSystems
-
Cause of death: science
-
Cause of death: science
-
Cause of death: science
-
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/
-
Friedrich Schiller's (1759–1805) poem ‘Archimedes and the Student’ (see 1st attached image for typeset text):
To Archimedes came an inquisitive youth
“Initiate me,” he said to him, “into the divine science,
That bore such splendid fruit for the nation
And shielded the walls of the city from the sambuca!”
“Divine you call the science? It is,” replied the sage,
“But it was so, my son, even before it served the state.
If you want only fruit from her, even mortals can provide it;
Who courts the goddess, seeks not in her the woman.”(The sambuca was a ship-mounted siege engine; see 2nd attached image. During the Roman siege of Syracuse, it failed in the face of the war-machines designed by Archimedes.)
In 1808, Carl Friedrich Gauss (1777–1855) became director of the observatory at Göttingen and in his inaugural lecture declared that mathematics in general and astronomy in particular had a value — at least in part aesthetic — that was prior to and independent of any utility:
‘The happy great minds who created and expanded astronomy as well as the other beautiful parts of mathematics were certainly not inspired by the prospect of future use: they searched the truth for its own sake and found in the very success of their efforts their reward and their happiness. I cannot avoid at this point reminding you of ARCHIMEDES […]. You must all know the beautiful poem by SCHILLER.’
1/3
[Each day of February, I am posting a short interesting story/image/fact/anecdote related to the aesthetics of mathematics.]
