|
|
|
|
|
|
by marysminefnuf
5 days ago
|
|
|
finally someone is saying it our loud lol. mathematicans are just finding lower and upper bounds and having a computer input them into a theorem prover more times than a human is able to on their own. ai imo isnt solving anything. |
|
|