KI forscht wie Mathematiker: Benchmark TCSExam prüft Beweise maschinell
From Tokenstrom – KI-News des Tages · 9:02
Show by Tokenstrom
Turing-Preisträger Andrew Yao und Moonshot-AI-Gründer Yang Zhilin stellen mit TCSExam einen Test aus 100 echten Forschungsaufgaben der theoretischen Informatik vor. KI-Agenten wie GPT-6 Astra und Kimi K3 lieferten dabei maschinell überprüfbare neue Ergebnisse – etwa einen Graphen mit einer Kante mehr als der bisherige Rekord und einen Beweis, der eine Vermutung von 8 auf 9 Dimensionen ausweitet.Ganzer Artikel mit Quellen: https://tokenstrom.de/posts/ki-forscht-wie-mathematiker-benchmark-tcsexam-pruft-beweise-maschinell/Gesprochen von einer KI-Stimme.
More episodes of Tokenstrom – KI-News des Tages
More episodes
- LingBot-Touch: Winziges Open-Source-Modell gibt Roboterhänden einen Tastsinn
- Ohne Programmierkenntnisse: Mann baut mit Claude angeblich riesiges Open-World-Spiel in 4 Tagen
- llama.cpp v1: Erste stabile Version der wichtigsten Software für lokale KI
- Anthropics Angriffs-KI Anvil knackt Schutzfilter schneller als menschliche Profis
- KI entschlüsselt Gödels Notizbücher: Hunderte unbekannte Sätze entdeckt
- Tontaube V1.1: Offene Sprachsynthese mit Stimmklonen – Deutsch inklusive, läuft auch auf CPU
- Mimvox: Eigene Stimme lokal klonen, in 60 Sprachen sprechen und Videos neu vertonen
- Nach Huangs Rücktritt: US-Geheimdienste zweifeln an Spionagevorwürfen
- KI-Wetter schlägt Physik – aber nur, wenn KI-Daten Schiedsrichter sind?
- Suno Bridge: KI-Gesang und Instrumente direkt in Ableton Live erzeugen
PodSearch is a free, independent podcast search engine. Read about PodSearch, the privacy policy or contact us.