The Mathematics Search Engine

3+ hour, 24+ min ago  (315+ words) Anthropic researcher Levent Alpoge announced on July 20, 2026, that he used the artificial intelligence model Claude Fable 5 to disprove the 87-year-old Jacobian conjecture, a foundational open problem in algebraic geometry originally posed in 1939 by German mathematician Ott-Heinrich Keller. Writing on X,…...

9+ hour, 49+ min ago  (214+ words) Autodesk News How data and AI are transforming manufacturing workflows Manufacturing is living through one of the most consequential periods in its history. Markets are shifting, supply chains are evolving, and customer expectations are rising. Decades from now, we’ll look…...

2+ hour, 35+ min ago  (484+ words) Artificial intelligence (AI) systems are now part of everyday life, writing software, tidying up your shopping list, and answering questions. While we know they sit on top of large language models (LLMs), we still understand surprisingly little about what happens…...

52+ min ago  (41+ words) While many wildlife photographers use technology to tweak certain parts of a photograph in order to get the “perfect” image, AI tools, with their tendency to add or “hallucinate” details, can, literally and figuratively, lead researchers on a wild-goose chase...

6+ hour, 51+ min ago  (28+ words) Anthropic: Claude Fable 5 hanzo.ai Anthropic: Claude Fable 5 Use Anthropic: Claude Fable 5 via Hanzo AI One API key. Every major model. OpenAI-compatible. Start free....

12+ hour, 53+ min ago  (157+ words) Deadline: August 14, 2026 Applications are open for the Kennan Institute Digital Fellowship 2026-2027. The Kennan Institute Digital Fellowship program is meant to promote original scholarship and quality non-fiction writing about Russia and the former Soviet Union. Fellowships will be awarded to ten…...

1+ hour, 6+ min ago  (165+ words) How we moved from "semantic search + hope" to a measured, tunable retrieval pipeline with 95% recall@10 Everyone ships RAG the same way: chunk by 512 tokens, embed with text-embedding-3-small, top-k=5, stuff into context. It works for demos. Then you hit production:…...

1+ hour, 8+ min ago  (192+ words) How we replaced "looks good to me" with automated evaluation catching 92% of hallucinations before deployment Three months ago, our team shipped a RAG-based customer support assistant. It worked great in testing — we'd ask it questions, read the answers, and say…...

1+ hour, 53+ min ago  (104+ words) This is a hybrid role to be based out of either our Reston, VA/Washington DC office or our Somerville MA office. This role spans three practical execution areas: Computer Vision & Image Analytics Geospatial & Location Inference from Imagery Multi-Modal AI…...

1+ hour, 37+ min ago  (1307+ words) The largest AI event in history is astonishingly hot, both psychologically and physically. Even Yili and Luckin have each booked a huge booth. Yili played on a homophone, hanging up an advertisement for "Real AI (Love) Milk"; Luckin has long…...