pull down to refresh

Towards Autonomous Mathematics Research | Hacker Newsnews.ycombinator.com/item?id=47026134
31 sats \ 1 comment \ @beyond_turbulence 15 Feb science culture
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 future of autonomous bots and AIs funded with Lightning
3064 sats \ 17 comments \ @SantaNotSanta 16 Feb 2023 bitcoin
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
Rektbot 9000rektbot9000.albylabs.com
479 sats \ 3 comments \ @supratic 9 Oct 2025 lightning
Researchers question Anthropic claim that AI-assisted attack was 90% autonomousarstechnica.com/security/2025/11/researchers-question-anthropic-claim-that-ai-assisted-attack-was-90-autonomous/
381 sats \ 26 comments \ @0xbitcoiner 14 Nov 2025 AI
Kosmos: An AI Scientist for Autonomous Discoveryedisonscientific.com/articles/announcing-kosmos
276 sats \ 1 comment \ @carter 17 Nov 2025 AI
Minds, brains, and programs (1980) [pdf] | Hacker Newsnews.ycombinator.com/item?id=45564821
130 sats \ 1 comment \ @beyond_turbulence 22 Oct 2025 AI
LLM Agents can Autonomously Hack Websitesarxiv.org/pdf/2402.06664.pdf
474 sats \ 2 comments \ @doofus 25 Feb 2024 security
Why Engineers Can't Be Rational About Programming Languages | Hacker Newsnews.ycombinator.com/item?id=45801416
211 sats \ 2 comments \ @beyond_turbulence 3 Nov 2025 tech
Math’s ‘Bunkbed Conjecture’ Has Been Debunkedwww.quantamagazine.org/maths-bunkbed-conjecture-has-been-debunked-20241101/
583 sats \ 2 comments \ @0xbitcoiner 1 Nov 2024 science
Let's Not Encrypt | Hacker Newsnews.ycombinator.com/item?id=45579968
676 sats \ 0 comments \ @standardcrypto 14 Oct 2025 security
Some Mathematicians Don’t Believe in Infinitywww.scientificamerican.com/article/what-if-infinity-didnt-exist/
657 sats \ 4 comments \ @south_korea_ln 11 Aug 2025 science
‘Reverse Mathematics’ Illuminates Why Hard Problems Are Hardwww.quantamagazine.org/reverse-mathematics-illuminates-why-hard-problems-are-hard-20251201/
88 sats \ 1 comment \ @0xbitcoiner 2 Dec 2025 science
Hands On: The Hacker Pagerhackaday.com/2025/07/31/hands-on-the-hacker-pager/
262 sats \ 3 comments \ @RDClark 1 Aug 2025 DIY
String Theory Inspires a Brilliant, Baffling New Math Proof | Hacker Newsnews.ycombinator.com/item?id=46245622
380 sats \ 2 comments \ @beyond_turbulence 12 Dec 2025 Design
Disrupting first reported AI-orchestrated cyber espionage campaign - Anthropicwww.anthropic.com/news/disrupting-AI-espionage
457 sats \ 1 comment \ @Scoresby 13 Nov 2025 AI
New Proofs Probe the Limits of Mathematical Truthwww.quantamagazine.org/new-proofs-probe-the-limits-of-mathematical-truth-20250203/
72 sats \ 0 comments \ @0xbitcoiner 3 Feb 2025 science
How the Greatest Hacker Manipulated Everyoneyoutu.be/aLUDhbQojxA?si=_DxItJ3aLBM7ZnCc
756 sats \ 7 comments \ @Car 27 May 2024 security
Decentralized AI Training: Architectures, Opportunities, and Challengeswww.galaxy.com/insights/research/decentralized-ai-training
151 sats \ 0 comments \ @jakoyoh629 19 Sep 2025 AI
HN Slop - AI Startup Ideas from Hacker Newswww.hnslop.com/
276 sats \ 7 comments \ @Scoresby 27 Jan hyperlinks
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