pull down to refresh

How Terry Tao Became an Evangelist for AI in Mathwww.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/
1562 sats \ 2 comments \ @0xbitcoiner 9 Jun AI math science
related
Prime Fields, Text Manglers and Progress Report on Indra
6263 sats \ 0 comments \ @l0k18 1 May 2023 bitcoin
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
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
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
Terence Tao's personal blogterrytao.wordpress.com/
263 sats \ 0 comments \ @south_korea_ln 14 Oct 2024 science
Why AI struggles With Math Breakthroughs - Terence Taoyoutu.be/CuF9_w6L-QI
1110 sats \ 12 comments \ @BlokchainB 13 Apr math AI videos
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
Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
205 sats \ 2 comments \ @0xbitcoiner 20 Nov 2025 AI
The ORCA Benchmark Evaluates How Well AIs Deal with Everyday Mathwww.omnicalculator.com/reports/omni-research-on-calculation-in-ai-benchmark
260 sats \ 0 comments \ @0xbitcoiner 27 Feb AI
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
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
Controversial math proof divides experts in bitter academic disputewww.earth.com/news/mochizuki-controversial-math-proof-divides-experts-in-bitter-academic-dispute/
201 sats \ 2 comments \ @south_korea_ln 14 Jun 2025 science
Grad Students Find Inevitable Patterns in Big Sets of Numbers
562 sats \ 0 comments \ @0xbitcoiner 5 Aug 2024 science
Coulon Proof Theory: AI Mediation, Topological Functors, and Combinatoricsbeyondturbulence.blogspot.com/2026/01/coulon-proof-theory-ai-mediation.html?m=1
300 sats \ 2 comments \ @beyond_turbulence 26 Jan AI
AI is actually bad at math, ORCA showswww.theregister.com/2025/11/17/ai_bad_math_orca/
197 sats \ 4 comments \ @0xbitcoiner 18 Nov 2025 AI
Using AI, Mathematicians Find Hidden Glitches in Fluid Equationswww.quantamagazine.org/using-ai-mathematicians-find-hidden-glitches-in-fluid-equations-20260109/
374 sats \ 0 comments \ @0xbitcoiner 9 Jan science AI
Of Sovereign Men
934 sats \ 0 comments \ @TheFictionFactory 15 Dec 2025 BooksAndArticles
A shallow dive into formal verification - Vitalik Buterinvitalik.eth.limo/general/2026/05/18/fv.html
1194 sats \ 1 comment \ @Scoresby 28 May math bitcoin
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
Debate May Help AI Models Converge on Truthwww.quantamagazine.org/debate-may-help-ai-models-converge-on-truth-20241108/
258 sats \ 0 comments \ @0xbitcoiner 8 Nov 2024 science
Machine-Assisted Proof by Terence Tao [pdf]www.ams.org/notices/202501/rnoti-p6.pdf
272 sats \ 0 comments \ @hn 28 Dec 2024 tech