AI TrackerWiadomości o AI,
wybrane dla twórców.
Premiery, zmiany cen i wycofania od każdego dostawcy AI, w skrócie. Ten sam kanał co zakładka Wiadomości w aplikacji.
Axiom twierdzi, że agenci AI sformalizowali w Lean klasyfikację skończonych grup prostych
Axiom, firma zajmująca się matematyką AI, ogłosiła na X pełną automatyczną formalizację w Lean klasyfikacji skończonych grup prostych — wyniku, który nazywa „układem okresowym symetrii”. Opisuje oryginalny dowód jako liczący około 15 000 stron i napisany przez ponad 100 matematyków z kolejnych pokoleń. Nazywa go też największym dowodem matematycznym w historii zweryfikowanym komputerowo.
Ling udostępnia otwarte wagi Ling-3.1-flash-1019 oraz model bazowy
Zespół Ling informuje, że Ling-3.1-flash-1019 jest już open source, a jego wagi są dostępne na Hugging Face i ModelScope. Udostępnił też Ling-3.1-flash-base, który opisuje jako otwartą bazę do dalszego treningu. Zespół twierdzi, że nowy model przeszedł dodatkowy trening post-training ukierunkowany na rozumowanie i rzeczywiste przepływy pracy agentów.W katalogu OpenRouter model Meta: Llama 3.1 70B Instruct ma datę wygaśnięcia: 3 listopada
W katalogu modeli OpenRouter widnieje teraz data wygaśnięcia „Meta: Llama 3.1 70B Instruct” (meta-llama/llama-3.1-70b-instruct): 3 listopada 2026 r. Model jest tam wymieniony od 23 lipca 2024 r. i ma kontekst o długości 131 072 tokenów. Wcześniej wpis nie zawierał daty wygaśnięcia. To pole w katalogu; ani OpenRouter, ani Meta nie podali nam znanego powodu, a wpis nie wyjaśnia, co stanie się z modelem po tej dacie.OpenCode dodaje wtyczki do OpenCode Desktop
LukeParkerDev ogłosił 27 października na X wtyczki do OpenCode Desktop, publikując krótki film demonstracyjny i link do dokumentacji OpenCode dotyczącej tworzenia wtyczek GUI. thdxr, który zacytował ten wpis, powiedział, że wtyczki desktopowe rozwijają ten sam wzorzec co wtyczki TUI OpenCode, dzięki czemu jeden pakiet może zawierać wtyczki serwerowe, TUI i desktopowe, a prawy panel nazwał dobrym miejscem na przydatne dodatki. Wpis udostępniło ponownie także konto OpenCode.
Maya-2, model głosowy dla języków Indii, został udostępniony z otwartymi wagami
Maya-2, model głosowy (syntezy mowy) przeznaczony dla Indii, został opublikowany z otwartymi wagami 27 października pod nazwą maya-research/maya2-native na Hugging Face. W ogłoszeniu na X podano, że model obsługuje ponad 1,5 miliarda ludzi ze wszystkich 28 stanów i 8 terytoriów związkowych.