PulseAugur
LIVE 13:52:13
ENTITY Formal Conjectures

Formal Conjectures

PulseAugur coverage of Formal Conjectures — every cluster mentioning Formal Conjectures 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
TIMELINE
  1. 2026-05-13 research_milestone Introduction of the Formal Conjectures benchmark for AI in mathematics. source
SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL
  1. TOOL · CL_31399 ·

    Formal Conjectures benchmark advances AI math discovery

    Researchers have introduced Formal Conjectures, a new benchmark designed to evaluate automated reasoning systems in mathematics. This evolving dataset, formalized in Lean 4, comprises over 2600 mathematical problem stat…