实体 Swarat Chaudhuri

Swarat Chaudhuri

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

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

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…