AnalysisOpinion / analysisAgents & Tool Use1 source · Oct 9, 2026

Pointing AI at archives found a forgotten meteorite, lost rhinos, and more

Proof1 community thread
Read at Hacker News (AI, 100+ points) ↗← Today

Sources (1)

Extractive summary: sentences quoted from the sources.

Related

Hacker News (AI, 100+ points)3d ago

I think I found a planet nobody knew existed. I used Claude Code to find it

Paper
OpenAI News10 sources1d ago

Sharing AI progress in mathematics

8 outlets
Hacker News (AI, 100+ points)21h ago

500B Tokens Later: Letting AI Agents Decompile a First-Person Shooter

Hacker News (AI, 100+ points)2d ago

What mathematicians should know about the Lean Theorem Prover: reliability & AI