This also marks the 10th math research paper that Aletheia has helped power! Following its recent success with Erdős problems, it's incredible to see AI expanding into advanced topology. See all problems that Aletheia has helped at https://
github.com/google-deepmin
d/superhuman/tree/main/aletheia
…. Some quotes from the
RESEARCH
-
Aletheia AI Helps Power Advanced Math Research
By
–
-
AI system Aletheia autonomously generates proofs for topology problem
By
–
Recently, Aletheia (courtesy of Tony Feng) helped Stanford mathematician Ciprian Manolescu tackle Problem 5.16 from the K3 list (3rd version of Kirby’s List) in low-dimensional topology, autonomously generating proofs for the new paper “Undecidability problems for semifree DG
-
Study analyzes ChatGPT citation patterns in 70k conversations
By
–
Attention une visite de ChatGPT ne veut pas dire une citation dans ChatGPT, ni même qu'un utilisateur soit venu de ChatGPT. Chez @WhiteShipAI on a publié une étude sur 1.7 Millions de données à travers 70k conversations dispo ici : https://
whiteship.ai/blog/why-ai-mo
dels-cite-some-sources
… -
AI system Aletheia (Gemini) autonomously solves Kirby problem
By
–
Very excited to share a new milestone in AI for Math: Aletheia, powered by Gemini Deep Think, was just used to autonomously solve a Kirby problem! “Kirby’s list” is a “compendium of the most important unsolved problems in topology, the study of deformable shapes” (Quanta
-
Solving the Loop: Attractor Models for Transformer Language and Reasoning
By
–
“Solve the Loop: Attractor Models for Language and Reasoning” Looped Transformers can refine their thoughts internally, but they are usually unstable and tied to a fixed number of loops. So this paper turned recurrence into a fixed-point problem, where a Transformer first makes
-
ELF: A New Approach to Diffusion Language Models in Embedding Space
By
–
“ELF: Embedded Language Flows” Most diffusion LMs still treat language as discrete tokens, or keep forcing continuous states back into token space during generation. This paper runs diffusion almost entirely in continuous embedding space, then convert to tokens only at the
-
Comparative analysis of GQA, MLA, and Gated DeltaNet model architectures
By
–
Yes! It would be interesting whether this happens in GQA:SWA models only though or also in MLA or Gated DeltaNet models, for example.
-
TACO: A New Training-Free Framework for Terminal AI Agents
By
–
What if your terminal agent could learn to ignore the noise and keep only what matters? Researchers from University of Manchester, HKUST, and Beihang University present TACO — a plug-and-play, training-free framework that automatically discovers and refines compression rules