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

“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…”

“"The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics." -Alan Perlis”