Install
Please confirm you are human
This browser or connection looks automated. Press and continuously hold the control for 3 seconds to enable Google-hosted web results and, when separately allowed, AI-assisted answers.
A successful check enables 100 search requests. Interactive access does not authorize scraping, systematic collection, or reuse of search output.
News
When Meaning Becomes Geometry
8+ hour, 49+ min ago (36+ words) There’s a sentence I keep returning to, one I first read in a paper and then couldn’t stop thinking about: a word is known by the company it keeps. It sounds like …...
Pythagoras Won’t Balance Your Books
2+ day, 11+ hour ago (18+ words) Peacefmonline.com Your email has been sent successfully Your comment has been sent successfully...
OpenAI faces second mathematician's claim over training data transparency
2+ day, 16+ hour ago (389+ words) A Dresden mathematician says OpenAI's one-line denial left open whether private ChatGPT sessions fed its maths results, as peers demand data disclosure. A second mathematician has accused OpenAI of dishonesty over whether private ChatGPT conversations fed the company's celebrated mathematical…...
Two Mathematicians Demand Answers From OpenAI on Training Data
2+ day, 16+ hour ago (547+ words) A second mathematician has accused OpenAI of being "dishonest" about whether private conversations with its AI tools shaped the training data behind recent breakthroughs, according to The Verge. The dispute compounds an existing row over OpenAI's conduct around major mathematical…...
Daily briefing: OpenAI claims a huge maths breakthrough
3+ day, 17+ hour ago (46+ words) The AI giant claims to have solved one of maths’ trickiest problems, but questions swirl over should get the credit. Plus, an atlas of every single DNA letter mutation in humans and why more bioengineered microorganisms aren’t making it out…...
OpenAI makes disputed claim over major mathematical proof
2+ day, 18+ hour ago (167+ words) OpenAI launches new frontier model Astra after rogue AI agents breach safety controls OpenAI acknowledges German wiki incident and calls for AI transparency Former Starmer and Sunak adviser Clifford joins Anthropic in senior government affairs role US 'still classifies Anthropic…...
Data Points: OpenAI model solves Navier-Stokes equations
3+ day, 7+ hour ago (196+ words) ✨ New Course! Enroll in Building Adaptive AI Agents In today’s edition of Data Points, you’ll learn about our top headlines, and more: OpenAI model proves major unsolved mathematical result Anthropic model proves even bigger (but already solved) mathematical result Meta…...
Lemma
3+ day, 9+ hour ago (519+ words) New We formalized a quantum mechanics textbook in Lean. The AI platform for your science and engineering challenges. The 2D Ising model Spins si=±1s_i = \pm 1si=±1 on an n×nn \times nn×n lattice with periodic boundaries, coupled ferromagnetically: Point vortices in…...
Maths' Holy Grail Cracked? OpenAI 'Solves' 90-Year-Old Navier Stokes Problem | Vantage
3+ day, 11+ hour ago (76+ words) Trump’s Wildest Achievements: Memes, Maps & Delusions? | Vantage on Firstpost Iran Plans New Hormuz Corridor As Qatar Says US Ties Not Enough | Vantage on Firstpost Anti-India Posts Surge in Singapore Amid Nepal Floods; PM's Office Launches Probe | Vantage Delhi’s Creaking Infrastructure…...
OpenAI’s 10,000 AI Agents Deliver Navier-Stokes Proof in 88 Hours
3+ day, 14+ hour ago (232+ words) OpenAI’s core claim is straightforward but enormous in scope: its system solved a question mathematicians have chased since the 1930s. The company says it is releasing both a written proof and a formal Lean verification, presenting the work as evidence of…...