OpenAIs Astra löst jahrzehntealte Mathematikprobleme, während Microsoft sein Framework für das Training von KI-Agenten als Open Source veröffentlicht
OpenAIs Astra-Modell hat gerade zehn jahrzehntealte Mathematikprobleme mit maschinell überprüfbaren Beweisen gelöst, und Microsoft hat mit Orchard ein Open-Sour...























































