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.
In Tokyo Medical University's mathematics exam, a little extra effort before you start calculating is important. Cutting spatial figures with a plane. Adjusting the number of digits to the range of integers. Finding the input for the original function from…
Bring RFD4-Proteina, co-developed by the University of Washington Institute for Protein Design and NVIDIA, with research data, AI-assisted development and serverless GPU compute on Databricks. by Srijit Chandrashekhar Nair, Mark Lee, Mayank Tahilramani (NVIDIA), Joel Caruso (NVIDIA) and Ian Kerman…
When people talked about AI, the focus in most places was on things like model quality, speed, context window. As of today, the topics being discussed have changed a bit. Now these are the questions being asked more often: What…
Conventional LLMs generate their chain-of-thought through a sequence of autoregressive text tokens ("verbal CoT"). In contrast, latent reasoning models use a sequence of vectors, which can amount to a reserved vocabulary, or consist in entirely opaque vectors (see Zhu et…
Results from evaluating Google's TimesFM 3.0 on real market data. Everything strictly causal, everything session confined. 1. Direct forecasting. 2,674 anchors, 36-bar horizon. Price: 7.4% worse than naive, 50.0% direction. Order flow: 7.4% worse than naive, 54.4% direction. 2. Coarser bars. 1-minute bars, 36-minute horizon. Price 5.4% worse at…
The easiest way to publish a false positive in time-series work, with a worked example from my own project. The result that looked publishable A walk-forward test, 913 causal anchors, direction accuracy at a 30-minute horizon. Benchmark note that matters: the…
Most people pick one model and ask it to do everything. We stopped doing that months ago, mostly because it kept running out. Our subscriptions hit their limits, and the one model doing everything also checked its own work, which…
I spent weeks tuning a local OCR pipeline. Downscaling, adaptive thresholding, per-word confidence filtering, all of it. Everything interesting in the project falls out of that one decision. Refusing to answer is a feature. If handwriting cannot be read with…
There is now a public catalogue of x402-payable HTTP endpoints at facilitator.payai.network/discovery/resources. If you are building an agent that pays for API calls, that catalogue is how your agent finds sellers. So we asked a simple…
The US Food and Drug Administration (FDA) distinguishes real-world data (RWD), which relates to patients’ health status and healthcare delivery, from real-world evidence (RWE), the clinical evidence generated through analysis of those data. According to the FDA’s Real-World Evidence program,…