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.
Mathematicians warn of AI threats to profession as industry encroaches
Ars Technica AI12 days agoEthicsMathematicians are warning that AI industry expansion could reshape their profession and research ecosystem. The International Mathematical Union has endorsed concerns about growing technology industry influence. The supplied excerpt does not identify specific companies, models, or proposals, so the central issue is professional autonomy rather than a particular AI system.
An OpenAI model solved a famous math problem that stumped humans for 80 years
Ars Technica AI13 days agoCommentaryArs Technica reports that an unspecified OpenAI model solved a famous math problem that had stumped humans for roughly 80 years. The article aims to explain the solution more clearly than OpenAI's own account. The provided excerpt does not identify the problem, model, proof steps, validation process, or degree of human involvement, so the scope of the reported breakthrough cannot be assessed from it alone.
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)…