logoalt Hacker News

demirbey05today at 10:32 AM0 repliesview on HN

I read how GPT-5 contributed to proof. It is not fully solved by GPT-5 instead assisted. For more look here https://www.math.columbia.edu/~msawhney/Problem_848.pdf