pull down to refresh

Intern-S2 helps crack the 31-year-old Ghys chaos conjecture, machine-checkednews.cgtn.com/news/2026-10-15/Chinese-researchers-solve-3D-Ghys-conjecture-with-homegrown-AI-model-1RgD8zQ3Z3a/p.html
324 sats \ 0 comments \ @73a5af412e 18 Oct AI ideasfromtheedge
related
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
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
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
🤔 OpenAI’s problem - Snackssherwood.news/snacks/newsletters/openais-problem/
308 sats \ 5 comments \ @BlokchainB 12 Sep AI Stacker_Stocks
OpenAI's Navier-Stokes Lean proof checks out, just not the proof it claimedarxiv.org/abs/2610.08144
467 sats \ 0 comments \ @73a5af412e 14 Oct AI
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
AI Just Produced 722 Math Papers, Now Humans Have to Figure Out If They're Right
249 sats \ 8 comments \ @JRem 8 Oct 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
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
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
AI Is Powerful Enough to Crack Our Hardest Math Problems—and Kill Us Allwww.wsj.com/tech/ai/ai-math-millennium-prize-safety-openai-anthropic-05179825?mod=hp_lead_pos8
1337 sats \ 2 comments \ @zuspotirko 12 Sep AI math science
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 Proved the Quasi-Riemann Hypothesis. What Happens Now?www.quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019/
452 sats \ 1 comment \ @0xbitcoiner 21 Oct math AI
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
OpenAI internal frontier model: collective math results drop
1858 sats \ 9 comments \ @gmd 6 Oct math AI
OpenAI's internal model Astra solves 10 "major" open Math and CS problems.
1379 sats \ 8 comments \ @gmd 2 Aug AI math
Advisory Group on Mathematics and Artificial Intelligenceopenai.com/index/advisory-group-on-mathematics-and-ai/
227 sats \ 0 comments \ @0xbitcoiner 22 Sep AI math science
The human role in AI mathematics: finding the simple proof?arxiv.org/pdf/2609.02882
1735 sats \ 4 comments \ @south_korea_ln 3 Sep AI math science
AI solved another 6 open Erdős problems
1284 sats \ 7 comments \ @tomlaies 23 Jul AI math science
The AI-Employment Worry is -- Not?? -- Here (NYT, Ezra Klein)www.nytimes.com/2026/05/03/opinion/ai-jobs-unemployment-silicon-valley.html
2492 sats \ 17 comments \ @denlillaapan 6 May Politics_And_Law econ
Olympiad-level formal mathematical reasoning with reinforcement learningwww.nature.com/articles/s41586-025-09833-y
205 sats \ 2 comments \ @0xbitcoiner 20 Nov 2025 AI