Das Meituan LongCat Team hat am 21. März LongCat-Flash-Prover als Open Source freigegeben, ein MoE-Modell mit 560 Milliarden Parametern, das sich auf formale Theorembeweise in Lean4 konzentriert. Das Modell verfügt über drei Fähigkeiten: automatische Formalisierung, Skizzengenerierung und vollständige Beweiserstellung, kombiniert mit Inferenztools und dem Lean4-Compiler für Echtzeitvalidierung. Das Training nutzt das Hybrid-Experts Iteration Framework und den HisPO-Algorithmus, um Reward-Manipulation zu verhindern. Benchmarktests zeigen, dass das Modell bei automatischer Formalisierung und Theorembeweisen neue Rekorde für Open-Source-Gewichtsmodelle aufgestellt hat.

Gate News Nachricht: Am 21. März gab Li Zixuan, Global Head von Zhipu Z.ai, auf der X-Plattform eine Erklärung ab: „Don't panic. GLM-5.1 will be open source." (Keine Panik, GLM-5.1 wird Open Source sein.) Der Veröffentlichungszeitpunkt und weitere Details des Modells wurden bislang nicht bekannt gegeben.

Der CEO von Hugging Face, Clément Delangue, kommentierte die Anwendung chinesischer Open-Source-Modelle in AI-Produkten und betonte, dass Open Source den Wettbewerb fördert. China wird zu einer Schlüsselrolle in der globalen AI-Technologie, wobei die Geschwindigkeit und Fähigkeit bei Anpassung und Feinabstimmung der entscheidende Wettbewerbsfaktor sind.

Peter Steinberger hat bei einer Veranstaltung von Sequoia Capital von der Gründung des Open-Source-AI-Frameworks OpenClaw berichtet. Er erzählte von der Frustration, die er empfand, als er mehrfach versuchte, Computer ferngesteuert zu steuern, was letztendlich dazu führte, dass er beschloss, selbst einen Prototyp zu entwickeln, der sich schrittweise zu dem heutigen OpenClaw entwickelte.

Gate News Nachricht: Am 20. März erklärte Musk, dass die X-Plattform nächste Woche ein großes Update des Künstliche-Intelligenz-Algorithmus veröffentlichen wird und plant, diesen zeitgleich als Open Source freizugeben.

Der Gründer des Open-Source-AI-Programmiertools OpenCode, Dax Raad, kündigte an, dass aufgrund einer rechtlichen Anforderung von Anthropic alle Anthropic-bezogenen Integrationen, einschließlich verwandter Plugins und Prompt-Dateien, in Version 1.3.0 entfernt werden. Trotz Versuche, mit Anthropic zu kommunizieren, um die Entwicklerfreiheit zu unterstützen, waren diese erfolglos. OpenCode ist eines der derzeit beliebtesten Open-Source-AI-Programmiertools mit über 126.000 GitHub-Stars.

Gate News Nachricht: Am 20. März kündigte WLFI die Einführung des Open-Source-Zahlungstoolkits AgentPay SDK für AI-Agenten an. Das SDK wurde auf USD1 aufgebaut, integriert Self-Hosted-Key-Management-Funktionen und einen richtliniengesteuerten Transaktionsautorisierungsmechanismus und kann mit gängigen AI-Entwicklungstools wie Claude Code, Codex, Cursor und OpenClaw verbunden werden.

OpenClaw, ein beliebtes Open-Source-KI-Projekt, war Ziel eines Phishing-Angriffs auf GitHub, der auf seine Entwickler abzielte.

Gate News Nachricht: Am 19. März plant die X-Plattform (ehemals Twitter), nächste Woche ein wichtiges Update des KI-Empfehlungsalgorithmus zu veröffentlichen und wird den Algorithmus gleichzeitig open-sourcen. Mit diesem Schritt sollen die Algorithmen-Transparenz erhöht und die Zusammenarbeit der Community gefördert werden, um die Leistung und Zuverlässigkeit des Algorithmus zu verbessern.

Gate News Nachricht: Am 19. März gab Musk in einem Social-Media-Beitrag bekannt, dass der xAI-Empfehlungsalgorithmus nächste Woche ein großes Update erhalten wird und gleichzeitig Open Source wird.