elias001's latest activity
-
Eelias001 replied to the thread AI AI and Math Research.@FactChecker i am not saying i am confident about AI being able to explain complicated results all by itself in a future time. i am...
-
Eelias001 replied to the thread AI AI and Math Research.@FactChecker just because they can't do a good job of explaining, it doesn't mean it will remain that way forever. Deep neural network...
-
Eelias001 replied to the thread AI LLM: Getting the question right.@jedishrfu there are startups that are specifically combong through existing scientific publications and trying to find new discoveries...
-
Eelias001 replied to the thread AI LLM: Getting the question right.@gleem actually what you are describing is a fairy tale. The math community wants to gate keep on who is allow to solve open problems...
-
Eelias001 replied to the thread AI AI and Math Research.@FactChecker the models that are used to solve the problems are not accessible to the public. Whatever reasons you list, any of those...
-
Eelias001 replied to the thread AI LLM: Getting the question right.@gleem if the AI companies want their AI systems to write mathematics better, don't worry, they have more computational resources to do...
-
Eelias001 replied to the thread AI LLM: Getting the question right.@loop quantum gravity If you do a search on why lean was adopted/picked over HOL, Isabelle or coq, you will find what you are looking...
-
Eelias001 replied to the thread AI AI and Math Research.@symbolipoint i am not sure what is it that i wrote is not clear.
-
Eelias001 replied to the thread AI LLM: Getting the question right.@loop quantum gravity Wiles' proof got formalised. It was covered in Dr Samuel Allen Alexander math channel. My understanding is the...
-
Eelias001 replied to the thread AI AI and Math Research.@Greg Bernhardt AI not able write up its reasoning well will only be temporary. it is a minor engineering problem the big tech...