arXiv AI recent: MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
Further detail not available from source. See linked source for full article.
AI Ledger item
2026-06-15 - Subjecthood & Consciousness
Further detail not available from source. See linked source for full article.
Sources