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
Qwen3.7 Max vs Nemotron 3.5 Lightning 30B A3B - AI Model Comparison
22+ min ago (27+ words) OpenCode Related comparisons. Other model pairs to check. Be the first to know about new releases....
Nemotron 3 Ultra 550B A55B vs GLM-5.2 - AI Model Comparison
22+ min ago (26+ words) OpenCode Related comparisons. Other model pairs to check. Be the first to know about new releases....
Qwen3.7 Plus vs Nemotron 3.5 Lightning 30B A3B - AI Model Comparison
23+ min ago (27+ words) OpenCode Related comparisons. Other model pairs to check. Be the first to know about new releases....
Qwen3.8 Max Preview vs Nemotron 3.5 Lightning 30B A3B - AI Model Comparison
22+ min ago (28+ words) OpenCode Related comparisons. Other model pairs to check. Be the first to know about new releases....
Qwen3.6 Plus vs Nemotron 3.5 Lightning 30B A3B - AI Model Comparison
22+ min ago (27+ words) OpenCode Related comparisons. Other model pairs to check. Be the first to know about new releases....
Nemotron 3 Ultra 550B A55B vs Sonar Pro - AI Model Comparison
22+ min ago (27+ words) OpenCode Related comparisons. Other model pairs to check. Be the first to know about new releases....
webAI Releases TwIL-LM: A 1.7B and 3B Formal-Logic Model Family for Autoformalization on Local Hardware
9+ min ago (252+ words) Four stages sit on top of the base model. LoRA supervised fine-tuning on a synthetic formal-logic corpus. Checkpoint fusion, averaging intermediate SFT checkpoints in parameter space. WiSE-FT interpolation back toward the pretrained base at λ = 0.25. Then MGPO, an entropy-weighted GRPO…...
From Molecular Lego to High-Quality Data
2+ hour, 55+ min ago (30+ words) Insilico Medicine Introducing sorbaMOF DB: High-Quality Data for Direct Air Capture (DAC) A Transferable Foundation for Next-Generation MaterialsBuilding on a Strategic AI–Energy Collaboration...
Prof. Apoorva Khare to address international maths webinar on August 15
54+ min ago (223+ words) Mathrubhumi English Mathematician Prof. Apoorva Khare of IISc, Bengaluru, will deliver the keynote lecture at the 18th international Math Ecstasy webinar organised by Maths Aspirants on August 15. Prof. Apoorva Khare of the Indian Institute of Science (IISc), Bengaluru, will deliver the…...
How to Translate English to Malay Accurately Using AI Tools
6+ hour, 29+ min ago (1569+ words) Translating English into Malay has become remarkably easy. You can paste a sentence into an AI tool and receive a Malay translation within seconds without even having to touch your keyboard. However, getting a translation that is grammatically correct, natural,…...