Top Tweets for #HadwigerNelson
Not yet peer-reviewed. The note (6 pages, papers/ruler-compass) and the Lean proof are public on GitHub: decalion89/chromatic-number-of-the-plane
#Mathematics #Lean4 #HadwigerNelson
5/5 Not yet peer-reviewed. The paper (4 pages, papers/unit-distance-density-3d), the certificate, both checkers and the tests are public on GitHub: decalion89/chromatic-number-of-the-plane
#Combinatorics #DiscreteGeometry #Mathematics #HadwigerNelson
In space the answer is smaller. We have just proved at most 0.15159 in ℝ³ (the bound before was 0.1533, from 2022).
Papers, certificates and checkers, all public on GitHub: decalion89/chromatic-number-of-the-plane
#Mathematics #HadwigerNelson #Geometry
7/7 Paper (18 pages, PDF and LaTeX), certificates, both checkers and tests:
https://t.co/jljPCoNJfn
PDF: https://t.co/NdFj44Cut0
#HadwigerNelson #ChromaticNumber #Combinatorics #DiscreteGeometry #Mathematics
6/6 Paper (5 pages, PDF and LaTeX), certificates, checkers and tests:
https://t.co/jljPCoNJfn
PDF: https://t.co/HyK7nFGJNW
#HadwigerNelson #Erdos #Combinatorics #DiscreteGeometry #Mathematics
It builds on the recent proof that the plane itself needs 6 colours. Every bound comes with an exact certificate, checked by independent programs. Not yet peer-reviewed: checks and criticism are welcome.
https://t.co/jljPCoNJfn
#HadwigerNelson #Combinatorics
«Un aficionado hace el primer avance de los últimos 60 años en un famoso problema de combinatoria» via @el_pais https://t.co/LJLjz6Eu8f #HadwigerNelson
Por si andaban con el pendiente, resulta que el número cromático del plano es 5, 6 o 7. #HadwigerNelson
Contexto: https://t.co/Fx0p2pGUR3 (Science), https://t.co/aCZXaRrBfQ (Wikipedia)
Actualización: https://t.co/GU3ETtUO7K (Gil Kalai)
Detalles: https://t.co/UN1999PpcX (arXiv)
Last Seen Hashtags on Sotwe
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
241.5M followers
Barack Obama
@barackobama
118.9M followers
Cristiano Ronaldo
@cristiano
114.6M followers
Donald J. Trump
@realdonaldtrump
111.8M followers
Narendra Modi
@narendramodi
107.1M followers
Rihanna
@rihanna
98.7M followers
NASA
@nasa
92.3M followers
Justin Bieber
@justinbieber
91.8M followers
KATY PERRY
@katyperry
90.1M followers
Taylor Swift
@taylorswift13
84M followers
Lady Gaga
@ladygaga
75.5M followers
Virat Kohli
@imvkohli
73.5M followers
Kim Kardashian
@kimkardashian
70.9M followers
YouTube
@youtube
68.8M followers
Neymar Jr
@neymarjr
66.5M followers
Bill Gates
@billgates
65.3M followers
Selena Gomez
@selenagomez
63.1M followers
The Ellen Show
@theellenshow
62.2M followers
CNN
@cnn
61.8M followers
X
@x
60.7M followers