AI contributions to Erdős problems

Timothy Gowers @wtgowers on Twitter / X

AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried.https://t.co/SD1vVPkrHR— Timothy Gowers @wtgowers (@wtgowers) May 20, 2026

Shouqiao Wang on Twitter / X

I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol.I have a math background, but the Codex workflow I used does not require deep mathematical knowledge.Here’s exactly how I approached it, including my prompts 🧵— Shouqiao Wang (@Qiaoqiao2001) July 22, 2026

No. 014: Science's AI productivity paradox, Sakana clears peer review, AI proof search on open Erdős problems - The Hallway Track

The Hallway Track No. 014 - How AI is affecting the practice of science

VibeMathed - Math Problems Solved by AI

A community-curated record of math problems no human had solved before, proved or disproved with AI in the loop - with checkable sources and verification labels.

The Unbelievable Scale of AI’s Pirated-Books Problem

Meta pirated millions of books to train its AI. Search through them here.

AI for Research | Scite

Scite searches 280M+ scholarly articles to give you citation-backed answers and show you how every claim is supported or disputed.

No. 011: Sum-product conjecture disproof, AI-generated authorship fraud, OMB grant-cost rules - The Hallway Track

The Hallway Track No. 011 - How AI is affecting the practice of science

Fraude Design

The AI-free site builder for genius founders

Use of generative artificial intelligence | ÉPICBiodiversity

An alternative version of this document was initially drafted by Timothée Poisot with input from members of the Viral Emergence Research Initiative, and further revised based on a conversation with group members. For this reason, it is excluded from the CC BY-NC-SA license under which the rest of the website is published, and may not be reproduced without permission.

No. 013: Provenance vocabulary, Wikipedia contamination, OpenAI rare-disease diagnoses, ARA paper format - The Hallway Track

The Hallway Track No. 013 - How AI is affecting the practice of science

FLF’s Epistemic Case Study Competition: Results — LessWrong

This summer, FLF ran a contest which asked entrants to help us “find the best workflows and methodologies for using AI to produce reliable, trustwort…

Glimmer · Reproducible AI science

Glimmer turns a research project into a navigable knowledge graph you can explore, run, verify, and extend — reproducibly.