OpenAI deelt 722 AI-gegenereerde wiskundemanuscripten

OpenAI heeft 722 manuscripten gepubliceerd met resultaten uit de wiskunde en aanverwante vakgebieden. Een intern model heeft ze gegenereerd op basis van ongeveer 4.000 open onderzoeksproblemen. De teksten bestrijken 372 families van verwante resultaten. Voor sommige bewijzen is een Lean-formalisering beschikbaar, waarmee een computer de logische stappen kan controleren. Voor onderzoeks- en ontwikkelteams is vooral de mogelijke verschuiving relevant: minder tijd voor het opstellen van kandidaten, meer voor verificatie en beoordeling. Nog niet alle manuscripten zijn onafhankelijk gecontroleerd, en niet elk resultaat heeft een formeel bewijs. Zie de publicatie daarom als materiaal om te toetsen. Van 722 bevestigde ontdekkingen is nog geen sprake.

github

Claude bewerkt Google Workspace-bestanden

Anthropic heeft Claude rechtstreeks beschikbaar gemaakt in Google Workspace. Je werkt met Claude via een zijbalk in Docs en Sheets, of je opent een bestandslink in Claude zelf. De bèta staat open voor betaalde Claude-abonnementen. Grotere wijzigingen verschijnen eerst als voorstellen die je kunt accepteren of afwijzen. Zo kunnen teams teksten en spreadsheets bewerken zonder bestanden steeds tussen apps te kopiëren. Test de integratie deze week met een niet-gevoelig document en controleer of de voorstellen passen bij jullie werkwijze.

claude

Anthropic verruimt toegang tot Claude voor beveiligingsteams

Anthropic heeft via zijn Cyber Verification Program de toegang tot Claude-modellen verruimd voor goedgekeurde beveiligingsteams. Die teams werken met modellen die minder ingebouwde beperkingen hebben. Partners in Project Glasswing vonden tussen april en juli minstens 129.000 kwetsbaarheden, waarvan ze er meer dan 33.000 als kritiek of ernstig beoordeelden. Daarmee zijn de modellen interessant voor teams die code en systemen op kwetsbaarheden onderzoeken, mits ze aan de toelatingscriteria voldoen. De aantallen komen uit het werk van een deel van de partners. Anthropic verwacht dat het werkelijke totaal minstens vijf keer hoger ligt.

anthropic

Mistral heeft een open model van 1 biljoen parameters uitgebracht

Mistral Large 4 telt 1 biljoen parameters, maar activeert er per beurt 49 miljard. Het model verwerkt ook beelden en heeft een contextvenster van 1 miljoen tokens. Organisaties kunnen het via Mistral Studio gebruiken. De gewichten komen volgens de nieuwsbrief eind oktober beschikbaar voor zelfhosting en fine-tuning. Daarmee krijgen organisaties een alternatief voor gesloten modellen bij grote documenten en multimodale taken, met meer ruimte om het model zelf te beheren. De gemelde benchmarkpositie komt van Mistral zelf, en zelf hosten vraagt eigen infrastructuur. Vergelijk het model eerst op een kleine set eigen taken voordat je een bredere proef start.

Meta en Sierra stellen standaard voor persoonlijke AI-agents voor

Meta en Sierra hebben het Personal Agent Protocol voorgesteld, een open standaard waarmee persoonlijke agents zich bij bedrijven kunnen identificeren en namens gebruikers toegang krijgen. Het protocol gebruikt OAuth en laat bedrijven bepalen of een agent lees- of schrijfrechten krijgt en via welke route die verbinding maakt. De eerste specificatie volgt naar verwachting later in oktober. Visa heeft al een concurrerende standaard, waarbij ook Stripe en Shopify betrokken zijn. Bedrijven kunnen dus met meerdere protocollen te maken krijgen, terwijl de regels voor agenttoegang nog in ontwikkeling zijn. Breng deze maand in kaart welke klantprocessen agents namens klanten zouden mogen uitvoeren en welke toestemming daarvoor nodig is.

sierra · visa