ENTITY Guillaume Baudart

Guillaume Baudart

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

Show in brief

Total · 30d

1 over 90d

Releases · 30d

0 over 90d

Papers · 30d

1 over 90d

TIER MIX · 90D

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_44849 · May 22 · 04:00

Claude Opus 4.6 solves 10 Putnam math competition problems autonomously

Researchers have demonstrated that Anthropic's Claude Opus 4.6, enhanced with specialized tools for the Rocq proof assistant, successfully proved 10 out of 12 problems from the 2025 Putnam Mathematical Competition. This…

Claude Opus 4.6 solves 10 Putnam math competition problems autonomously