Explore >> Select a destination
|
You are here 
|
thatsmaths.com | ||
| | | | |
njwildberger.com
|
|
| | | | | There are several approaches to the modern theory of "real numbers". Unfortunately, none of them makes complete sense. One hundred years ago, there was vigorous discussion about the ambiguities with them and Cantor's theory of "infinite sets". As time went by, the debate subsided but the difficulties didn't really go away. A largely unquestioning uniformity... | |
| | | | |
gilkalai.wordpress.com
|
|
| | | | | Gowers, Green, Manners and Tao. They reminded me of the A-team of the 1980s television series: "If you have a problem, if no one else can help, and if you can find them, maybe you can hire... the A-Team." A conjecture of Marton, widely known as "the polynomial Freiman-Ruzsa conjecture" was certainly a holy grail | |
| | | | |
terrytao.wordpress.com
|
|
| | | | | Don't just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical sp... | |
| | | | |
mathscholar.org
|
|
| | | [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. | ||
