|
|
|
|
|
|
by KajMagnus
16 days ago
|
|
|
Interesting to read! > contributions One thing I think you and the other "AI math builders" have done, is to show how good the top models are at logics and reasoning. I didn't realize how good they are, until they solved an Erdös problem. And now lots of Erdös problems! (Plus verified that the AIs actually did solve the problems, that's not easy :- )) |
|
|