pull down to refresh

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/
238 sats \ 0 comments \ @0xbitcoiner 11 Nov AI
related
What would be the ideal profession for the next 50 to 100 years?
1941 sats \ 32 comments \ @Taft 3 Jul 2024 ideasfromtheedge
howdy! I'm Allen Farrington, AMA.
25.8k sats \ 115 comments \ @allen 3 Aug 2022 bitcoin freebie
Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AIwww.scientificamerican.com/article/inside-the-secret-meeting-where-mathematicians-struggled-to-outsmart-ai/
421 sats \ 5 comments \ @k00b 9 Jun science
Devs: LLMs are not about to take your jobs
679 sats \ 17 comments \ @halleck 17 May 2024 devs
The Stupidity Quotient (2020)dennisholeman.com/the/
4863 sats \ 22 comments \ @ek 10 Jan 2024 culture freebie
Will creativity become more valued by the market than technical skills?www.wsj.com/opinion/how-to-live-in-the-age-of-ai-creativity-bdc1361e?st=kZZxYG&reflink=desktopwebshare_permalink
3196 sats \ 47 comments \ @SimpleStacker 22 Mar econ
Knut Svanholm AMA
13.3k sats \ 57 comments \ @knutsvanholm 24 Jan 2023 bitcoin freebie
What is your P(doom)? How likely is it that AI leads to existential catastrophe?
1629 sats \ 31 comments \ @k00b 18 Jun AskSN
The AI that solved IMO Geometry Problems | Guest video by ‪@Aleph0‬www.youtube.com/watch?v=4NlrfOl0l8U&ab_channel=3Blue1Brown
352 sats \ 4 comments \ @south_korea_ln 17 Aug AI
Asimov Books and Criticism on Dystopia
854 sats \ 8 comments \ @turker 27 Mar 2024 BooksAndArticles
Computation Is All Around Us, and You Can See It if You Try
242 sats \ 0 comments \ @0xbitcoiner 12 Jun 2024 science
Could AIs Become Conscious? Right Now, We Have No Way To Tell.
777 sats \ 8 comments \ @0xbitcoiner 10 Jul 2024 science
Elites, the curse of recursion, and the half-life of policy
5359 sats \ 11 comments \ @elvismercury 29 Mar 2024 mostly_harmless
Math’s ‘Bunkbed Conjecture’ Has Been Debunkedwww.quantamagazine.org/maths-bunkbed-conjecture-has-been-debunked-20241101/
562 sats \ 2 comments \ @0xbitcoiner 1 Nov 2024 science
What Would Carl Menger Think Of Bitcoin?
3369 sats \ 36 comments \ @siggy47 15 Apr 2024 libertarian
Testing AI systems on hard math problems shows they still perform very poorlyphys.org/news/2024-11-ai-hard-math-problems-poorly.html
153 sats \ 4 comments \ @south_korea_ln 13 Nov 2024 science
Everything You See Is a Computational Process, If You Know How to Look
110 sats \ 2 comments \ @0xbitcoiner 14 Jul 2024 science
Why smart people believe stupid things
4715 sats \ 25 comments \ @frostdragon 21 Mar 2024 mostly_harmless freebie
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMsarxiv.org/abs/2510.04721
180 sats \ 1 comment \ @jakoyoh629 25 Oct AI
OpenAI’s Misalignment and Microsoft’s Gainstratechery.com/2023/openais-misalignment-and-microsofts-gain/
7509 sats \ 11 comments \ @elvismercury 20 Nov 2023 tech
Which Asset for Trade and Commerce... Would an Alien Civilization Use?
2525 sats \ 24 comments \ @028559d218 20 Oct 2024 bitcoin