Artificial intelligence
fromwww.scientificamerican.com
1 month agoCan Writing Math Proofs Teach AI to Reason Like Humans?
A general-purpose reasoning AI trained on IMO problems can sustain hours-long, stepwise mathematical reasoning and produce written proofs approaching human-level problem solving.