Mathematics

DeepSeek quietly open-sources Prover-V2 AI, a math-focused, 671B-parameter model using mixture-of-experts, on Hugging Face, one day after Alibaba released Qwen3 (www.scmp.com)
2 days ago Alibaba AI Mathematics

Comparison with Traditional Mathematics (aplwiki.com)
3 days ago Mathematics

Could a 'Math Genius' AI Co-author Proofs Within Three Years? (science.slashdot.org)
4 days ago AI Mathematics

The ‘trickonometry' of math olympiad inequalities (www.andreinc.net)
8 days ago Mathematics

Stonean spaces, projective objects, the Riesz representation theorem, and (possibly) condensed mathematics (terrytao.wordpress.com)
8 days ago Mathematics

US v. Google: DuckDuckGo CEO Gabriel Weinberg testifies that Chrome is worth “upwards of $50B if it went on the market” based on “back-of-the-envelope” math (www.bloomberg.com)
8 days ago Google Chrome Mathematics

Canadian Math Prodigy Allegedly Stole $65 Million In Crypto (yro.slashdot.org)
17 days ago Canada Mathematics

Nix Trigonometric Math Library from Ground Zero (lantian.pub)
19 days ago Mathematics

CORE-MATH: high performance open-source mathematical functions with correct rounding (core-math.gitlabpages.inria.fr)
20 days ago Mathematics

Sources: Meta aims to release Llama 4 later this month after pushing back its release date at least twice due to underperformance in reasoning and math tasks (www.theinformation.com)
28 days ago Mathematics

AI/Math Puzzle (aggressivelyparaphrasing.me)
2025-4-1 AI Mathematics

Kill Math (2011) (worrydream.com)
2025-3-26 Mathematics

Alibaba releases Qwen2.5-VL-32B, a 32B open model under Apache 2.0, claims better alignment with human preferences and math reasoning than earlier 2.5 VL models (simonwillison.net)
2025-3-25 Alibaba Mathematics

Programming Really Is Simple Mathematics (bertrandmeyer.com)
2025-2-26 Mathematics programming

A new math library for Ada - NeoSIMD (blog.adacore.com)
2025-2-23 Mathematics

Programming with Math | The Lambda Calculus (youtu.be)
2025-2-19 lambda Mathematics programming

Children's Arithmetic Skills Do Not Transfer Between Applied and Academic Mathematics (science.slashdot.org)
2025-2-13 Mathematics

DeepMind says its AlphaGeometry2 model solved 84% of International Math Olympiad's geometry problems from the last 25 years, surpassing average gold medalists (techcrunch.com)
2025-2-8 Mathematics

Corca: Collaborative Math Editor (corca.io)
2025-2-5 Mathematics

How Hudhayfa Nazoordeen, aka HudZah, a 20-year-old math student and an “AI native” in San Francisco, is building a nuclear fusor under Claude's tutelage (www.corememory.com)
2025-1-31 AI San Francisco Mathematics

A profile of DeepSeek creator Liang Wenfeng, a math geek who founded hedge fund High-Flyer in 2015 and had to apologize to investors about returns in 2021 (www.wsj.com)
2025-1-29 Mathematics

Chinese AI lab DeepSeek debuts DeepSeek-R1, an MIT-licensed model that does well with math, code, and reasoning tasks, alongside other open and distilled models (simonwillison.net)
2025-1-21 China AI Mathematics

OpenAI quietly funded independent math benchmark before setting record with o3 (the-decoder.com)
2025-1-21 Mathematics

SymPy, a Python library for symbolic mathematics (www.sympy.org)
2025-1-15 Python Mathematics

Rational or Not? This Basic Math Question Took Decades To Answer. (science.slashdot.org)
2025-1-11 Mathematics

Huge Math Error Corrected In Black Plastic Study (science.slashdot.org)
2024-12-17 Mathematics

The New Climate Math on Hurricanes (news.slashdot.org)
2024-11-30 Climate Mathematics

Alibaba releases QwQ-32B-Preview under an Apache 2.0 license and claims the “reasoning” AI model beats OpenAI's o1 models on the AIME and MATH tests (techcrunch.com)
2024-11-28 Alibaba AI Mathematics

Does Casio's New Calculator Watch Take You Back To 6th Grade Math Class? (science.slashdot.org)
2024-11-17 Mathematics

Is math the path to chatbots that don't make stuff up? (indianexpress.com)
2024-9-24 chatbot Mathematics

Previous Page Next Page