Miscellany

• At Grand Canyon in 2015. (Photo by Ben Do)
  
  
• My Erdős number is 4.
  
  
• QuantamaGazine
  
  
• Timeline of Mathematics (By Mathigon)
  
  
• Collection of equivalent forms of Riemann Hypothesis and Consequences of the Riemann hypothesis (c.f. MathOverflow)
  
  
• A Beautiful Group, $\mathrm{SL}_2(\mathbb{Z})$ (By Roy Williams)
  
  
• Proofs of the Quadratic Reciprocity Law (There are 344 proofs of the Quadratic Reciprocity Law or its generalizations, up to Dec. 6, 2023.)
  
  
• Fermat factoring status (Compiled by Wilfrid Keller)
  
  
• List of Known Mersenne Prime Numbers (GIMPS--Great Internet Mersenne Prime Search)
  
  
• Erdős Problems (There are 497 problems in the database of which 114 have been solved, up to Dec. 6, 2023.)
  
  
• Famous theorems proven in Coq (This is an appendix to Freek Wiedijk's webpage on the "top 100" mathematical theorems.)
  
  
• AIM workshop problem lists