pull down to refresh

Mathematicians issue a major challenge to AI—show us your workwww.scientificamerican.com/article/mathematicians-launch-first-proof-a-first-of-its-kind-math-exam-for-ai/
1145 sats \ 4 comments \ @south_korea_ln 14 Feb AI science
related
Mathematics in the Library of Babel — Daniel Littwww.daniellitt.com/blog/2026/2/20/mathematics-in-the-library-of-babel
2760 sats \ 2 comments \ @Scoresby 22 Feb AI -2757 sats
Experimental evidence of the effects of LLMs vs web search on depth of learningacademic.oup.com/pnasnexus/article/4/10/pgaf316/8303888
176 sats \ 1 comment \ @0xbitcoiner 20 Jan AI
Testing AI systems on hard math problems shows they still perform very poorlyphys.org/news/2024-11-ai-hard-math-problems-poorly.html
174 sats \ 4 comments \ @south_korea_ln 13 Nov 2024 science
New Proofs Probe the Limits of Mathematical Truthwww.quantamagazine.org/new-proofs-probe-the-limits-of-mathematical-truth-20250203/
72 sats \ 0 comments \ @0xbitcoiner 3 Feb 2025 science
The Year in Mathwww.quantamagazine.org/the-year-in-math-20241216/
229 sats \ 0 comments \ @0xbitcoiner 17 Dec 2024 science
A geometry masterpiece: Yale prof solves part of math’s ‘Rosetta Stone’news.yale.edu/2024/11/01/geometry-masterpiece-yale-prof-solves-part-maths-rosetta-stone
486 sats \ 10 comments \ @south_korea_ln 3 Nov 2024 science
New Math Revives Geometry’s Oldest Problemswww.quantamagazine.org/new-math-revives-geometrys-oldest-problems-20250926/
221 sats \ 0 comments \ @0xbitcoiner 26 Sep 2025 science
The ORCA Benchmark Evaluates How Well AIs Deal with Everyday Mathwww.omnicalculator.com/reports/omni-research-on-calculation-in-ai-benchmark
260 sats \ 0 comments \ @0xbitcoiner 27 Feb AI
Vibe physicswww.math.columbia.edu/~woit/wordpress/?p=15012
2355 sats \ 4 comments \ @south_korea_ln 1 Aug 2025 science
To Have Machines Make Math Proofs, Turn Them Into a Puzzlewww.quantamagazine.org/to-have-machines-make-math-proofs-turn-them-into-a-puzzle-20251110/
268 sats \ 0 comments \ @0xbitcoiner 11 Nov 2025 AI
Giving models more compute time might make them worse at reasoning - Anthropicarxiv.org/abs/2507.14417
343 sats \ 2 comments \ @Scoresby 31 Jul 2025 AI
Big Advance on Simple-Sounding Math Problem Was a Century in the Makingwww.quantamagazine.org/big-advance-on-simple-sounding-math-problem-was-a-century-in-the-making-20241014/
204 sats \ 2 comments \ @0xbitcoiner 14 Oct 2024 science
New Strides Made on Deceptively Simple ‘Lonely Runner’ Problemwww.quantamagazine.org/new-strides-made-on-deceptively-simple-lonely-runner-problem-20260306/
21 sats \ 0 comments \ @0xbitcoiner 8 Mar science
The maths you need to start understanding LLMswww.gilesthomas.com/2025/09/maths-for-llms
130 sats \ 0 comments \ @hn 6 Sep 2025 tech
How a typo spoiled my proof of Fermat’s last theoremwww.newscientist.com/article/2462834-how-a-typo-spoiled-my-proof-of-fermats-last-theorem/
261 sats \ 4 comments \ @south_korea_ln 8 Jan 2025 science
Grad Students Find Inevitable Patterns in Big Sets of Numbers
562 sats \ 0 comments \ @0xbitcoiner 5 Aug 2024 science
DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open LLMsarxiv.org/abs/2402.03300
762 sats \ 0 comments \ @zuspotirko 6 Feb 2024 science
This Day on SN: January 4
263 sats \ 0 comments \ @sn 4 Jan meta
Computer Scientists Combine Two ‘Beautiful’ Proof Methodswww.quantamagazine.org/computer-scientists-combine-two-beautiful-proof-methods-20241004/
398 sats \ 0 comments \ @0xbitcoiner 6 Oct 2024 science
Don't Overthink It: A Survey of Efficient R1-style LRMsarxiv.org/abs/2508.02120
162 sats \ 2 comments \ @optimism 10 Aug 2025 AI
Stacker News Roundtable #2 - LSPs
87.6k sats \ 81 comments \ @sn 13 Oct 2023 bitcoin