Tech News
← Home  ·  All topics

Mathematics Research

2 GoKawiil briefs on this topic

Erdosproblems.com founder overhauls site amid AI-generated solution surge

The creator of erdosproblems.com, a database of open mathematics problems collected by Paul Erdős, says the site is changing how it handles submissions after a wave of AI-generated solutions arrived with little or no explanation. The founder notes that while AI has helped resolve some longstanding problems, it has also discouraged human mathematicians and led some to dismiss Erdős-style problems as trivial.

Mathematicians urge AI firms to credit human researchers after Navier–Stokes claims

OpenAI announced it had solved part of the Navier–Stokes Millennium Prize Problem using an AI system, but the announcement via press release drew criticism for lacking transparency about verification and prior human contributions. Hours earlier, mathematicians Tristan Buckmaster and Levent Alpöge said they had reached a partial solution using AI tools from both OpenAI and Anthropic, raising questions about who deserves credit for the breakthrough.