Updated Humanize workflows reportedly retake first place on the LeanEval leaderboard

A user says updated Humanize workflows put their work back in first place on the LeanEval leaderboard after ICLR. They credit insights from OpenAI and Anthropic blogs and Axiom's tech report, and hint at more progress on a “big name theorem.”