AI Briefing#mathematics
The latest AI and developer news about #mathematics, with the original source and a short summary.
The latest AI and developer news about #mathematics, with the original source and a short summary.
OpenAI's model succeeded in disproving the discrete geometry conjecture, one of the existing unsolved problems in mathematics.
Over 150 mathematicians worldwide have warned that AI's capabilities are being exaggerated, urging governments to take a cautious approach.
The Leiden Declaration has been released, setting out reliability and ethical guidelines for the use of AI in mathematical research.
49 mathematicians built a dataset containing research-level math problems and their correct answers.
It explores the internal mechanisms by which LLMs perform arithmetic through matrix and vector operations without physical tools.
The International Mathematical Union (IMU)-endorsed 'Leiden Declaration' urges action to address the threats AI poses to mathematical research.
Anthropic's Claude Mythos discovered a new proof for an Erdős math problem.
AI solved a major unsolved problem in mathematics, demonstrating its research capabilities.
An OpenAI model disproved an 80-year-old conjecture in discrete geometry.
An OpenAI model solved an 80-year-old unit distance problem, disproving a major conjecture in discrete geometry.
An OpenAI model disproved a major conjecture in discrete geometry through advanced mathematical reasoning.
ChatGPT 5.5 Pro's mathematical capability has improved to the point of performing PhD-level mathematical research without human intervention.
AI is shaking up theorem production, but the core of mathematics is still understanding.
It presents a way to construct elementary functions and constants using just one EML.
OpenAI's internal model solved three problems posed by mathematician Erdős and published a new paper.
ChatGPT has launched an interactive visualization feature that lets users learn math and science concepts by manipulating them in real time.
Mathematician Ernest Ryu successfully used GPT-5 to solve a 40-year-old problem in optimization theory.
Qwen Team has released **QwQ-32B-Preview**, an experimental model with enhanced deep reasoning capabilities in mathematics and coding.
Qwen has open-sourced the Qwen2.5-Math series, which supports CoT and TIR to enhance mathematical problem-solving ability.
Qwen has released Qwen2-Math, a series of math-specialized LLMs that maximize mathematical problem-solving ability.
Mistral AI has unveiled **Mathstral**, a STEM-specialized model designed for complex mathematical reasoning.
The NuminaMath 7B TIR model won the first AI Math Olympiad (AIMO) competition.
Implements an interactive web animation of snow accumulating on specific objects using ray casting and orthographic projection techniques.
Introduces how to implement interactive web animations without libraries by leveraging principles of mathematics and physics.