pull down to refresh

As AI Closed In on ‘Unique Games’ Proof, Researchers Raced to Beat the Machineswww.quantamagazine.org/as-ai-closed-in-on-unique-games-proof-researchers-raced-to-beat-the-machines-20261007/
352 sats \ 1 comment \ @0xbitcoiner 7 Oct math AI
related
AI Just Produced 722 Math Papers, Now Humans Have to Figure Out If They're Right
249 sats \ 8 comments \ @JRem 8 Oct AI
🤔 OpenAI’s problem - Snackssherwood.news/snacks/newsletters/openais-problem/
308 sats \ 5 comments \ @BlokchainB 12 Sep AI Stacker_Stocks
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
Mathematicians Hate AI. They Can’t Quit Itwww.wired.com/story/mathematicians-cant-quit-ai/
419 sats \ 0 comments \ @0xbitcoiner 21 Sep AI math
AI Has Solved One of Math’s $1 Million Millennium Prize Problemswww.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/
303 sats \ 2 comments \ @0xbitcoiner 9 Sep AI math science
Why the Legendary Erdős Problems Are Falling to AIwww.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/
362 sats \ 1 comment \ @0xbitcoiner 3 Aug AI math
Terence Tao - Mathematics in the age of AIarxiv.org/pdf/2608.16753
3624 sats \ 7 comments \ @south_korea_ln 20 Aug AI math science
Is AI the End of Math As We Know It?www.quantamagazine.org/is-ai-the-end-of-math-as-we-know-it-20261005/
299 sats \ 1 comment \ @0xbitcoiner 5 Oct math AI
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
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
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
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
Open Source and America's AI Action Plan
10.5k sats \ 13 comments \ @optimism 27 Jul 2025 AI
The End Of The Closed-Source Era Is At Hand: Obscurity Was Never Securitybitcoinmagazine.com/technical/the-end-of-the-closed-source-era-is-at-hand-obscurity-was-never-security
608 sats \ 0 comments \ @Arceris 7 Aug AI
In an Age of AI, a Physicist Seeks What Endureswww.quantamagazine.org/in-an-age-of-ai-a-physicist-seeks-what-endures-20260903/
428 sats \ 4 comments \ @0xbitcoiner 3 Sep AI science
Grad Students Find Inevitable Patterns in Big Sets of Numbers
562 sats \ 0 comments \ @0xbitcoiner 5 Aug 2024 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
Bitcoin's Perilous Journey
184 sats \ 3 comments \ @4 14 Nov 2023 bitcoin
Game Theory Can Make AI More Correct and Efficient | Quanta Magazinewww.quantamagazine.org/game-theory-can-make-ai-more-correct-and-efficient-20240509/
13.3k sats \ 2 comments \ @nout 12 May 2024 science
Exhausted man defeats AI model in world coding championshiparstechnica.com/ai/2025/07/exhausted-man-defeats-ai-model-in-world-coding-championship/
972 sats \ 10 comments \ @jakoyoh629 19 Jul 2025 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