Ask HN: Who gets credits on big math questions solved by LLMs?