ENTITY HorizonMath

HorizonMath

PulseAugur coverage of HorizonMath — every cluster mentioning HorizonMath 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

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_247850 · Sep 11 · 04:00

AI models tackle unsolved math problems with formal proofs and new discoveries

Two new research papers explore the capabilities of large language models in advanced mathematical reasoning and discovery. The first paper introduces Magenta, a system that bridges informal natural language math proble…