Did AI Just “Solve” Math? (Let’s Take a Closer Look) | AI Reality Check

“exaggerations from OpenAI / Anthropic will only hurt workers short-term and then come back to hurt the trust in what A.I. can do long-term”

“There are a number of cases like the one Cal explained where long-held assumptions have not been properly questioned that AI could help out with. For example, the assumption about airborne pathogens that fooled scientists into thinking Covi…”

“So once again it was a brute force method? But touted as if it required human ingenuity”

“This definitely isn't the first time that computation was essential in mathematical progress. The classification of simple finite groups was completed over a number of years with the help of brute-force computation, and the actual proof too…”