Scaling Past Informal AI - Carina Hong, Axiom Math
Latent Space11 days agoCommentaryLatent Space interviews Carina Hong of Axiom Math on verified generation and compounding intelligence. The discussion centers on moving AI from plausible informal answers toward outputs that can be checked or proven. For builders and researchers, the theme matters because verification may become a core layer for reliable reasoning in math, software, and other high-stakes domains.
OpenAI GPT-next 僅花費不到 1,000 美元，便證偽了高達 80 年歷史的 Erdős 平面單位距離猜想★ 90
Latent Space24 days agoReleaseA historic and landmark breakthrough has arrived at the intersection of artificial intelligence and mathematics. According to Latent Space, OpenAI's…
Gemini Deep Think 加速數學與科學發現：學術研究展現其跨領域的強大推理影響力★ 82
Google DeepMind Blog125 days agoCommentaryGoogle DeepMind recently published an article exploring how its deep-reasoning model, "Gemini Deep Think," is transforming the landscape of mathematics and…
Import AI 442：AI 經濟中的贏家與輸家、數學證明自動化，以及網路間諜活動的工業化★ 75
Import AI (Jack Clark)139 days agoCommentaryIn this issue of Import AI 442, Jack Clark raises a core fundamental question: "Will the arrival of superintelligence be an instantaneous 'phase change,' or a…
你也能設計出最先進的 Transformer 位置編碼：從直覺到 RoPE 的數學推導★ 75
Hugging Face Blog566 days agoTutorialThis educational article from Hugging Face aims to guide readers — in the most intuitive, step-by-step way — to "reinvent" RoPE (Rotary Position Embedding)…