Also: The Unreasonable Effect of LLMs on Mathematics - https://news.ycombinator.com/item?id=48888345

Yuji Tachikawa, a world renowned theoretical physicists, reports Claude Fable solved a problem that he and his collaborators were stuck on for the past 6 months