Mathematical coverage.

ProofCouncil: An LLM Agent for Solving Open Mathematical Problems

arXiv:2607.09474v1 Announce Type: new Abstract: Large language models (LLMs) have shown increasing promise in solving open problems in mathematics. However, their performance can b…

Fontastic Space – Find Mathematically Optimal Font Pairings

Compare Google Fonts with anatomy overlays, metrics & pairing scores. Free.…

Implicit.js, a way to program 3D models with mathematical functions

model 3d objects with math…

GTBench: A Curriculum-Grounded Benchmark for Evaluating LLMs as Mathematical Research Assistants in Graph Theory

Large language models (LLMs) are increasingly used as self-study assistants in technical disciplines, yet their reliability as mathematical reasoning assistants remains poorly unde…

TIL for the last few decades a former Cold War spy and mathematical savant has been card-counting at casinos to fund his creation of complex calendrical puzzle-paintings targeted towards a future audience of hyper-intelligent robots

Mathematical biology

How We Built a Node.js Scaffolding Engine with Over 1 Million Mathematically Verified Architecture States

The Scaffolding Fatigue Setting up an Enterprise-grade Node.js project from scratch is...…

UPDATE: "Gentle Coding" is mathematically proven. 1,500+ test runs show major gain for Kimi K2.6 and even more for GLM-5.1! GPT 5.4/5.5 and Claude Sonnet 3.5/Opus 4.6 also better, with ZERO REGRESSION ACROSS THE BOARD.

Constraint acquisition needs better benchmarks

Constraint Acquisition (CA) and related research on the validation and enhancement of Mathematical Programming (MP) models from domain knowledge artifacts are currently limited by …

OpenAI admits AI hallucinations are mathematically inevitable (Sept. 2025)

In a landmark study, OpenAI researchers reveal that large language models will always produce plausible but false outputs, even with perfect data, due to fundamental statistical an…

The most enjoyable and useful Mathematical books of all time

During the years, I developed a routine of reading a lot of books (especially books about...…

Machine Psychometrics: A Mathematical Psychology of Artificial Intelligence

Artificial agents now generate behavior rich enough to invite trust, surprise, and concern, yet our evaluation tools still privilege capability scores over psychological structure.…

Lattice theory and algebraic models for deep convolutional learning based on mathematical morphology

We develop a rigorous algebraic framework for deep convolutional architectures, CNNs, ResNets, and encoder--decoder networks such as UNet, grounded in lattice theory and mathematic…

New mathematical model predicts global population crash by 2064

New mathematical model predicts global population crash by 2064

General intelligence and a strong work ethic are the best predictors of college grades. Contrary to expectations, mathematical knowledge did not improve predictions above these two factors.

It’s the Great Fear of Our Time. I’m Mathematically Sure It Won’t Happen.

Let the movies explain.…

RMA: an Agentic System for Research-Level Mathematical Problems

We present $\textbf{Research Math Agents (RMA)}$, an agentic framework for automated reasoning on research-level mathematical problems. Unlike prior studies centered on competition…

A mathematical theory of balancing relational generalization and memorization

Humans, animals, and modern machine learning models exhibit impressive abilities to learn complex behaviors and generalize these behaviors to unseen situations. This ability requir…

I copy-pasted a problem asking to "sketch" a function. Opus 4.7 took "sketch" way too literally, and instead of mathematically plotting, it tried doing something by "connecting various points".

ELI5: How do scientists explain things like consciousness, the origin of life, and why the universe follows consistent mathematical laws that allow stars, chemistry, planets, and life to exist?

How to Mathematically Choose the Optimal Bins for Your Histogram

Optimal Resolution in Histograms: A Rigorous Bayesian Approach to Density Fitting…

Mathematical Functions in CSS: clamp, min, max and How They Simplify Responsiveness

The Math Cure for Your Layout Headaches Grab a cup of coffee and let's have a real talk about...…

OpenAI Claims General-Purpose AI Solved an 80-Year Mathematical Problem - MIT Sloan Management Review Middle East

Comprehensive up-to-date news coverage, aggregated from sources all over the world by Google News.…

What Really Improves Mathematical Reasoning: Structured Reasoning Signals Beyond Pure Code

Code has become a standard component of modern foundation language model (LM) training, yet its role beyond programming remains unclear. We revisit the claim that code improves rea…

I spent the weekend analyzing Bitcoin FIRE models. Your static $1M net worth target is mathematically guaranteed to fail.

LinAlg-Bench: A Forensic Benchmark Revealing Structural Failure Modes in LLM Mathematical Reasoning

We introduce LinAlg-Bench, a diagnostic benchmark evaluating 10 frontier large language models on structured linear algebra computation across a strict dimensional gradient of 3x3,…

An Overview of the Mathematical Theory of Communication for Philosophers [pdf]

Algorithmic Challenge: How do we mathematically audit semantic authority in LLMs? (Open-sourcing LSW)

Hey devs, we've been running into an algorithmic challenge lately: when modern LLM search engines...…