pull down to refresh

Google's AI now 'better than human gold medalists' at solving geometry problemswww.livescience.com/technology/artificial-intelligence/math-olympics-has-a-new-contender-googles-ai-now-better-than-human-gold-medalists-at-solving-geometry-problems
21 sats \ 0 comments \ @ch0k1 24 Feb 2025 science
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
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
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
Prime Fields, Text Manglers and Progress Report on Indra
6263 sats \ 0 comments \ @l0k18 1 May 2023 bitcoin
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
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
Understanding the impact of AI on perception and decision-making.
3392 sats \ 0 comments \ @toshitoshi 17 Jun 2024 ideasfromtheedge
No, AI is not Making Engineers 10x as Productivecolton.dev/blog/curing-your-ai-10x-engineer-imposter-syndrome/?utm_source=tldrnewsletter
480 sats \ 8 comments \ @StillStackinAfterAllTheseYears 7 Aug 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
Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
205 sats \ 2 comments \ @0xbitcoiner 20 Nov 2025 AI
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
Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2221 sats \ 1 comment \ @schmidty 7 Aug 2025 bitcoin
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
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
The week in AI, September 15-21, 2025
1687 sats \ 5 comments \ @optimism 22 Sep 2025 AI
My bad experiences using AI as a physicist
11.7k sats \ 32 comments \ @south_korea_ln 16 Jun 2025 science
[Daily puzzle] Find a little known property of regular polygones
1418 sats \ 12 comments \ @south_korea_ln 8 Oct 2024 science
[Not-so-daily puzzle] Singapore at it, again
476 sats \ 14 comments \ @south_korea_ln 2 Apr 2025 science
Einstein's Most Famous Theory Just Passed Its Biggest Challenge Everwww.sciencealert.com/einsteins-most-famous-theory-just-passed-its-biggest-challenge-ever
213 sats \ 0 comments \ @ch0k1 20 Nov 2024 science
The Year in Mathwww.quantamagazine.org/the-year-in-math-20241216/
229 sats \ 0 comments \ @0xbitcoiner 17 Dec 2024 science
Open Source and America's AI Action Plan
10.5k sats \ 13 comments \ @optimism 27 Jul 2025 AI