ENTITY Hironaka

Hironaka

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

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_322841 · Oct 26 · 12:31

AI startup Resolution autoformalizes math for safety; Claude Opus 5.5 excels on ProgramBench

AI startup Resolution has published work demonstrating the autoformalization of mathematical statements related to statistical learning theory, specifically the resolution of singularities. This achievement, which invol…