ENTITY Swarat Chaudhuri

Swarat Chaudhuri

PulseAugur coverage of Swarat Chaudhuri — every cluster mentioning Swarat Chaudhuri across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_43915 · May 21 · 17:24

AI agent solves open math problems using formal proof search

Researchers have developed an AI agent capable of autonomously solving open mathematical problems by generating formal proofs in languages like Lean. This agent successfully resolved 9 out of 353 open Erdős problems and…