X · @teortaxesTex
· X / Twitter
Gowers is probably the biggest AI for math stan outside an AI company this must be such a great day for him
Gowers is probably the biggest AI for math stan outside an AI companythis must be such a great day for himTimothy Gowers @wtgowers: Assuming this is correct, it is for me the first example of an LLM solving a problem not in my area that was nevertheless big enough that I had very definitely heard of it. Again it's a co