All Topics
All Topics
Technology
Technology
Design
Design
Programming
Programming
Science
Science
News
News
Gaming
Gaming
Entertainment
Entertainment
Business
Business
Finance
Finance
Sports
Sports
Health
Health
Food
Food
Travel
Travel
Art
Art
Music
Music
Books
Books
Education
Education
Politics
Politics
Personal
Personal
No algorithm. No AI slop. No ads. Just RSS. Pro-human. Indie writers. Real journalism. Open web. Chronological. Hand toasted.

As A.I. Makes Strides in Mathematics, Mathematicians Urge Caution

5d ago
Snippet from the RSS feed
Mathematicians sign the Leiden Declaration urging AI caution after OpenAI model disproves an 80-year-old Erdős conjecture, warn of AI company hype, closed models, flood of AI slop proofs, necessity of centering human understanding and direction.

You might also wanna read

OpenAI model solves 80-year-old unit distance problem, disproving major geometry conjecture

An OpenAI model has disproved a central conjecture in discrete geometry by solving the 80-year-old planar unit distance problem first posed

openai.com·10d ago

OpenAI model solves 80-year-old unit distance problem, disproving major geometry conjecture

An OpenAI model has disproved a central conjecture in discrete geometry by solving the 80-year-old planar unit distance problem first posed

openai.com·10d ago

OpenAI model solves 80-year-old unit distance problem, disproving major geometry conjecture

An OpenAI model has disproved a central conjecture in discrete geometry by solving the 80-year-old planar unit distance problem first posed

openai.com·10d ago

Challenging the Intelligence of Artificial Intelligence

The article discusses a historical letter warning about the rise of machines and questions the intelligence of artificial intelligence. It c

theatlantic.com·1y ago

Terence Tao on AI Milestone: Autonomous Solution to Erdos Problem #728 and Enhanced Mathematical Exposition Capabilities

Terence Tao discusses a milestone in AI-assisted mathematics where an Erdos problem (#728) was solved autonomously by AI tools, with the sol

mathstodon.xyz·4mo ago

OpenAI Researcher's GPT-5 Math Breakthrough Claim Retracted After Community Criticism

An OpenAI researcher claimed on X that GPT-5 had solved 10 previously unsolved Erdős mathematical problems and made progress on 11 more, but

the-decoder.com·7mo ago

Scientists Challenge von der Leyen's AI Timeline Claims in Open Letter

A group of over 70 scientists, including two members of the UN's high-level advisory body on AI, have written an open letter to European Com

euractiv.com·6mo ago

OpenAI Withholds New Text-Generation Model Over Safety Concerns, Reigniting AI Ethics Debate

OpenAI has developed a new text-generation model capable of writing coherent, versatile prose but has decided not to release the full algori

slate.com·2mo ago