#mathematical proof

Tagged mathematical proof · show all articles

A researcher's multi-monitor workstation mid-session, a Lean proof script partly checked with one goal still open, a whiteboard with an unfinished lemma sketch behind it.

Mathematics, Proof, and Scientific Computation in 2035: Scenarios, Signals, and Falsifiable Predictions

Machine-assisted proof, verified numerical software, and complexity theory move at different speeds. Here is what would have to happen by 2035 to call each settled — and what would prove the optimists wrong.

By Brecht Corbeel · September 17, 2026 · 13 min read

Browse by Category

Surprise me →

All AI Hardware & Semiconductors 110 AI Agents & Systems 43 Foundation Models 30 AI Industry 26 Model Evaluation 23 Technological Evolution 15 AI Infrastructure 12 History of Technology 10 Evolutionary Psychology 10 Evolutionary Biology 10 Einstein & Evolution 10 Edge AI & Electronics 10 AI Research 10 Physics 9 Open Models 9 AI Safety 9 Datacenters 8 Semiconductors 7 Evolutionary Physics 7 Biology 7 Human Systems 6 Human Evolution 6 Robotics & Embodied AI 5 Future Studies 5 Evolutionary Nuclear Physics 5 Cultural Evolution 5 Neuroscience 4 Mathematics 4 Chemistry 4 Space Science 3 Scientific Methods 3 Materials Science 3 Invention & Engineering 3 Institutions & Governance 3 Humanity & Technology 3 Human History 3 History of Science 3 Future of Work 3 Ethics & Governance 3 AI Security 3 Technology & Society 2 Semiconductor Markets 2 Security 2 Industry Analysis 2 Economic History 2 Earth Science 2 Datacenters & Infrastructure 2 Astronomy & Cosmology 2 Astrobiology 2 Writing & Information 1 Structural Biology 1 Small & Edge Models 1 Security & Technology 1 Scientific Revolution 1 Robotics 1 Quantum Information 1 Quantum Foundations 1 Quantum Biology 1 Policy & Regulation 1 Pokémon Formal Systems 1 Pokémon Formal Machinery 1 Pokémon Economics 1 Planetary Science 1 Particle Physics 1 Origins & Astrobiology 1 Open-Weight Models 1 Metrology 1 Mathematics & Computation 1 Labour & Technology 1 Interpretability 1 Institutions & State Capacity 1 Institutions & Economy 1 Inference Economics 1 Industrial Revolutions 1 History of Computing 1 Governance & Policy 1 Game-Mechanic Economics 1 Evolutionary Economics 1 Evolution as Mechanism 1 Evolution & Ecology 1 Ethics of Technology 1 Energy & Civilization 1 Earth & Climate 1 Demography & Urbanization 1 Data & Training 1 Cumulative Culture 1 Cosmology 1 Condensed Matter 1 Chemistry & Catalysis 1 Alignment & Safety 1 Agriculture & Cities 1 Agent Evaluation 1 AI for Science 1 AI Economics & Systems 1 AI & The Web 1