Trump torpedoes international deal to reduce shipping emissions
The IMO postponed formal adoption of the Net Zero Framework on shipping emissions after US President Trump threatened sanctions, delaying regulation by at least 12 months.
Can 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.