Title.
SuicideFuel [TO MATHCELS] Will AI be able to prove new theorems in math?
B
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.
Until that day comes, I will give a very strong, but tentative, no.
Ogre, we will be controlled by government regulated AI.AI should be annihilated ngl
B
AI is harmless. The people afraid of it don't understand any of it and their alarmism about its dangers only amplifies their ignorance.AI should be annihilated ngl
B
t.ERminator
Similar threads
nihilum
INVERTER
ли/чж
FromOuterVenus
Users who are viewing this thread
