#mathematikolympiade — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #mathematikolympiade, aggregated by home.social.
-
Bislang scheiterten Computer daran, komplizierte mathematische Aussagen zu beweisen. Doch nun gelang es der KI AlphaGeometry, dutzende Aufgaben der Mathematik-Olympiade zu lösen.#KI #KünstlicheIntelligenz #Mathematik-Olympiade #IMO #InternationaleMathematik-Olympiade #Geometrie #AlphaGeometry #LLM #LargeLanguageModel #GPT #Mathematik #Schule #Beweisassistent #Lean #ITTech
Eine KI könnte die Mathematik-Olympiade gewinnen