![](/_next/image?url=https%3A%2F%2Fstorage.googleapis.com%2Fmantic-markets.appspot.com%2Fcontract-images%2FArmandodiMatteo%2Fb31c46fc1ed5.jpg%3FGoogleAccessId%3Dmantic-markets%2540appspot.gserviceaccount.com%26Expires%3D16447017600%26Signature%3DBZP%252F9P7U9uXDPEZvIIpfDKnSg27LsyMCK9M%252FB8iNJX52BxZ0hQfMBI0LkNrhReHBMrjJv1XJEc58eEr3lwfQpKkmyP6L5pxTM5hHBq14xBSE77BgR4ncSmxAB1WcdoRsbCqHvFusgE3wys5%252BYE%252FkXrkNUsYm%252BCf0n3ddJJy96%252F1hzKcsA8pN0FZaQ8Im9sr2bAKmfLzm4gIWkOpfq65W4l72Hn8zTON30kX3sxN0hpq8dNL6ymM%252Fav1KXnuqHN800v0TjG265PvpyRGIgTEY04LgnJc%252BqCP8yAbyTL4b4Q5q2NUV7aSbeDYqYDxPt6t9ksRL0eYAXv4Dq12VoM%252FEHw%253D%253D&w=3840&q=75)
The Koide formula is (m_e + m_mu + m_tau)/(sqrt(m_e) + sqrt(m_mu) + sqrt(m_tau))^2 = 2/3, where m_e, m_mu and m_tau are the masses of the electron, the muon and of the tau lepton respectively. (This is halfway between the lowest and the highest possible value of (a+b+c)/(sqrt(a)+sqrt(b)+sqrt(c))^2, namely 1/3 and 1 respectively.) Using current values of the masses as of the latest Review of Particle Physics by the Particle Data Group (https://pdg.lbl.gov/2023/tables/rpp2023-sum-leptons.pdf), the left-hand side is 0.666 660 5 ± 0.000 006 7 (so, 0.9 standard deviations away from the Koide formula prediction).
Immediately resolves as NO if any future edition of the Review of Particle Physics before the market closing date lists a tau lepton mass more than 5 standard deviations away from the Koide formula prediction (namely 1776.969 MeV using current m_e and m_mu values, and unlikely to change enough to matter). Resolves as YES if the 2050 edition still lists a value within 2 standard deviations of the prediction. The closing date will be postponed if the 2050 RPP lists a value between 2 and 5 standard deviations of the prediction.
P.S.: I may resolve this YES early if some theory which predicts the Koide formula to be correct becomes such consensus among particle physicists that the RPP starts listing its prediction (or a weighted average including it, which would be pretty much the same) as the main value for the mass of the tau lepton.
It has always baffled me that particle physicists don’t talk about this more often. It would be an outrageous coincidence.