Explore >> Select a destination


You are here

rjlipton.com
| | junglyhh.wordpress.com
3.5 parsecs away

Travel
| | Richard Lipton has an article on mathematical disease. My own definition of mathematical disease is quite similar: it must be simple in form, easily explainable to a non-specialist in a few minutes. Moreover, there should be more than one person exclaiming "how can such a problem be open?". Here I also list some problems I...
| | geoenergymath.com
5.8 parsecs away

Travel
| | Watched the hokey movie Gifted on a plane ride. Turns out that the Millennium Prize for mathematically solving the Navier-Stokes problem plays into the plot. I am interested in variations of the Navier-Stokes equations that describe hydrodynamical flow on the surface of a sphere. The premise is that such a formulation can be used to...
| | mathscholar.org
5.2 parsecs away

Travel
| | [AI summary] The article discusses the evolution of mathematics, highlighting the role of technology and formalization in modern mathematical practices. It explores how collaborative projects using tools like Lean are changing the way mathematicians approach problem-solving, enabling the division of labor and making complex proofs more manageable. The text also touches on the potential future of mathematics with the integration of AI, suggesting that AI could assist in generating and formalizing proofs, leading to new roles within the mathematical community. The article emphasizes that while AI may not replace human mathematicians, it will transform the field by allowing for more efficient and collaborative research.
| | backstreetthunder.wordpress.com
9.8 parsecs away

Travel
| [AI summary] A blog post discussing street bike culture and related activities with a focus on speed and Flyer tags.