Tagged "mathematical-reasoning"

3 articles tagged mathematical-reasoning, 17 March 2026 to 29 July 2026. Newest first.

• ProofCouncil: An LLM Agent for Solving Open Mathematical Problems 29 July 2026

  A new research paper introducing ProofCouncil, an LLM agent framework capable of tackling complex mathematical problem-solving, demonstrating advanced reasoning capabilities for specialized local LLM applications.

• Discussion: Including New Mathematical Proofs in LLM Training Data for Rediscovery 9 May 2026

  A Hacker News discussion explores whether LLMs can rediscover novel mathematical proofs when included in training data, relevant to understanding model capabilities and knowledge synthesis.

• Mistral Releases Leanstral: First Open-Source Code Agent for Lean 4 Proof Assistant 17 March 2026

  Mistral AI releases Leanstral-2603, the first open-source code agent specifically designed for the Lean 4 proof assistant, enabling local automated mathematical theorem proving and formal verification.