Anthropic je najavio prvi kompletan računalno provjeren dokaz Fermatovog posljednjeg teorema: Claude je Wilesov dokaz pretvorio u Lean u 11 dana — 13,4 milijuna redaka, 29 500 teorema, tri aksioma.
Grok 4.3, 4.5 i 4.6: mogućnosti, krajnja točka /v1/chat/completions, MCP alati i dobivanje ključa.
GPT-6 Astra sada je dostupna u NeuralSpace chatu i API-ju, s prilagodljivim obrazloženjem, pretraživanjem weba i pozivanjem alata.
Kako pristupiti Seedance 2.5 i povezati generiranje videa putem NeuralSpace API-ja: krajnje točke, modeli i ogledni zahtjev.
Praktičan način da počnete koristiti DeepSeek na NeuralSpaceu: početni tokeni za novi račun, DeepSeek V4 Flash za chat i kod te plaćanja tokenima bez pretplate.