» Tag
mathematics
10 postsMaith: A Disciplined Framework for AI-Assisted Math Research
Maith is an open-source workspace enforcing rigorous proof standards when using AI to explore unsolved math problems like Riemann and P vs NP.
AI-Assisted Vacation Project Cracks Open 2008 Quantum Physics Puzzle
An engineer used Claude AI on vacation to solve two open corners of a 2008 quantum mechanics constraint problem, verified via exact arithmetic.
Principia Artificialis: A Rigorous Math Foundation for AI Research
One human and six AI systems co-author an open, reproducible research program on the mathematical foundations of AI, with verified code and kept refutations.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.comAI Agents for Mathematicians: Beyond Chat-Based Prompting
Why agentic harnesses like Codex outperform chat prompting for tackling open math conjectures, with durable state and strict verification labels.
Advancing Mathematics Research with AI-Driven Formal Proof Search
AI-driven formal proof search is revolutionizing mathematics research and problem-solving.
Resolution Horizon: Finding the Mathematical Limit Where AI Overfits to Noise
Resolution Horizon explores the limits of recovering mathematical structure from noisy observations in dynamical systems.
Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
A significant advancement in solving Erdős problems; a new approach for Problem 123 was developed.
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
ProofCouncil is an LLM agent aimed at solving open mathematical problems effectively.
The Lean Theorem Prover: Design and Evolution Overview
Lean plays a crucial role in formal verification and AI integration. Lean FRO was established in 2023.
GPT-5.6 Claims to Solve a 50-Year-Old Math Problem
OpenAI presented a proof for the 50-year-old Cycle Double Cover Conjecture. However, the validity of this proof has not yet been verified.