ls /news/ai-research · home newsai-research
grep -r --recent /news/ai-research | head -20

AI Research

AI Research news and analysis on Web Pulse: 9933 curated articles tracking the latest AI Research developments, tools, and research, updated continuously from vetted sources.

9933 articles page 165 of 497 0 sources 30 min sync cycle updated 2026-06-30

// latest articles 9933 indexed

04:00
2026-06-30
arxiv.org
artificial-intelligence · 1m read ↑ pos

Self-Supervised Theorem Discovery in a Formal Axiomatic System

Researchers developed a self-supervised theorem-discovery algorithm that starts from axioms and inference rules alone, autonomously building a library of useful theorems. The agent discovered tens of thousands of theorem…

← prev page 165 / 497 next →
LIVE [news/ai-research] indexed:9933 page:165/497 en · ua 2026-05-20 ·