4 Likes
2 Shares
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
Inside a radical new project to democratize AI
A group of over 1,000 #AI researchers has created a multilingual #LargeLanguageModel bigger than #GPT3—and they’re giving it out for free. #llm #bloom #nlp #AIWriting #AIWriter #BigScience #OpenSource
https://bit.ly/3Qpjjks