#beweisassistent — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #beweisassistent, aggregated by home.social.
-
Mathematiker haben eine tiefgreifende Vermutung bewiesen und dabei auf einen ungewohnten Ansatz zurückgegriffen. Innerhalb kürzester Zeit haben Computer den Beweis geprüft.#Mathematik #Tao #Terencetao #Kombinatorik #Summe #Mengenlehre #Beweisassistent #Computer #Ki
Ein Brückenschlag zwischen einfachen Summen und Entropie -
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