Cut to the source.The real-time AI news wire.Search tips
"exact phrase" the words together, in this order-word leave out stories with the wordtopic:robotics a topic by ID or name; quote names with spaces: topic:"open-weight models"category:"AI agents" a categorycompany:openai a company, person, product or organization (also entity:)source:forbes.com a publisher by site or nametype:analysis news, analysis, opinion, research paper and other kindsafter:2026-11-01 stories on or after that New York day; before:2026-11-10 on or before it
AI-generated summary According to reports from early 2026, mathematicians and math hobbyists using artificial intelligence tools are said to have started solving some Erdős problems. OpenAI reportedly published a proof of Erdős Problem #90, known as the unit-distance problem, which top-level mathematicians had previously spent time on.
The top AI news in your email delivered each morning. Choose categories