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


shattered.io > ifm-k2-horizon-open-source-ai-models-2026

IFM Ships K2 Horizon: 6 Open-Source AI Models, 375B Params [2026]

3+ week, 2+ day ago   (1316+ words) Eric Xing, identified by Reuters as IFM’s founder, said the goal was to let outside researchers “retrace the models’ development process and reproduce results.” That’s a specific, testable claim, and it’s one most model releases in 2026 don’t even attempt. Most…...


thezvi.substack.com > i > 21/94/53115 > quickly-there-s-no-time

AI #190: Scion of the Times

19+ hour, 10+ min ago   (1828+ words) The amount of code being written at Anthropic continues to rise exponentially. It is being managed by Scion, their internal replacement for GitHub that is better suited to the scale and style of the operation, which they created with a…...


lesswrong.com > posts > LeFBmAALeJ6keLLqu > three-perspectives-on-corrigibility-shards-simulators

Three perspectives on corrigibility - shards, simulators, singular learning — LessWrong

5+ hour, 53+ min ago   (1746+ words) This post was first drafted as part of the ML4Good bootcamp. Would it be possible to implement a corrigible agent? Is that likely to happen given current trajectories? Historically, the answer was a resounding "no", but with more recent theories about…...


lesswrong.com > posts > TbrmHshmcQMobveD3 > how-can-llm-rl-work-despite-information-theoretic

How can LLM RL Work Despite Information-Theoretic Inefficiency — LessWrong

2+ hour, 32+ min ago   (404+ words) Cross-posted from my personal blog This is all profoundly mystifying. Somehow all of the intuitions and understanding we have of pretraining, the previous paradigm of RL, and general information-theoretic reasoning all appear completely incorrect when it comes to LLM RL....


customerthink.com > airship-achieves-iso-42001-certification-clearing-the-path-for-responsible-enterprise-ai

Airship Achieves ISO 42001 Certification, Clearing the Path for Responsible Enterprise AI

1+ hour, 40+ min ago   (159+ words) One of the first in the customer experience industry to achieve the global AI governance standard, Airship enables enterprises to minimize risk, streamline procurement, protect brand, and accelerate EU AI Act readiness. Enterprise product and marketing leaders face mounting pressure…...


analyticsvidhya.com > blog > 2026 > 10 > rag-hallucination-filter-using-jev

JEV as a Hallucination Filter: Let the LLM Write, Let JEV Check

1+ hour, 38+ min ago   (1424+ words) India's Most Futuristic AI Conference Is Back – Bigger, Sharper, Bolder The majority of hallucination checks begin following the initial writing of an answer by the LLM. We then hold someone up to a second standard of judgment, or we hand…...


indiatoday.in > education-today > news > story > iit-delhi-robotics-programme-applications-ai-robot-control-course-2027-five-month-online-3018610-2026-10-16

IIT Delhi invites applications for five-month online Robotics Programme

1+ hour, 8+ min ago   (192+ words) The programme will start on January 30, 2027, and conclude on June 26, 2027. Candidates who have completed graduation with at least 50 per cent marks are eligible to apply. The online classes will be conducted on Saturdays and alternate Sundays, from 10 am to 2:30 pm,…...


ai4bharat.github.io > indic-llm-eval-suite-blog

Better Indic Models Need Better Benchmarks: Introducing Indic-LLM-Eval-Suite

9+ hour, 13+ min ago   (1255+ words) Authors listed in alphabetical order by first name · October 2026 An open, evolving collection of benchmarks to help the community build and evaluate better language models for India. Consider a model that performs exceptionally well on mathematical reasoning benchmarks in English....


lokmattimes.com > business > indian-lab-sthanikas-ai-model-takes-second-place-on-jev-decision-index

Indian Lab Sthanika's AI Model Takes Second Place on Jev Decision Index

46+ min ago   (347+ words) Hyderabad (Telangana) [India], October 16: Sthanika, the applied AI research lab of the PurpleTalk group, today announced that its Sieve 31B model has ranked second globally on the Jev Decision Index, an open benchmark hosted on Hugging Face for AI models built…...


kucoin.com > news > flash > xiaomi-open-sources-spatial-audio-understanding-model-midashenglm-spatial

Xiaomi open-sources the spatial audio understanding model MiDashengLM-Spatial

3+ hour, 31+ min ago   (223+ words) KuCoin Xiaomi open-sources the spatial audio understanding model MiDashengLM-Spatial IT Home, October 16: Xiaomi announced yesterday the introduction of MiDashengLM-Spatial, a significant new member of the Dasheng series, fully releasing the model weights and inference code under the Apache 2.0 license. Over…...