Recent content by elias001

@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 saying thayt researchers in the AI community will innovate new methods for AI to explain complicated results in a way that is understable to humans. Open AI or any...

@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 can be represented mathematically and that means it is a math problem and is not an impossible solution. Anyways, whatever it is that can't be done or not...

@jedishrfu there are startups that are specifically combong through existing scientific publications and trying to find new discoveries from them. There seems to be new startups trying to do this or that, where the 'this or that' are tasks where no humans would want to be doing and machine...

@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. They don't like it that a tool has finally arrived that can do a lot of things that a human can do but do it better without their BS attitude.

@FactChecker the models that are used to solve the problems are not accessible to the public. Whatever reasons you list, any of those AI companies has access to more computational resources than anyone can afford in a life time. Also, just because it is not good now at whatever it is you think...

@gleem if the AI companies want their AI systems to write mathematics better, don't worry, they have more computational resources to do that. They have more pressing priorities. Also, the professional math community don't own the rights on who can or cannot solve any open problems. They...

@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 for. The historical and sociological reasons are very recent, but i don't feel confident or know the technical details well enough to explain to you the...

@symbolipoint i am not sure what is it that i wrote is not clear.

@loop quantum gravity Wiles' proof got formalised. It was covered in Dr Samuel Allen Alexander math channel. My understanding is the one only need to understand the lean code after a proof has been formalised and then it runs through a proof checker. is not ready to be released to the masses...

@Greg Bernhardt AI not able write up its reasoning well will only be temporary. it is a minor engineering problem the big tech companies can choose to fix whenever they feel like getting around to it. It will be si.ilat when MS copilot was found not able to do simple arithmetic correctly...

The quoted passages in (A) and (B) of Part 2 below are respectively taken from: Advanced Mathematics An Invitation in Preparation for Graduate School by P Guidotti and Differential Equations An Introduction to Basic Concepts, Results and Applications by I I. Vrabie Questions I have a...

@martinbn I am not ignoring your post. To fill in the details of your post requires me to solve some of the questions of the original MSE author's answers. Your solution allows one to weasel their way out of having to make direct of use of localization,but that is towards the very end. Your...

I don't know if the following is consider to be lame joke. It has a lot of cliche and cultural stereotypes, but it is for all the anime fans on here.

@martinbn you said I keep complaining because I never seem satisfied. I got the impression because I was not being precise enough with my questions or I did not provide enough details.

@Mark44 I really appreciate the offer. I want to first trying it out writing assembly with the Masm32 SDK and emu8088 emulator first. I have a feeling it is not directly interacting with the hardware or much less so than Visual Masm. If I run into any problems, I will either DM you or create...