Lean Graph Search for Formal Theorem Proving. The story centres on Benchmarks. Reported by arXiv. Bharat Hunt files it under AI Models — the section covering a new or updated model, its capabilities, benchmarks or availability. Open the original report for the full detail.
Written by Bharat Hunt from the headline and the coverage below. The original reporting is the source of truth.
Anthropic wants independent evaluators inside frontier AI labs; OpenAI agrees. It centres on Anthropic, and also names OpenAI. MediaNama and TechCrunch have both covered it. Bharat Hunt files it under AI Models — the section covering a new or updated model, its capabilities, benchmarks or availability.
Federated Deep Clustering Networks for High-Dimensional and Heterogeneous Data. It centres on AI Safety, and also names Benchmarks. Reported by arXiv. Bharat Hunt files it under AI Research — the section covering papers, benchmarks, evaluations, interpretability and safety results.
Designer-RSI: Evolving Procedural Memory from User Traffic for Agentic Graphic Design. It centres on Claude, and also names Benchmarks. Reported by arXiv. Bharat Hunt files it under AI Agents and AI Models — the section covering autonomous and tool-using systems, agent frameworks, MCP and orchestration.
Difficulty-Adaptive Tree-Structured Policy Optimization for Expanding Reasoning Coverage in RLVR. It centres on Reasoning Models, and also names Benchmarks. Reported by arXiv. Bharat Hunt files it under AI Regulation and AI Models — the section covering law, policy, courts, standards and government positions on AI.