SuicideFuel [TO MATHCELS] Will AI be able to prove new theorems in math?

[Fallenleaves]

Title.

 

[based_meme]

If you could write a program to build the known theorems and all of our current mathematics from only the axioms as the starting point, then I will say yes, it can.

Until that day comes, I will give a very strong, but tentative, no.

 

[Fallenleaves]

AI should be annihilated ngl

Ogre, we will be controlled by government regulated AI.

 

[based_meme]

AI should be annihilated ngl

AI is harmless. The people afraid of it don't understand any of it and their alarmism about its dangers only amplifies their ignorance.

 

[Uggo Mongo]

AI is harmless. The people afraid of it don't understand any of it and their alarmism about its dangers only amplifies their ignorance.

t.

 

[based_meme]

t.ERminator