10
SIGNIFICANCE
★ Top story · ResearchFeb 20
Our First Proof submissions
We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.
Daily archive
Friday — February 20, 2026
10 stories — deduplicated across sources, ranked by significance, every source cited.