24H AI und Tech Updates:
OpenAI hat ein internes Modell entwickelt, das ein mathematisches Problem gelöst hat: OpenAI gab bekannt, dass ihr internes AI-Modell (angeblich 'goblin' genannt) das lange ungelöste Problem der planaren Einheitliche Distanz, das 1946 von Paul Erdős aufgeworfen wurde, gelöst hat, was einen bedeutenden Fortschritt für AI in der formalen Beweisführung und mathematischen Forschung darstellt.
Neue Papers und Open-Source-Projekte sprießen (arXiv Einreichungen vom 21.-22. Mai): MOSS: Ein autonomes Agentensystem, das sich durch Quellcode-Umstrukturierung selbst weiterentwickelt, inklusive GitHub-Code.
Gated DeltaNet-2: Entkopplung von Lösch- und Schreiboperationen in linearer Aufmerksamkeit, Open-Source-Implementierung von NVlabs.
Mathematikforschung vorantreiben mit AI-gesteuerten formalen Beweis-Suchen: Kooperation zwischen Google DeepMind und anderen Institutionen zur Nutzung von AI für die Suche nach formalen Beweisen in der Mathematik.
Weitere Highlights sind DeepWeb-Bench (Benchmark für tiefes Lernen), SOLAR (lebenslanges Lernen autonomer Agenten), WorkstreamBench (Bewertung von LLM-Agenten für Finanzanwendungen) und mehr, mit Fokus auf Agenten, Schlussfolgerungen und multimodale Anwendungen.
Open-Source-AI fördert die Robotik-Entwicklung: NVIDIA, Hugging Face und andere treiben Open-Source-Roboterplattformen (wie Cosmos-Weltmodell, GR00T-Modell, LeRobot) voran, um die Einstiegshürden für den Bau von embodied intelligenten Robotern zu senken, und unterstützen physische AI und Schlussfolgerungsaufgaben.
Produktupdates und Unternehmensneuigkeiten:
Zoom Q1 Finanzbericht: Umsatzwachstum, die Anzahl der zahlenden Nutzer des AI Companion stieg um 184%, Jahresprognose wurde angehoben.
Workday Q1: AI-Strategie übertrifft die Umsatzprognosen.
Adobe, Canva und CapCut integrieren Gemini zur Bearbeitung von Bildern/Videos innerhalb der App.
ElevenLabs hat eine AI-Sprach-App eingeführt und 200.000 Hörbücher lizenziert.
Trump verschiebt die Unterzeichnung einer AI-executive order, angeblich wegen Bedenken über übermäßige Regulierung, und hat zuvor mit Zuckerberg, Musk und Sacks kommuniziert.
Sonstiges:
Spotify kooperiert mit Universal Music, um Fans AI-generierte Coverversionen/Mixes zu ermöglichen; Open-Source-AI-Firewalls, SDR-Tools und andere Community-Projekte sind aktiv; AmpliTech zeigt eine Demonstration der Open-Source AI-RAN-Technologie.
#AI动态 #科技新闻
Willkommen beim Mediziner Liao - Binance Square Creator mit zehntausenden Fans.
OpenAI hat ein internes Modell entwickelt, das ein mathematisches Problem gelöst hat: OpenAI gab bekannt, dass ihr internes AI-Modell (angeblich 'goblin' genannt) das lange ungelöste Problem der planaren Einheitliche Distanz, das 1946 von Paul Erdős aufgeworfen wurde, gelöst hat, was einen bedeutenden Fortschritt für AI in der formalen Beweisführung und mathematischen Forschung darstellt.
Neue Papers und Open-Source-Projekte sprießen (arXiv Einreichungen vom 21.-22. Mai): MOSS: Ein autonomes Agentensystem, das sich durch Quellcode-Umstrukturierung selbst weiterentwickelt, inklusive GitHub-Code.
Gated DeltaNet-2: Entkopplung von Lösch- und Schreiboperationen in linearer Aufmerksamkeit, Open-Source-Implementierung von NVlabs.
Mathematikforschung vorantreiben mit AI-gesteuerten formalen Beweis-Suchen: Kooperation zwischen Google DeepMind und anderen Institutionen zur Nutzung von AI für die Suche nach formalen Beweisen in der Mathematik.
Weitere Highlights sind DeepWeb-Bench (Benchmark für tiefes Lernen), SOLAR (lebenslanges Lernen autonomer Agenten), WorkstreamBench (Bewertung von LLM-Agenten für Finanzanwendungen) und mehr, mit Fokus auf Agenten, Schlussfolgerungen und multimodale Anwendungen.
Open-Source-AI fördert die Robotik-Entwicklung: NVIDIA, Hugging Face und andere treiben Open-Source-Roboterplattformen (wie Cosmos-Weltmodell, GR00T-Modell, LeRobot) voran, um die Einstiegshürden für den Bau von embodied intelligenten Robotern zu senken, und unterstützen physische AI und Schlussfolgerungsaufgaben.
Produktupdates und Unternehmensneuigkeiten:
Zoom Q1 Finanzbericht: Umsatzwachstum, die Anzahl der zahlenden Nutzer des AI Companion stieg um 184%, Jahresprognose wurde angehoben.
Workday Q1: AI-Strategie übertrifft die Umsatzprognosen.
Adobe, Canva und CapCut integrieren Gemini zur Bearbeitung von Bildern/Videos innerhalb der App.
ElevenLabs hat eine AI-Sprach-App eingeführt und 200.000 Hörbücher lizenziert.
Trump verschiebt die Unterzeichnung einer AI-executive order, angeblich wegen Bedenken über übermäßige Regulierung, und hat zuvor mit Zuckerberg, Musk und Sacks kommuniziert.
Sonstiges:
Spotify kooperiert mit Universal Music, um Fans AI-generierte Coverversionen/Mixes zu ermöglichen; Open-Source-AI-Firewalls, SDR-Tools und andere Community-Projekte sind aktiv; AmpliTech zeigt eine Demonstration der Open-Source AI-RAN-Technologie.
#AI动态 #科技新闻
Willkommen beim Mediziner Liao - Binance Square Creator mit zehntausenden Fans.