by julienchastang on 2/5/25, 6:27 PM with 2 comments
by super_linear on 2/6/25, 11:14 AM
Seems like pretty bad way to start this article off. AI is math at the end of the day how is this special.
Generally the article seems to lack a lot of substance or specifics on what or how effective automated reasoning is at improving results. Actual substantive studies/papers might be more interesting...
by jprd on 2/5/25, 7:36 PM