The Mathematics Search Engine
Mathematics News & Resources
4Mathematics is a specialist search engine for Mathematics. Discover the latest math news and mathematical content. Part of the 4SEARCH network of topic specific search engines.
Latest News & Web Pages
Rerankers Aren't Magic Either: When the Cross-Encoder Layer Is Worth the Cost
2+ hour, 21+ min ago (1212+ words) Enterprise Document Intelligence [Vol. 1 #2bis] Why stacking a reranker on top of weak retrieval doesn't save it, what cross-encoders actually fix vs what they don't, and where the editorial position of the series lands. Same setup as the embeddings article. Two…...
Yann Le Cun's World Model Earns a Formal Proof: Benchmark Finds Current Models Brittle
1+ hour, 7+ min ago (272+ words) The timing places both papers in the same week that coverage of the identifiability result began circulating, making them the most significant research output from Le Cun's group since he founded AMI Labs in early 2026 " and the most substantive response…...
Another Gaussian approximation
4+ hour ago (115+ words) gives a fair approximation to the Gaussian density You can make the approximation much better by raising it to a power. The function gives a good lower bound and gives a good upper bound. More on that here. There are…...
Rethinking AI Architecture: A Measurement-Based Alternative to Learning
59+ min ago (940+ words) Every major AI system in production today works the same way. You take a dataset, compress it into a set of parameters, and deploy those parameters as a model. The data disappears. The model is all that'remains." This has been…...
Credit score models are undergoing a transformation: Subhankar Mishra
2+ hour, 7+ min ago (121+ words) Business Standard Credit score models are undergoing a transformation: Subhankar Mishra More frequent credit bureau updates are reshaping underwriting, helping lenders curb loan stacking and assess borrowers with greater precision One subscription. Two world-class reads. Already subscribed? Log in Renews…...
Visa Partners with Replit to Advance Enterprise AI Software Creation
1+ hour, 30+ min ago (205+ words) Visa Inc. has entered into a strategic partnership with Replit to scale the utilization of AI-driven software development across major corporate environments, as reported by Detik Finance. As part of this collaboration, the global payments technology company has made a…...
3 Reasons why AI solved a math problem humans could not for 80 years
1+ hour, 13+ min ago (289+ words) In very simple terms: Imagine you have a sheet of paper and place dots on it. Now look at every possible pair of dots and count how many pairs are exactly the same distance apart. For example, if four dots…...
Researchers had several AIs live in a simulated society for 15 days, and one ended up committing 180 crimes in just four days
1+ hour, 52+ min ago (310+ words) Researchers had several AIs live in a simulated society for 15 days, and one ended up committing 180 crimes in Diario AS Artificial intelligence has become the most debated technology in recent years. For many, it represents the present and future of…...
Notes on Federated Learning and Differential Privacy
1+ hour, 51+ min ago (379+ words) The data never moves. Instead of pooling everyone's data on one server, each client trains locally and sends model updates to a server that aggregates them. The canonical loop (Fed Avg) is: That's it. The elegance is that raw data…...
Notes on Serving LLMs with Tensor RT-LLM and Triton
1+ hour, 47+ min ago (655+ words) 2026-05-31 " LLM serving / NVIDIA stack These are working notes on taking an open-weights LLM from a Hugging Face checkpoint to a production-style serving endpoint on the NVIDIA stack " Tensor RT-LLM for the engine, Triton Inference Server for the deployment surface " and…...