pull down to refresh

The AI that solved IMO Geometry Problems | Guest video by ‪@Aleph0‬www.youtube.com/watch?v=4NlrfOl0l8U&ab_channel=3Blue1Brown
382 sats \ 4 comments \ @south_korea_ln 17 Aug 2025 AI
related
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
Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
205 sats \ 2 comments \ @0xbitcoiner 20 Nov 2025 AI
The Biggest Breakthroughs in Mathematics: 2025
226 sats \ 1 comment \ @0xbitcoiner 18 Dec 2025 science
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
The Year in Mathwww.quantamagazine.org/the-year-in-math-20241216/
229 sats \ 0 comments \ @0xbitcoiner 17 Dec 2024 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
Scaling up: how increasing inputs has made artificial intelligence more capableourworldindata.org/scaling-up-ai
396 sats \ 0 comments \ @0xbitcoiner 20 Jan 2025 charts_and_maps
The week in AI: June 30 - July 6, 2025
4103 sats \ 4 comments \ @optimism 7 Jul 2025 AI
Don't Let AI Think for You- Why I Built a Visual Search Engine for Free Thinkers
6912 sats \ 4 comments \ @UncleJim21 17 Feb AI
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
The week in AI, July 14-20, 2025
1852 sats \ 26 comments \ @optimism 21 Jul 2025 AI
Epic Effort to Ground Physics in Math Opens Up the Secrets of Timewww.quantamagazine.org/epic-effort-to-ground-physics-in-math-opens-up-the-secrets-of-time-20250611/
159 sats \ 2 comments \ @0xbitcoiner 11 Jun 2025 science
The Year in Computer Sciencewww.quantamagazine.org/the-year-in-computer-science-20251216/
106 sats \ 0 comments \ @0xbitcoiner 16 Dec 2025 science
Mathematician solves algebra's oldest problem using new number sequencesphys.org/news/2025-05-mathematician-algebra-oldest-problem-intriguing.html
394 sats \ 1 comment \ @k00b 3 May 2025 science
AI will soon be able to audit all published research...theconversation.com/ai-will-soon-be-able-to-audit-all-published-research-what-will-that-mean-for-public-trust-in-science-261363
1042 sats \ 24 comments \ @south_korea_ln 26 Jul 2025 science
Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AIwww.scientificamerican.com/article/inside-the-secret-meeting-where-mathematicians-struggled-to-outsmart-ai/
442 sats \ 5 comments \ @k00b 9 Jun 2025 science
How Is Science Even Possible ?
686 sats \ 2 comments \ @0xbitcoiner 21 Jun 2024 science
Understanding the impact of AI on perception and decision-making.
3392 sats \ 0 comments \ @toshitoshi 17 Jun 2024 ideasfromtheedge
AI usage is now a baseline expectation - leaked Shopify memox.com/tobi/status/1909231499448401946
853 sats \ 20 comments \ @k00b 7 Apr 2025 AI
Srinivasa Ramanujan Was a Genius. Math Is Still Catching Upwww.quantamagazine.org/srinivasa-ramanujan-was-a-genius-math-is-still-catching-up-20241021/
157 sats \ 1 comment \ @0xbitcoiner 21 Oct 2024 science
The Geometric Tool That Solved Einstein’s Relativity Problem
197 sats \ 0 comments \ @0xbitcoiner 12 Aug 2024 science