Lean-certificaten

Astra van OpenAI kraakt tien wiskundige raadsels

OpenAI meldt dat zijn nog niet uitgebrachte model Astra tien wiskundige raadsels kraakt. Elk probleem stond al minstens tien jaar open. Het bedrijf publiceerde een…