The Mathematics Search Engine
Mathematics News & Resources
4Mathematics is a specialist search engine for Mathematics. Discover the latest math news and mathematical content. Part of the 4SEARCH network of topic specific search engines.
Latest Articles
Science AI Tools
1+ hour, 53+ min ago (107+ words) Leanstral 1.5 - Mistral's open model for writing verified math proofs Claude Science - Anthropic’s app for AI-powered scientific research Autoscientist - Adaption's new tool for automating AI model training TRIBE v2 - Meta's predictive foundation model that simulates human brain responses to sights, sounds, and…...
AI Detectors in Academic Integrity Investigations: Benefits and Limitations | Trinka.ai
8+ hour, 43+ min ago (1360+ words) No data storage. No AI training. University AI Policy Hub New A university receives an assignment that appears to have been written with AI. An AI detector flags the submission as likely AI-generated. What happens next? This is where things…...
DeepSeek V4 Flash Vision Exp vs Laguna XS 2.1 - AI Model Comparison
1+ hour, 44+ min ago (106+ words) OpenRouter DeepSeek V4 Flash Vision Exp vs Laguna XS 2.1: side-by-side summary DeepSeek V4 Flash Vision Exp and Laguna XS 2.1 are available through the OpenRouter API, so switching between them takes a model slug change rather than a new integration. DeepSeek V4 Flash Vision…...
DeepSeek taught V4 Flash to “see” images. Why does it require fewer tokens to process than competing models?
7+ hour, 30+ min ago (198+ words) DeepSeek has released an experimental V4 Flash Vision, a version of its flagship model that can now work not only with text, but also with images and screenshots. The company claims that in tests of AI agents working with visual information,…...
AI and Advanced Computing Accelerate Scientific Research at Duke
40+ min ago (700+ words) Duke researchers are using advances in computing to expand our knowledge of biology and human health and build artificial intelligence systems people can understand and trust. AI fuels Duke research with the potential to improve human lives, from modeling patient…...
Nvidia Shows AI Agents Need More Than Models to Solve Complex Tasks
1+ hour, 3+ min ago (566+ words) A surprising benchmark result points to the software surrounding an AI model as the hidden force behind reliable multi-step reasoning. Nvidia has released research findings that reshape the understanding of the key factor behind the success of AI agents. For…...
DeepSeek V4 Flash Vision Exp vs Dots3-Note Preview - AI Model Comparison
1+ hour, 44+ min ago (99+ words) OpenRouter DeepSeek V4 Flash Vision Exp vs Dots3-Note Preview: side-by-side summary DeepSeek V4 Flash Vision Exp and Dots3-Note Preview are available through the OpenRouter API, so switching between them takes a model slug change rather than a new integration. DeepSeek V4 Flash Vision…...
DeepSeek V4 Flash Vision Exp vs GPT-5.6 Luna Pro - AI Model Comparison
1+ hour, 44+ min ago (107+ words) OpenRouter DeepSeek V4 Flash Vision Exp vs GPT-5.6 Luna Pro: side-by-side summary DeepSeek V4 Flash Vision Exp and GPT-5.6 Luna Pro are available through the OpenRouter API, so switching between them takes a model slug change rather than a new integration. DeepSeek…...
DeepSeek V4 Flash Vision Exp vs Llama Guard 4 12B - AI Model Comparison
1+ hour, 44+ min ago (112+ words) OpenRouter DeepSeek V4 Flash Vision Exp vs Llama Guard 4 12B: side-by-side summary DeepSeek V4 Flash Vision Exp and Llama Guard 4 12B are available through the OpenRouter API, so switching between them takes a model slug change rather than a new integration. DeepSeek V4 Flash Vision…...
DeepSeek V4 Flash Vision Exp vs GPT-5.6 Luna - AI Model Comparison
1+ hour, 44+ min ago (103+ words) OpenRouter DeepSeek V4 Flash Vision Exp vs GPT-5.6 Luna: side-by-side summary DeepSeek V4 Flash Vision Exp and GPT-5.6 Luna are available through the OpenRouter API, so switching between them takes a model slug change rather than a new integration. DeepSeek V4 Flash Vision…...