TECH·yesterdayShow HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code | Hacker NewsHacker News
PAPER·5 days agoCausalForge: A Formally Grounded, Self-Improving Agentic Framework for Automated Research in Causal InferencearXiv
TECH·May 30, 2026Terence Tao argues AI could bring division of labor to math for the first time in historyTHE DECODER
PAPER·May 28, 2026Verus-SpecGym: An Agentic Environment for Evaluating Specification AutoformalizationHugging Face Papers
TECH·May 25, 2026Google DeepMind's AlphaProof Nexus solves decades-old math problems for a few hundred dollarsTHE DECODER
PAPER·May 22, 2026Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy SearchHugging Face Papers
PAPER·May 21, 2026Ethical Hyper-Velocity (EHV): A Provably Deterministic, Governance-Aware JIT Compiler Architecture for Agentic SystemsHugging Face Papers
TECH·May 16, 2026AWS found bugs in 60% of software requirements. Its fix isn’t more AI — it’s a 50-year-old logic engine.The New Stack
