Google DeepMinds AI schrijft geschiedenis op wiskundeolympiade

Plus: OpenAI lanceert zoekmachine, EU plant 'CERN voor AI', AI-trainingsdata wordt schaars

Welkom bij AI Report. De AI-wereld ontwikkelt zich razendsnel, en wij, de makers van de podcast Poki, houden je op de hoogte. Twee keer per week sturen we je een overzicht van de nieuwste AI-ontwikkelingen, tools, use cases en onderzoek. Alles wat je moet weten in slechts 5 minuten leestijd.

---

🗞️ Het belangrijkste nieuws

Google DeepMinds AI behaalt zilveren medaille op wiskundeolympiade 🥈

Google DeepMind heeft een opmerkelijke prestatie geleverd met zijn AI-systemen AlphaProof en AlphaGeometry 2. Samen hebben deze systemen een zilveren medaille behaald op de International Mathematical Olympiad (IMO) van 2024, een prestatie die nog nooit eerder door een AI is geëvenaard.

Bron: Google DeepMind

Wat maakt dit zo bijzonder?

1. Ongekende wiskundige vaardigheden: in tegenstelling tot chatbots als GPT-4o of Claude 3.5 Sonnet, die vaak struikelen over eenvoudige rekensommen, loste AlphaProof complexe wiskundige problemen op.

2. Innovatieve technologie: AlphaProof is geen traditioneel taalmodel, maar een ‘neurosymbolisch systeem’. Het combineert de taalvaardigheid van Googles Gemini-model met de zoekstrategie van DeepMinds AlphaZero (bekend van schaken en go).

Wat is het geheim?

Het succes van AlphaProof lijkt grotendeels te danken aan DeepMinds expertise in reinforcement learning. Deze techniek, die ook werd gebruikt om AI schaakgrootmeesters en ’s werelds beste go-spelers te laten verslaan, stelt het systeem in staat om zichzelf te verbeteren door miljoenen problemen op te lossen en van de resultaten te leren.

AlphaProofs aanpak is uniek:

1. Probleem formaliseren: een op Gemini gebaseerd taalmodel vertaalt wiskundige problemen van natuurlijke taal naar een formele wiskundige taal.

2. Oplossingen genereren: het systeem genereert mogelijke oplossingen voor het geformaliseerde probleem.

3. Bewijzen zoeken: gebruikmakend van AlphaZero’s zoekstrategie, zoekt AlphaProof naar bewijzen of weerleggingen van de gegenereerde oplossingen.

4. Reinforcement learning: elke gevonden en geverifieerde oplossing wordt gebruikt om AlphaProofs taalmodel te verbeteren, waardoor het systeem steeds beter wordt in het oplossen van complexere problemen.

Wat betekent dit voor de toekomst?

AlphaProofs prestatie is meer dan alleen een indrukwekkend kunstje. Ze opent deuren naar een nieuwe generatie AI die echt kan ‘denken’ op wetenschappelijk niveau:

1. Versnelling van wetenschappelijke vooruitgang: dit kan leiden tot snellere doorbraken in diverse disciplines, van natuurkunde en scheikunde tot biologie en materiaalkunde.

2. AI als wetenschappelijke partner: in plaats van alleen te assisteren, kunnen AI-systemen actief bijdragen aan het oplossen van complexe problemen en het doen van nieuwe ontdekkingen.

3. Nieuwe aanpak in AI-ontwikkeling: door verschillende AI-technieken te combineren, wijst AlphaProof de weg naar slimmere, veelzijdigere AI-systemen.

Terwijl veel AI-nieuws gaat over taalmodellen die menselijke gesprekken nabootsen, laat AlphaProof zien dat AI ook op andere gebieden kan excelleren. Het geeft een kijkje in een toekomst waarin taalmodellen mogelijk samenwerken met specifieke, taakgerichte AI-modellen.

---

OpenAI heeft SearchGPT gelanceerd

SearchGPT is een door AI aangedreven zoekmachine die:

• zoekresultaten samenvat en organiseert;

• realtime internetinformatie gebruikt;

• samenwerkt met nieuwspartners voor content en attributie.

Het prototype, beschikbaar voor 10.000 testgebruikers, wordt gezien als een potentiële concurrent voor Google. Het bevindt zich in een erg vroeg stadium en is aangekondigd terwijl er van alle kanten nieuws uitkomt over OpenAI:

• Het bedrijf sluit deals met grote uitgevers als The Wall Street Journal en Associated Press voor contentgebruik.

• Rapporten suggereren dat OpenAI’s AI-trainings- en inferentiekosten dit jaar kunnen oplopen tot 7 miljard dollar.

• OpenAI zoekt naar manieren om inkomsten te genereren, waarbij SearchGPT mogelijk een rol kan spelen in toekomstige verdienmodellen.

De lancering van SearchGPT lijkt een strategische zet in OpenAI’s zoektocht naar winstgevende producten, terwijl het bedrijf worstelt met de hoge kosten van AI-ontwikkeling en -onderhoud.

Bron: OpenAI

---

EU overweegt gigantisch AI-onderzoeksproject Ursula von der Leyen, herkozen voorzitter van de Europese Commissie, heeft een voorstel gedaan voor een ‘CERN voor AI’. Dit ambitieuze plan, met een mogelijke investering van 100 miljard euro over vijf tot zeven jaar, zou Europa’s positie in AI-onderzoek moeten versterken. Op dit moment loopt Europa achter en zijn grote techbedrijven zoals Apple en Meta kritisch op Europese wetgeving die volgens hen innovatie tegenwerkt. Critici waarschuwen echter voor overhaaste grote uitgaven zonder duidelijk plan.

---

AI-trainingdata wordt schaars Nieuw onderzoek van het Data Provenance Initiative toont aan dat steeds meer websites hun data afschermen voor AI-training. In het afgelopen jaar is 5 procent van alle data en 25 procent van de hoogwaardige bronnen ontoegankelijk geworden voor AI-bedrijven. Deze ‘opkomende toestemmingscrisis’ kan grote gevolgen hebben voor de ontwikkeling van AI-systemen. Dit treft vooral kleinere bedrijven en onderzoekers die afhankelijk zijn van openbaar beschikbare datasets. Grote techbedrijven zoals OpenAI en Google zoeken naar alternatieven, waaronder het sluiten van deals met uitgevers en het overwegen van synthetische data. Experts waarschuwen ervoor dat deze trend de kloof tussen techgiganten en kleinere spelers kan vergroten, en roepen op tot nieuwe tools die website-eigenaren meer controle geven over het gebruik van hun data.

---

Meta brengt Llama 3.1 uit Ruim een week geleden hebben we al het een en ander gedeeld over Meta’s nieuwste opensourcemodel, Llama 3-405b. Naast het uitbrengen van dit model heeft Meta ook betere versies van de kleinere modellen uit de Llama 3-serie gedeeld. Twee daarvan, Llama 3-8b en Llama 3-70b, zijn intelligenter geworden en kunnen nu aanzienlijk meer context aan.

---

Wil je meer weten over hoe je AI kunt inzetten in je werk en je leven?

Abonneer je op ons betaalde abonnement en krijg 2x per week exclusieve tips en tricks.

Duik deze week in de verborgen prompts achter Claude, Gemini en ChatGPT.