Fitting a logistic curve from early data is extremely difficult because small measurement errors cause huge errors in estimating the asymptotic value. When data points are all on one side of the inflection point, the curve approximates an exponential, making the limiting value estimate highly sensitive to tiny changes in the observed values.
MiTeX is a Rust-based WASM tool that converts LaTeX code into Typst, successfully processing 32.5k equations from OI Wiki. It offers superior performance (0.085s vs texmath's 109s) and smaller file size (185 KB vs 17 MB) while being easier to integrate as a single-line import into Typst projects.
A University of Colorado mathematician solved the mathematical model behind the Eiffel Tower's shape by studying Gustave Eiffel's historical writings about wind resistance. Patrick Weidman discovered that Eiffel designed the tower by balancing wind pressure with internal tension, using geometric principles rather than a single overarching equation.
A Hacker News discussion asking what tasks remain difficult despite AI advances, questioning the perception that AI is rapidly solving all major problems across mathematics, science, and engineering.
The article argues that math education should emphasize thinking and exploration, not just computational accuracy. Using efficient programs like Math Academy to master basics faster frees time for creative mathematical play, such as games that encourage multiple solutions and deeper engagement with mathematical concepts.
The author attended IMO 2025 on the Sunshine Coast as a problem selection committee member, discovering that the airport floor tiles coincidentally matched a pattern related to problem 6. The event involved shortlisting and coordination work, with an alumni reunion and distribution of historical mathematics publications, though media coverage focused on AI claims rather than student achievements.
Jean Leray invented sheaves while imprisoned during World War II, later developed by Grothendieck into a fundamental tool in modern algebraic geometry. Sheaves are mathematical structures that attach 'stalks' to underlying objects, allowing sections to be glued together seamlessly, with applications ranging from simple piecewise linear functions to complex algebraic systems.
Grant Sanderson argues that mathematics should elevate "motivated explanations"—work that clarifies intuitions and explains why theorems matter—alongside proof generation as a measure of mathematical contribution. He contends this shift would better reflect what mathematicians truly do and help outsiders understand their value beyond proof-generating machines.
A mathematical puzzle asks whether two arbitrarily shaped potatoes can each have a closed curve drawn on them that are identical as curves in 3D space. The post discusses how to formalize this puzzle mathematically, interpreting potatoes as compact surfaces and curves as embedded loops.
A mathematician's colleague posted an abstract for an upcoming talk online, only to have a student elsewhere use AI to derive proofs of the results and post them to arXiv before the original researcher could submit their work.
SAIR Foundation is launching an initiative to build open-weight AI models for mathematics and science, with community-driven development, open licensing, and researcher control over data and training. The foundation is accelerating its timeline and seeking partners to contribute funding, compute, and expertise to create tools that support mathematical research and education.
Muhammad ibn Musa al-Khwarizmi was a 9th-century Persian mathematician and director of the House of Wisdom in Baghdad who pioneered algebra and championed the Hindu numerical system. His work on algebraic methods, polynomial equations, and the systematization of quadratic equation solving became foundational to mathematics globally, with his name giving rise to the words 'algorithm' and 'algebra.' His contributions, spread through Latin translations in the 12th century, profoundly influenced both Islamic and European mathematics.
Mathematicians proved in 2025 that any sufficiently large graph can be sandwiched between two simpler graphs, a conjecture posed in 2004 that connects two different types of random graph structures. This breakthrough demonstrates that random binomial graphs and random regular graphs are related in a deeper way, allowing difficult properties of regular graphs to be proven through their simpler counterparts.
A programmer used Claude to help formalize a proof of Conway's refinement conjecture about surreal numbers, a mathematical system invented by John Conway. The proof was written in Lean and passed mechanical verification, though it remains unverified by professional mathematicians.
Mathematics and physics share an intimate relationship dating back to antiquity, with mathematics serving as an essential tool for physical inquiry and physics inspiring mathematical innovation. Key historical developments—from Aristotle's classifications through Newton's calculus to Einstein's use of Riemannian geometry—demonstrate their deep interdependence, though the fields have gradually become more independent since the nineteenth century.
A founder reflects on delegating coding tasks to AI agents and confronts the broader existential challenge: as artificial intelligence surpasses human capabilities across domains from mathematics to art, how do humans maintain meaning, identity, and economic viability in a world where our intellectual contributions become obsolete? The author expresses hope that advanced AI, built on human knowledge and values, might discover paths to genuine coexistence that humanity itself has failed to find.
Epilogue is a platform showcasing open and solved problems across mathematics, physics, and computer science to inspire future problem-solvers. It features celebrated challenges like the Riemann Hypothesis and P versus NP, alongside historically solved problems like Fermat's Last Theorem, aiming to keep people engaged with compelling questions that drive scientific progress.
LLVM-libc, developed at Google over five years, implements the C standard library with a focus on portability, modularity, and clean C++ code. The project's math functions achieve correct rounding across all rounding modes, ensuring consistency in production systems where heterogeneous distributed computing demands deterministic results. MSVC and other LLVM projects now integrate LLVM-libc's math library for compiler use and runtime execution.
Timothy Gowers, a Fields medalist, explains why he declined to sign a letter by 25 Fields medallists regarding a mathematical crisis. He agrees with concerns about the field but offers a different analysis, and clarifies his independence from OpenAI despite having access to their models.
A mathematical exploration of Mrs. Perkins' Quilt problem, which challenges quilters to divide a square into the minimum number of smaller integer-sided squares. The author investigates a new sequence measuring the minimum number of L-shaped seams required to construct optimal quilts for each square size, presenting data for n=1 to 17 and raising open questions about the pattern's properties and potential OEIS inclusion.