Tag
This article explains the rounding errors in decimal calculations with floating-point numbers in programming, using Python examples to illustrate the patterns that emerge from IEEE double-precision floats.
This article argues that the pretraining data is the primary reason why large language models excel in mathematics and coding, rather than verifiability.
A live experiment running the Qwen 3.8 27B model on an RTX 5090 to solve a covering design math problem, demonstrating the potential of open-source AI on consumer hardware for scientific innovation.
The article derives mathematical formulas for error distribution in consistent hashing systems, aiding in workload optimization across servers. It is a technical derivation that includes web assembly demos and references a Cloudflare blog post.
The tweet criticizes claims about AI extinction risk by urging people to demand mathematical justification, implying that unsupported percentages should be dismissed.
This paper proposes using register tokens in diffusion language models to maintain bounded-state reasoning across generation chunks, showing substantial gains on math and code benchmarks without full context retention.
ZGCM-1 is a fully open 7B LLM trained from scratch with FP8, MDP mid-training, and AI4AI, achieving performance comparable to Qwen3-235B on math and agentic search tasks.
This article explains Truncated SVD and its relation to PCA, demonstrating how it can be used to approximate images by reconstructing them with fewer singular values. It uses the example of a moon image to illustrate the reconstruction process.
OpenAI is nearing a solution to a millennium prize problem, but claims that recent codex usage by Levent/Buckmaster did not influence their model's output.
The tweet discusses the exciting potential of AI in advancing mathematics and scientific discovery, while emphasizing the need for humility and focus.
A writeup that explains the mathematics of reinforcement learning, deriving algorithms such as Policy Gradient, PPO, and GRPO, and discusses their relevance in aligning large language models through techniques like RLHF and RLVR.
Gauth AI Course is a product that turns any subject into interactive AI-driven courses, starting with 200+ math courses for US high school topics, featuring quizzes and the ability to generate custom courses.
An interactive visualization tool demonstrating how rotations can be constructed using double reflections, built while studying Geometric Algebra.
The article argues that using turns instead of radians in programming simplifies code and improves performance by avoiding unnecessary conversions in trigonometric function implementations.
freeCodeCamp has posted a new coding challenge on their mobile app, requiring users to calculate the sum of squares from 1 to a given integer.
A new 1.7B parameter model called Mimir claims to outperform Qwen 3.5 and Gemma 4 E2B on benchmarks, with strengths in math and coding, and is based on Sapient's HRM-text architecture.
Prof. Tom Yeh introduces his Substack newsletter 'AI by Hand,' focusing on math, algorithms, and architectures related to AI, with over 73,000 subscribers.
This paper proposes using Evolution Strategies (ES) instead of Reinforcement Learning for post-training LLMs, showing that ES improves solution coverage (pass@k) and achieves better results on math benchmarks.
Terry Tao's ICM 2026 lecture 'Mathematics in the Age of AI' has been posted to YouTube, exploring how AI, formal verification, and collaboration platforms are transforming mathematical practice while noting their current limitations.
A technical blog post explains how to perform integer division and remainder using floating-point division and fused multiply-add, with constraints on operand bit widths, and discusses practical considerations for SIMD and rounding modes.