AI TrackerAI-nieuws,
gesorteerd voor bouwers.
Lanceringen, prijswijzigingen en uitfaseringen van elke AI-aanbieder, samengevat. Dezelfde feed als het tabblad Nieuws in de app.
Axiom zegt dat AI-agenten de classificatie van eindige enkelvoudige groepen in Lean hebben geformaliseerd
Axiom, een AI-wiskundebedrijf, maakte op X bekend dat het de classificatie van eindige enkelvoudige groepen volledig automatisch heeft geformaliseerd in Lean. Het noemt dit resultaat de "periodieke tabel van symmetrie". Volgens het bedrijf besloeg het oorspronkelijke bewijs ongeveer 15.000 pagina's en is het gedurende meerdere generaties opgesteld door meer dan 100 wiskundigen. Het noemt dit het grootste wiskundige bewijs uit de geschiedenis dat door een computer is geverifieerd.
Ling brengt de open weights van Ling-3.1-flash-1019 en een basismodel uit
Het Ling-team zegt dat Ling-3.1-flash-1019 nu open source is, met weights op Hugging Face en ModelScope. Het bracht ook Ling-3.1-flash-base uit, dat het omschrijft als een open basis om verder op te trainen. Volgens het team is het nieuwe model verder post-trained voor redeneren en workflows met agents in de praktijk.In de catalogus van OpenRouter staat 3 november als einddatum voor Meta: Llama 3.1 70B Instruct
In de modelcatalogus van OpenRouter staat nu 3 november 2026 als einddatum voor "Meta: Llama 3.1 70B Instruct" (meta-llama/llama-3.1-70b-instruct), een model dat sinds 23 juli 2024 wordt vermeld en een context van 131.072 tokens heeft. Eerder had de vermelding geen einddatum. Dit is een catalogusveld; noch OpenRouter noch Meta heeft voor zover wij hebben gezien een reden gegeven, en de vermelding zegt niet wat er na die datum met het model gebeurt.OpenCode voegt plugins toe aan OpenCode Desktop
LukeParkerDev kondigde op 27 oktober op X plugins voor OpenCode Desktop aan, met een korte demovideo en een link naar de OpenCode-documentatie over het bouwen van GUI-plugins. thdxr, die het bericht citeerde, zei dat de desktopplugins voortbouwen op hetzelfde patroon als de TUI-plugins van OpenCode, zodat één pakket server-, TUI- en desktopplugins kan leveren, en noemde het rechterpaneel een goede plek voor nuttige toevoegingen. Het bericht werd ook opnieuw gedeeld door het OpenCode-account.
Maya-2, een stemmodel voor Indiase talen, uitgebracht met open weights
Maya-2, een stemmodel (spraaksynthetisatie) gericht op India, is op 27 oktober met open weights gepubliceerd onder de Hugging Face-naam maya-research/maya2-native. De aankondiging op X zegt dat het model meer dan 1,5 miljard mensen in alle 28 deelstaten en 8 unieterritoria bereikt.