TECH·4 days agoShow HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code | Hacker NewsHacker News
PAPER·July 25, 2026CausalForge: 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
