Terence Tao: At the Erdos problem website, AI assistance now becoming routine
1–10 of 96 posts
Re: Terence Tao: At the Erdos problem website, AI assistance now becoming routine
#2Also interesting that the responses include anti-Lean material.
Re: Terence Tao: At the Erdos problem website, AI assistance now becoming routine
#3'Vibe formalizing' is a logical extension of 'vibe engineering' implemented by 'vibe coding'. Sometimes I have trouble with getting the individual puzzle pieces of a problem to fall into place, where a hypothetical 'Move 37 As A Service' to unify informal methods with mathematical rigor deserves to be explored!
Re: Terence Tao: At the Erdos problem website, AI assistance now becoming routine
#4Also interesting that the responses include anti-Lean material.
Due to his position and general fame, Tao has to deal with a larger-than-usual number of kooks.
Re: Terence Tao: At the Erdos problem website, AI assistance now becoming routine
#5Having the ability to throw math heavy ML papers at the assistants and get simplified explanations / pseudocode back is absolutely amazing, as someone who's forgot most of what I learned in uni, 25+ years back and never really used it since.
Re: Terence Tao: At the Erdos problem website, AI assistance now becoming routine
#6[flagged]
Re: Terence Tao: At the Erdos problem website, AI assistance now becoming routine
#7[flagged]
Thankfully it's mathematics, so people powerscaling their idols, deifying them at the detriment of others, and putting terms into quotes mockingly, is not what determines whether results hold or not. Perhaps the only field not fundamentally shackled by this type of quackery, even if people try their hardest from time to time to make it so.
Re: Terence Tao: At the Erdos problem website, AI assistance now becoming routine
#8They should name one of the AI's "Erdos". Then we can all have an Erdos number of one!
Re: Terence Tao: At the Erdos problem website, AI assistance now becoming routine
#9They should name one of the AI's "Erdos". Then we can all have an Erdos number of one!
There is an AI-integrated IDE called Erdos...
Re: Terence Tao: At the Erdos problem website, AI assistance now becoming routine
#10[flagged]
Because he is smart enough to use the existing (frontier) tools to get good results and create a sort of collaborative environment that is novel for research maths.