taalmodellen
Alle berichten in taalmodellen.
AI vindt zelfstandig korter bewijs voor zestig jaar oud wiskundig probleem
Een gepensioneerde wiskundige van de TU Eindhoven heeft met behulp van AI een aanzienlijk korter bewijs gevonden voor een vermoeden dat in 1965 werd geformuleerd. Het oorspronkelijke bewijs besloeg ongeveer 150 pagina’s en meer dan 100.000 regels code; het nieuwe blijft onder de dertig pagina’s en ongeveer 35.000 regels. Het kortere bewijs werd door het model zelfstandig gevonden, zonder dat het het lange bewijs had gezien.
Enschedese Artific haalt Donar Groningen binnen voor eigen AI-toepassingen
Het Enschedese AI-platform Artific heeft basketbalclub Donar Groningen als klant binnengehaald, de eerste sportclub buiten Oost-Nederland. Donar bouwt eigen AI-toepassingen op het platform, getraind op de eigen documenten en werkwijzen, voor administratie, agendabeheer, communicatie en commercie. Het partnerschap loopt sinds juli 2026 en duurt drie jaar.