pull down to refresh

AI achieves silver-medal standard solving International Mathematical Olympiaddeepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/
384 sats \ 3 comments \ @sancristrader 25 Jul 2024 tech
related
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
Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
205 sats \ 2 comments \ @0xbitcoiner 20 Nov 2025 AI
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
The AI Revolution in Math Has Arrivedwww.quantamagazine.org/the-ai-revolution-in-math-has-arrived-20260413/
355 sats \ 1 comment \ @0xbitcoiner 13 Apr math AI
Mathematicians warn of AI threats to profession as industry encroachesarstechnica.com/tech-policy/2026/06/mathematicians-warn-of-ai-threats-to-profession-as-industry-encroaches/
1005 sats \ 16 comments \ @0xbitcoiner 2 Jun AI math
An OpenAI model solved a famous math problem that stumped humans for 80 yearsarstechnica.com/ai/2026/06/openais-math-breakthrough-played-to-ais-strengths/
338 sats \ 0 comments \ @0xbitcoiner 1 Jun AI math
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
The 2026 AI Index Report | Stanford HAIhai.stanford.edu/ai-index/2026-ai-index-report
703 sats \ 6 comments \ @0xbitcoiner 27 Apr AI
Why AI struggles With Math Breakthroughs - Terence Taoyoutu.be/CuF9_w6L-QI
1110 sats \ 12 comments \ @BlokchainB 13 Apr math AI videos
How Terry Tao Became an Evangelist for AI in Mathwww.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/
1562 sats \ 2 comments \ @0xbitcoiner 9 Jun AI math science
Putnam 2025 questions
290 sats \ 0 comments \ @south_korea_ln 18 Dec 2025 science
Deepmind veteran raises $1B seed round to build superintelligence without LLMsthe-decoder.com/deepmind-veteran-david-silver-raises-1b-seed-round-to-build-superintelligence-without-llms/
338 sats \ 0 comments \ @lunin 21 Feb AI
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
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
Mathematics AI Aristotle proves 30 year old Erdos Problem #124
994 sats \ 29 comments \ @gmd 30 Nov 2025 AI
Researchers isolate memorization from problem-solving in AI neural networksarstechnica.com/ai/2025/11/study-finds-ai-models-store-memories-and-logic-in-different-neural-regions/
430 sats \ 1 comment \ @0xbitcoiner 11 Nov 2025 AI
Stacker_Sports Olympics Pool Medal 🥇🥈🥉 Ceremony — Undisciplined bags Gold 🥇
3534 sats \ 103 comments \ @Coinsreporter 12 Aug 2024 Stacker_Sports
Result for Medal Tally Prediction: Olympics Bounty Hunt and Fun Continues
1706 sats \ 28 comments \ @IamSINGLE 13 Aug 2024 Stacker_Sports
Global Sports Central x Stacker Sports Winter Olympics Fantasy Contest Winner
1222 sats \ 11 comments \ @StackerSports 23 Feb Stacker_Sports
[Not-so-daily puzzle] Singapore at it, again
476 sats \ 14 comments \ @south_korea_ln 2 Apr 2025 science
AI is ‘beating’ humans at empathy and creativity but these games are riggedwww.theguardian.com/commentisfree/2025/feb/28/ai-empathy-humans
303 sats \ 1 comment \ @k00b 5 Mar 2025 AI