gnbarker
I'm curious why he is so bullish on AI. The page lists many traditional and actually useful tools like Coq, but much space is devoted to deep learning.

My experience with CoPilot shows that it fails at the most simple logical tasks:

When presented with an integer sequence it often does not even recognize the number of elements given. It just claims that we are looking for the 10th element when the current sequence only has three. Results are also wrong all the time.

Spatial reasoning of CoPilot is not very good. I wonder if early expert systems written in the Lisp era would outperform it.

It fails at tasks that require textual awareness like palindromes.

What it does very well is confabulating bland short stories and poems. It is great at understanding the input questions.

All in all, I am more impressed with Wolfram Alpha, which looks more like a traditional expert system.

pietroppeter
Calling out about the second announcement (erdosproblems.com) that there is a call for help and I think many people here might be able to help and some may be happy to do it. Skills required include GitHub, web design, Python/Html/Sql, …

Details: https://www.erdosproblems.com/help

fsmv
Paul Erdős was a very interesting person. I read his biography The Man Who Loved Only Numbers.

He couch surfed and wrote papers with others his entire life and became the most prolific published mathematician ever. He also loved to teach kids serious math and not underestimate their thinking.

Also I believe his name is pronounced like air-dish.

rldjbpin
while i am too far removed to make wise comments, it is fascinating that applied maths is being put to use for finding new patterns.

after going through the google docs for resources, i get a sense of some high level topics. however, i am confused about the current paradigms. are ml models being used to reduce the search space or as a way to let computers bring about serendipity?

it seems like these approaches are like graphing libraries or monte carlo sims that help the user see the bigger picture and then put in their own thinking.

upmind
What does AI for Math mean? People doing Math research that want to transition to AI research?
iamcreasy
The article or the linked Google doc doesn't mention how AI for Math resources is different than other resources list out there?
JohnMc123
[flagged]