Heim
Meituan stellt „LongCat“ mit 56 Milliarden Parametern vor und setzt damit neue Maßstäbe im Bereich des mathematischen Schlussfolgerns in Open Source
Während große Sprachmodelle zunehmend in spezialisierte Fachgebiete vordringen, hat Meituan eine herausragende Lösung vorgestellt, die sowohl in der Wissenschaft als auch in der Industrie großes Interesse geweckt hat.
Am 21. März stellte Meituan offiziell LongCat-Flash-Prover vor, ein groß angelegtes Modell für mathematisches Schlussfolgern. Dieses leistungsstarke System mit 567,7 Milliarden Parametern nutzt eine fortschrittliche MoE-Architektur (Mixture of Experts) und ist speziell für die Bearbeitung hochkomplexer formaler mathematischer Beweise optimiert.
In führenden Benchmarks zur Bewertung des logischen Schlussfolgerns hat LongCat-Flash-Prover eine außergewöhnliche Leistung gezeigt:
Rekordleistung: Beim MiniF2F-Test erzielte es eine bemerkenswerte Punktzahl von 97,1 % und benötigte dafür nur 72 Schlussfolgerungsversuche.
Lösung schwieriger Probleme: Es löste erfolgreich 41,5 % der Aufgaben im PutnamBench-Datensatz. Beide Ergebnisse stellen neue weltweite State-of-the-Art-Rekorde (SOTA) auf.
Um große Modelle mit der Präzision eines Mathematikers auszustatten, hat Meituan mehrere entscheidende technische Innovationen umgesetzt:
Reduzierung von „Halluzinationen“: Es wurde ein mehrstufiger Verifizierungsprozess auf Basis von Abstract Syntax Trees (AST) eingeführt, zusammen mit der Integration der formalen Sprache Lean4, wodurch logische Fehler und „Halluzinationen“ bei KI-Schlussfolgerungen effektiv minimiert werden.
Fortschrittliche Trainingsmethoden: Um die bei Aufgaben mit langem Zeithorizont in MoE-Modellen häufig auftretende Instabilität zu beheben, setzte Meituan seinen proprietären HisPO-Algorithmus ein. In Kombination mit einer Konsistenzprüfung von Theoremen verhindert dieser Ansatz „Reward Hacking“ während des verstärkenden Lernens.
Optimierte Architektur: Mit insgesamt 560 Milliarden Parametern verfügt das Modell über eine umfassende Wissensbasis, während die MoE-Struktur eine effiziente und flexible Inferenz gewährleistet.
Meituan hat das Modell und seinen Quellcode auf GitHub und Hugging Face vollständig als Open Source veröffentlicht.
Mit der Veröffentlichung von LongCat-Flash-Prover
Verwandter Artikel
Meta möchte, dass Ihr nächstes Gadget mit Muse-Technologie ausgestattet ist
Metas Muse, ein KI-Assistent, der Buchungen für Reisen, Formularübermittlungen und Einkäufe übernimmt, hat eine weit verbreitete Akzeptanz gefunden, doch eine neue Initiative könnte insbesondere Entwickler und Hardware-Enthusiasten interessieren.Am
Wan-Streamer v0.2 bietet ultra-niedrige Latenz für KI-Chats
Da sich die moderne Technologie rasch weiterentwickelt, wird die Interaktion zwischen Mensch und KI immer häufiger. Traditionelle Videoanrufe kämpfen oft mit Verzögerungen, Latenzzeiten und einer Synchronisationslücke zwischen Audio und Video. Wan-St
Meta schließt sich TSMC und Micron an, um neue Server mit alter Speicherhardware auszustatten
Während die Einführung künstlicher Intelligenz weltweit voranschreitet, herrscht bei dem nächsten Generation DDR5-Speicher eine kritische Knappheit. Um Verzögerungen beim Aufbau von KI-Rechenzentren zu vermeiden, hat Meta mit Branchenführern wie TSMC
Empfehlungen zu verwandten Spezialthemen
Design & Kunst
Die besten KI-Illustrationstools: Redaktionelle Szenen und Cover-Grafiken schneller erstellen
Die besten und am besten bewerteten KI-Illustrationstools 2026: Unsere sorgfältig zusammengestellte Liste enthält die leistungsstärksten Tools, mit denen Sie im Handumdrehen atemberaubende redaktionelle Szenen und auffällige Cover-Grafiken erstellen können. Jede Option wurde strengen Praxistests unterzogen und wird im Vergleich zwischen kostenlosen und kostenpflichtigen Versionen vorgestellt, damit Sie die perfekte Lösung für Ihren Arbeitsablauf finden können. Probieren Sie diese unverzichtbaren Lösungen noch heute aus, um Ihren KI-Vorteil zu nutzen und Ihre kreative Produktivität zu steigern. Entdecken Sie sie jetzt auf XIX.AI.
10 Tools
xix.ai
Bildung und Lernen
Die besten KI-Nachhilfelehrer für die Prüfungsvorbereitung: Üben Sie Mathematik, Naturwissenschaften und Englisch
Die besten und am besten bewerteten KI-Nachhilfetools für die Prüfungsvorbereitung des Jahres 2026 finden Sie hier auf XIX.AI! Unsere sorgfältig zusammengestellte Liste enthält leistungsstarke, bahnbrechende Tools, die einen Vergleich zwischen kostenlosen und kostenpflichtigen Angeboten, Tests aus der Praxis sowie wöchentlich aktualisierte Rankings bieten. Sie helfen Ihnen dabei, Ihre Schreibeffizienz zu steigern, das Erlernen komplexer Themen zu vereinfachen und Ihr akademisches Potenzial voll auszuschöpfen. Entdecken Sie jetzt Ihr perfektes Tool zur Prüfungsvorbereitung und legen Sie noch heute los, um Ihren KI-Vorteil zu nutzen!
10 Tools
xix.ai
Finanzen
KI-Budgetplanungstools für das persönliche Geldmanagement
2026 Neueste Besten Top-Bewertete KI-Budgetplanungs-Tools für persönliches Geldmanagement sind hier auf XIX.AI! Diese kuratierte Sammlung bietet leistungsstarke, revolutionäre Lösungen, die Ihnen helfen, reale Tests durchzuführen, Ausgaben Gewohnheiten zu verstehen und personalisierte Pläne zu erstellen, um die Produktivität zu steigern. Genießen Sie einen kostenlosen vs. bezahlten Vergleich sowie detaillierte Rankings. Unbedingt auszuprobierende Tools, die darauf ausgelegt sind, das Geldmanagement zu vereinfachen und Ihre KI-Vorteile freizuschalten. Entdecken Sie jetzt!
11 Tools
xix.ai
Gesundheit Wellness
KI-gestützte Schlafüberwachungsassistenten: Verbessern Sie Ihre Erholung durch bessere Gewohnheiten vor dem Schlafengehen
2026 – Die neuesten, besten und am höchsten bewerteten AI-Geräte zur Schlafüberwachung, sorgfältig ausgewählt für eine optimale Erholung. Dieser vollständig aktualisierte wöchentliche Leitfaden präsentiert leistungsstarke Tools mit praktischen Tests, einem Vergleich von kostenlosen und kostenpflichtigen Optionen sowie detaillierten Ranglisten, um Ihnen die beste Lösung zu zeigen, die die Schlafqualität verbessert und bessere Gewohnheiten zum Zubettgehen fördert. Entdecken Sie ihn jetzt auf XIX.AI, um Ihren Vorteil durch KI zu nutzen.
10 Tools
xix.ai
Datenanalyse
KI-gestützte SQL-Copilots für Produkt- und Umsatzanalysen
Die besten und am besten bewerteten KI-SQL-Copilots für Produkt- und Umsatzanalysen im Jahr 2026! XIX.AI hat eine leistungsstarke, bahnbrechende Sammlung unverzichtbarer Tools zusammengestellt, die anhand wöchentlich aktualisierter Rankings in der Praxis getestet werden. Diese Tools helfen Anwendern dabei, ihre Produktivität erheblich zu steigern, indem sie die Datenanalyse beschleunigen, komplexe Abfragen optimieren und präzise Erkenntnisse liefern, um intelligentere Geschäftsentscheidungen zu ermöglichen. Entdecken Sie jetzt das perfekte Tool, um Ihren KI-Vorteil voll auszuschöpfen!
14 Tools
xix.ai
Bildung und Lernen
Die besten KI-Hausaufgabenhelfer, die wirklich etwas vermitteln: Lerne Konzepte, nicht nur Antworten
2026: Die aktuell besten und am besten bewerteten KI-Hausaufgabenhelfer, die nicht nur Antworten liefern, sondern auch Kernkonzepte vermitteln – leistungsstarke Tools für Schüler und Studenten. Eine kuratierte Liste, die Sie unbedingt ausprobieren sollten. Wöchentlich aktualisiert. Vergleich zwischen kostenlosen und kostenpflichtigen Angeboten. Praxistests. Genaue Rankings, die Ihnen helfen, Ihr volles Lernpotenzial auszuschöpfen. Entdecken Sie jetzt das perfekte Tool für intelligenteres Lernen.
10 Tools
xix.ai
Kommentare (0)
Während große Sprachmodelle zunehmend in spezialisierte Fachgebiete vordringen, hat Meituan eine herausragende Lösung vorgestellt, die sowohl in der Wissenschaft als auch in der Industrie großes Interesse geweckt hat.
Am 21. März stellte Meituan offiziell LongCat-Flash-Prover vor, ein groß angelegtes Modell für mathematisches Schlussfolgern. Dieses leistungsstarke System mit 567,7 Milliarden Parametern nutzt eine fortschrittliche MoE-Architektur (Mixture of Experts) und ist speziell für die Bearbeitung hochkomplexer formaler mathematischer Beweise optimiert.
In führenden Benchmarks zur Bewertung des logischen Schlussfolgerns hat LongCat-Flash-Prover eine außergewöhnliche Leistung gezeigt:
Rekordleistung: Beim MiniF2F-Test erzielte es eine bemerkenswerte Punktzahl von 97,1 % und benötigte dafür nur 72 Schlussfolgerungsversuche.
Lösung schwieriger Probleme: Es löste erfolgreich 41,5 % der Aufgaben im PutnamBench-Datensatz. Beide Ergebnisse stellen neue weltweite State-of-the-Art-Rekorde (SOTA) auf.
Um große Modelle mit der Präzision eines Mathematikers auszustatten, hat Meituan mehrere entscheidende technische Innovationen umgesetzt:
Reduzierung von „Halluzinationen“: Es wurde ein mehrstufiger Verifizierungsprozess auf Basis von Abstract Syntax Trees (AST) eingeführt, zusammen mit der Integration der formalen Sprache Lean4, wodurch logische Fehler und „Halluzinationen“ bei KI-Schlussfolgerungen effektiv minimiert werden.
Fortschrittliche Trainingsmethoden: Um die bei Aufgaben mit langem Zeithorizont in MoE-Modellen häufig auftretende Instabilität zu beheben, setzte Meituan seinen proprietären HisPO-Algorithmus ein. In Kombination mit einer Konsistenzprüfung von Theoremen verhindert dieser Ansatz „Reward Hacking“ während des verstärkenden Lernens.
Optimierte Architektur: Mit insgesamt 560 Milliarden Parametern verfügt das Modell über eine umfassende Wissensbasis, während die
Meituan hat das Modell und seinen Quellcode auf GitHub und Hugging Face vollständig als Open Source veröffentlicht.
Mit der Veröffentlichung von LongCat-Flash-Prover
Meta möchte, dass Ihr nächstes Gadget mit Muse-Technologie ausgestattet ist
Metas Muse, ein KI-Assistent, der Buchungen für Reisen, Formularübermittlungen und Einkäufe übernimmt, hat eine weit verbreitete Akzeptanz gefunden, doch eine neue Initiative könnte insbesondere Entwickler und Hardware-Enthusiasten interessieren.Am
Wan-Streamer v0.2 bietet ultra-niedrige Latenz für KI-Chats
Da sich die moderne Technologie rasch weiterentwickelt, wird die Interaktion zwischen Mensch und KI immer häufiger. Traditionelle Videoanrufe kämpfen oft mit Verzögerungen, Latenzzeiten und einer Synchronisationslücke zwischen Audio und Video. Wan-St
Meta schließt sich TSMC und Micron an, um neue Server mit alter Speicherhardware auszustatten
Während die Einführung künstlicher Intelligenz weltweit voranschreitet, herrscht bei dem nächsten Generation DDR5-Speicher eine kritische Knappheit. Um Verzögerungen beim Aufbau von KI-Rechenzentren zu vermeiden, hat Meta mit Branchenführern wie TSMC
Die besten und am besten bewerteten KI-Illustrationstools 2026: Unsere sorgfältig zusammengestellte Liste enthält die leistungsstärksten Tools, mit denen Sie im Handumdrehen atemberaubende redaktionelle Szenen und auffällige Cover-Grafiken erstellen können. Jede Option wurde strengen Praxistests unterzogen und wird im Vergleich zwischen kostenlosen und kostenpflichtigen Versionen vorgestellt, damit Sie die perfekte Lösung für Ihren Arbeitsablauf finden können. Probieren Sie diese unverzichtbaren Lösungen noch heute aus, um Ihren KI-Vorteil zu nutzen und Ihre kreative Produktivität zu steigern. Entdecken Sie sie jetzt auf XIX.AI.
10 Tools
xix.ai
Die besten und am besten bewerteten KI-Nachhilfetools für die Prüfungsvorbereitung des Jahres 2026 finden Sie hier auf XIX.AI! Unsere sorgfältig zusammengestellte Liste enthält leistungsstarke, bahnbrechende Tools, die einen Vergleich zwischen kostenlosen und kostenpflichtigen Angeboten, Tests aus der Praxis sowie wöchentlich aktualisierte Rankings bieten. Sie helfen Ihnen dabei, Ihre Schreibeffizienz zu steigern, das Erlernen komplexer Themen zu vereinfachen und Ihr akademisches Potenzial voll auszuschöpfen. Entdecken Sie jetzt Ihr perfektes Tool zur Prüfungsvorbereitung und legen Sie noch heute los, um Ihren KI-Vorteil zu nutzen!
10 Tools
xix.ai
2026 Neueste Besten Top-Bewertete KI-Budgetplanungs-Tools für persönliches Geldmanagement sind hier auf XIX.AI! Diese kuratierte Sammlung bietet leistungsstarke, revolutionäre Lösungen, die Ihnen helfen, reale Tests durchzuführen, Ausgaben Gewohnheiten zu verstehen und personalisierte Pläne zu erstellen, um die Produktivität zu steigern. Genießen Sie einen kostenlosen vs. bezahlten Vergleich sowie detaillierte Rankings. Unbedingt auszuprobierende Tools, die darauf ausgelegt sind, das Geldmanagement zu vereinfachen und Ihre KI-Vorteile freizuschalten. Entdecken Sie jetzt!
11 Tools
xix.ai
2026 – Die neuesten, besten und am höchsten bewerteten AI-Geräte zur Schlafüberwachung, sorgfältig ausgewählt für eine optimale Erholung. Dieser vollständig aktualisierte wöchentliche Leitfaden präsentiert leistungsstarke Tools mit praktischen Tests, einem Vergleich von kostenlosen und kostenpflichtigen Optionen sowie detaillierten Ranglisten, um Ihnen die beste Lösung zu zeigen, die die Schlafqualität verbessert und bessere Gewohnheiten zum Zubettgehen fördert. Entdecken Sie ihn jetzt auf XIX.AI, um Ihren Vorteil durch KI zu nutzen.
10 Tools
xix.ai
Die besten und am besten bewerteten KI-SQL-Copilots für Produkt- und Umsatzanalysen im Jahr 2026! XIX.AI hat eine leistungsstarke, bahnbrechende Sammlung unverzichtbarer Tools zusammengestellt, die anhand wöchentlich aktualisierter Rankings in der Praxis getestet werden. Diese Tools helfen Anwendern dabei, ihre Produktivität erheblich zu steigern, indem sie die Datenanalyse beschleunigen, komplexe Abfragen optimieren und präzise Erkenntnisse liefern, um intelligentere Geschäftsentscheidungen zu ermöglichen. Entdecken Sie jetzt das perfekte Tool, um Ihren KI-Vorteil voll auszuschöpfen!
14 Tools
xix.ai
2026: Die aktuell besten und am besten bewerteten KI-Hausaufgabenhelfer, die nicht nur Antworten liefern, sondern auch Kernkonzepte vermitteln – leistungsstarke Tools für Schüler und Studenten. Eine kuratierte Liste, die Sie unbedingt ausprobieren sollten. Wöchentlich aktualisiert. Vergleich zwischen kostenlosen und kostenpflichtigen Angeboten. Praxistests. Genaue Rankings, die Ihnen helfen, Ihr volles Lernpotenzial auszuschöpfen. Entdecken Sie jetzt das perfekte Tool für intelligenteres Lernen.
10 Tools
xix.ai
