Mathematics

At a clandestine math conclave in Berkeley in May, a chatbot powered by o4-mini answered some of the hardest solvable problems much faster than a mathematician (www.scientificamerican.com)
8 days ago chatbot Mathematics

DeepSeek says its R1 update can perform mathematics, programming, and general logic better than the previous version, and comes close to o3 and Gemini 2.5 Pro (www.bloomberg.com)
18 days ago Mathematics programming

In nature's math, freedoms are fundamental (www.eurekalert.org)
19 days ago Mathematics

Luciole Math: a typeface developed explicitly for visually impaired academics (luciole-vision.com)
20 days ago Mathematics

Google debuts Deep Think, an enhanced reasoning mode in Gemini 2.5 Pro that it says excels at math and coding, available to “trusted testers” via the Gemini API (venturebeat.com)
27 days ago Google Mathematics

NetBSD 10.x kernel MATH_EMULATION (mezzantrop.wordpress.com)
2025-5-11 Mathematics

Summer of Math Exposition 4 (some.3b1b.co)
2025-5-6 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)
2025-4-30 Alibaba AI Mathematics

Comparison with Traditional Mathematics (aplwiki.com)
2025-4-30 Mathematics

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

The ‘trickonometry' of math olympiad inequalities (www.andreinc.net)
2025-4-25 Mathematics

Stonean spaces, projective objects, the Riesz representation theorem, and (possibly) condensed mathematics (terrytao.wordpress.com)
2025-4-25 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)
2025-4-24 Google Chrome Mathematics

Canadian Math Prodigy Allegedly Stole $65 Million In Crypto (yro.slashdot.org)
2025-4-16 Canada Mathematics

Nix Trigonometric Math Library from Ground Zero (lantian.pub)
2025-4-13 Mathematics

CORE-MATH: high performance open-source mathematical functions with correct rounding (core-math.gitlabpages.inria.fr)
2025-4-13 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)
2025-4-5 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

Previous Page Next Page