Artificial intelligence and inherent mathematical difficulty

DOI10.1093/PHILMAT/NKAF005MaRDI QIDQ6867107zbMATH OpenFDO

Authors Walter Dean, Alberto Naibo

Publication date 28 January 2026

Published in Philosophia Mathematica. Series III (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

zbMATH Keywords

artificial intelligenceautomated theorem provingdecision problembrute forceproof discovery

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30)

This page was built for publication: Artificial intelligence and inherent mathematical difficulty

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6867107)