Spektrum (inoffiziell)Bislang scheiterten Computer daran, komplizierte mathematische Aussagen zu beweisen. Doch nun gelang es der KI AlphaGeometry, dutzende Aufgaben der Mathematik-Olympiade zu lösen.<a href="https://anonsys.net/search?tag=KI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KI</span></a> <a href="https://anonsys.net/search?tag=K%C3%BCnstlicheIntelligenz" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KünstlicheIntelligenz</span></a> <a href="https://anonsys.net/search?tag=Mathematik-Olympiade" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathematik-Olympiade</span></a> <a href="https://anonsys.net/search?tag=IMO" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IMO</span></a> <a href="https://anonsys.net/search?tag=InternationaleMathematik-Olympiade" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>InternationaleMathematik-Olympiade</span></a> <a href="https://anonsys.net/search?tag=Geometrie" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Geometrie</span></a> <a href="https://anonsys.net/search?tag=AlphaGeometry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AlphaGeometry</span></a> <a href="https://anonsys.net/search?tag=LLM" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLM</span></a> <a href="https://anonsys.net/search?tag=LargeLanguageModel" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LargeLanguageModel</span></a> <a href="https://anonsys.net/search?tag=GPT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GPT</span></a> <a href="https://anonsys.net/search?tag=Mathematik" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mathematik</span></a> <a href="https://anonsys.net/search?tag=Schule" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Schule</span></a> <a href="https://anonsys.net/search?tag=Beweisassistent" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Beweisassistent</span></a> <a href="https://anonsys.net/search?tag=Lean" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lean</span></a> <a href="https://anonsys.net/search?tag=ITTech" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITTech</span></a><br><a href="https://www.spektrum.de/news/die-ki-alphageometry-loest-aufgaben-der-mathematik-olympiade/2204167" rel="nofollow noopener" target="_blank">Eine KI könnte die Mathematik-Olympiade gewinnen</a>