Comment by lioeters

Yeah I think it was in Terence Tao's recent post where he pointed out that the "low-hanging fruits of mathematics" are being harvested by the AI companies, when traditionally those problems were available for aspiring mathematicians to prove themselves in the community. Maybe there's a parallel in the software world too.