Similar Links:

• What Makes Mathematicians Believe Unproven Mathematical Statements?

• The Existential Risk of Math Errors

• Mathematics in the Age of the Turing Machine

• Computational Discovery in Pure Mathematics

• Learning Formal Mathematics From Intrinsic Motivation

• DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

• MCTSr: Accessing GPT-4 level Mathematical Olympiad Solutions via Monte Carlo Tree Self-refine with LLaMA-3-8B

• MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models

• RealMath: A Continuous Benchmark for Evaluating Language Models on Research-Level Mathematics

• Measuring Mathematical Problem Solving With the MATH Dataset

• Functional Benchmarks for Robust Evaluation of Reasoning Performance, and the Reasoning Gap

• Mathematical Reasoning via Self-supervised Skip-tree Training

• What is the point of computers? A question for pure mathematicians

• The Dangers of Computer-Science Theory

• On Unsettleable Arithmetical Problems

• Forbidden Information

• Philosophical Problems in Logic § Ultrafinitism

• Simulation Inferences

• On the Existence of Powerful Natural Languages

• The Empirical Metamathematics of Euclid and Beyond

• Search: GS; Google; site