mathematics

A tweet recommends the open-source book "Mathematical Foundations of Reinforcement Learning," which systematically explains RL theory through a single grid-world case study, making it accessible for beginners and AI developers.

Paul Graham shares DeepMind researcher Christian Szegedy's essay arguing that skeptics claiming AI cannot conjecture, theorize, or explain are already outdated, comparing the momentum to the Wright brothers' airplane.

In his JPBM Communications Prize lecture, 3Blue1Brown founder Grant Sanderson uses the metaphor of King Midas's touch to argue that mathematics's precision is both a gift and a "pedagogical curse" — it makes rigor easy to measure, yet makes teaching clarity hard to verify. He therefore advocates "raising the ceiling of mathematical exposition while lowering the floor."

A website collecting the best-known point configurations for the Heilbronn problem—maximizing the smallest triangle area among n points in unit-area regions (square, triangle, and optimal convex regions)—with exact coordinates, proofs, and an in-browser rational arithmetic verifier.

OpenAI 的 GPT-6.1 sol (max) 在 Epoch AI 的 FrontierMath Tier 4 v2 基准测试中取得 100% 的成绩，登上该基准的榜首。

A playful blog post explores how the classic Fibonacci L-system can generate sequences of weevil names, pizza toppings, and matriarchal family names, noting that Claude refused the 'too stupid' premise so the author did it manually.

Mathematician Terence Tao reflects on modern AI, arguing that current neural network systems feel like clever tricks rather than genuine intelligence, despite solving real problems, noting we still lack an elusive 'intelligent way of thinking' in tools that achieve our goals.

Claude reportedly solved an important mathematical problem, drawing attention from Scientific American. The achievement highlights advances in AI-driven mathematical reasoning.

Ten Sonnet 5.5 AI agents conducted 15 hours of autonomous research to solve a mathematical problem from 1904, producing a proof with 17,895 lines.

Mathigon 介绍一个关于数学折纸的互动学习页面，涵盖柏拉图立体、阿基米德立体等多面体主题，并链接到 Polypad 上的 3D 模型探索工具。

NeuralCert presents a discovery-to-certification framework using neural networks to find and verify extremal mathematical constructions, enabling exact and independently verifiable proofs.

OpenAI is facing criticism for its clumsy handling of mathematical breakthroughs and the formation of an advisory group, causing confusion and frustration among mathematicians.

OpenAI's AI agents have solved the Navier-Stokes existence and smoothness problem, a decades-old mathematical puzzle, challenging traditional artistic approaches to math problem-solving.

This paper proposes Domain-Normalized Multi-Teacher On-Policy Distillation (DN-MOPD) to address unbalanced feedback when merging specialist language models, showing performance improvements on benchmarks like mathematics and instruction-following.

The irrationality of ζ(5) has been proved using an AI-assisted method, and the solution is marked as solved on FrontierMath despite not following the Apéry-style proof as initially sought.

A memorandum between mathematician Hermann Weyl and educator Frank Aydelotte from 1945, likely discussing academic or scientific topics.

LANTERN is a fast pipeline that uses a classifier over pretrained language model activations to rank candidate mathematical relations, then filters, generates, and verifies hypotheses. Applied to OEIS, it found 62 verified relations, 9 informative ones, and 4 entirely novel mathematical connections, completing the whole process in under 8 hours.

Amit Sahai discusses the impact of AI on mathematics, emphasizing the need for more mathematicians to understand AI-generated ideas and collaborate with AI systems to maintain human agency in research.

This paper introduces a framework for LLMs to discover and prove interesting mathematical theorems by optimizing for a metric based on proof difficulty, leading to more novel and useful mathematical knowledge with reduced overlap with existing libraries.

The article delves into the controversial history of Tetris, covering copyright battles over its tetrominoes, their mathematical origins predating the game, and a recent political incident involving a clone removed after legal threats.