pull down to refresh

“AI” model has disproved a central conjecture in discrete geometry | Hacker Newsnews.ycombinator.com/item?id=48212493
166 sats \ 0 comments \ @beyond_turbulence 22 May art AI math Design science
related
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
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
The Year in Mathwww.quantamagazine.org/the-year-in-math-20241216/
229 sats \ 0 comments \ @0xbitcoiner 17 Dec 2024 science
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
Mathematics AI Aristotle proves 30 year old Erdos Problem #124
994 sats \ 29 comments \ @gmd 30 Nov 2025 AI
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
What a New Math Breakthrough Means for Economicswww.breitbart.com/economy/2025/08/14/breitbart-business-digest-what-a-new-math-breakthrough-means-for-economics/
577 sats \ 14 comments \ @Rothbardian_fanatic 15 Aug 2025 econ
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
I Built a Lisp for AI Agents | Hacker Newsnews.ycombinator.com/item?id=47531058
647 sats \ 2 comments \ @beyond_turbulence 6 Apr AI
Cybersecurity looks like proof of work now | Hacker Newsnews.ycombinator.com/item?id=47769089
658 sats \ 1 comment \ @beyond_turbulence 15 Apr AI privacy
The trust collapse: Infinite AI content is awful | Hacker Newsnews.ycombinator.com/item?id=45833496
331 sats \ 2 comments \ @beyond_turbulence 6 Nov 2025 AI
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
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
Dijkstra's Crisis: End of Algol, Beginning of Software Engineering | Hacker Newsnews.ycombinator.com/item?id=47305957
318 sats \ 4 comments \ @beyond_turbulence 13 Mar science Education BooksAndArticles devs ideasfromtheedge
An AI Disproof of Evolutionvoxday.net/2024/01/12/an-ai-disproof-of-evolution/
300 sats \ 0 comments \ @398ja 15 Jan 2024 science
Anthropic Claims New AI Model, Mythos, Is a Cybersecurity ‘Reckoning' - nytimeswww.nytimes.com/2026/04/07/technology/anthropic-claims-its-new-ai-model-mythos-is-a-cybersecurity-reckoning.html?unlocked_article_code=1.ZFA.cS3q.4S3d98AiHY94
1782 sats \ 6 comments \ @Scoresby 7 Apr AI news
AI model finally learns to say ‘I don’t know’www.independent.co.uk/tech/ai-model-chatbot-overconfidence-don-t-know-b2974020.html
474 sats \ 1 comment \ @south_korea_ln 12 May AI science
Anthropic's AI model turns to blackmail when engineers try to take it offlinetechcrunch.com/2025/05/22/anthropics-new-ai-model-turns-to-blackmail-when-engineers-try-to-take-it-offline/
602 sats \ 2 comments \ @k00b 24 May 2025 tech
Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
205 sats \ 2 comments \ @0xbitcoiner 20 Nov 2025 AI
Formal Reasoning [pdf] | Hacker Newsnews.ycombinator.com/item?id=45711062
210 sats \ 3 comments \ @beyond_turbulence 26 Oct 2025 science
A hacker used AI to automate an 'unprecedented' cybercrime spree, Anthropic sayswww.nbcnews.com/tech/security/hacker-used-ai-automate-unprecedented-cybercrime-spree-anthropic-says-rcna227309
262 sats \ 1 comment \ @carter 28 Aug 2025 AI