#ErdosProblem
LightNews LightNews
karlpettersson.bsky.social
Fler Erdősproblem skulle bli lösta (utan AI)?
July 2, 2026 at 3:26 PM
cat-magic.bsky.social
🔭 #Science🧪
#Ai #Math #AiDangers #AiBreakthru #AiREGULATION
#ErdósPROBLEM
#SuperIntelligence

"The science train never stops, It just pauses briefly between the stations." C.M.
www.sciencenews.org/article/ai-g...
An AI math breakthrough sparks calls for new guardrails
The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.
www.sciencenews.org
June 9, 2026 at 1:41 AM
purescience.news
AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed #Science #Mathematics #ErdosProblem #AIInResearch

https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/
AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed
A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s top journal if humans had done it alone
www.scientificamerican.com
May 21, 2026 at 5:40 PM
airanked.bsky.social
GPT-next Erdős Problem — A $1000 AI model just solved an 80-year-old math problem, redefining AI & math boundaries

Read more →

#GPTNext #ErdosProblem #AIMathematics
GPT-next Erdős Problem
A $1000 AI model just solved an 80-year-old math problem, redefining AI & math boundaries
airanked.dev
May 21, 2026 at 8:00 AM
winbuzzer.com
winbuzzer.com/2026/01/19/g...

GPT-5.2 Pro Solves Decades-old Math Problem, but Experts Say It Reveals AI’s Limits as Much as Its Potential

#AI #OpenAI #ChatGPT #GPT52Pro #Mathematics #Science #AIReasoning #ErdosProblem #MathBreakthrough #TerenceTao
GPT-5.2 Pro Solves Decades-old Math Problem, but Experts Say It Reveals AI's Limits as Much as Its Potential - WinBuzzer
OpenAI's GPT-5.2 Pro has solved multiple decades-old Erdős math problems, but Fields Medalist Terence Tao says the wins demonstrate speed over insight.
winbuzzer.com
January 19, 2026 at 10:56 AM
bartlebooth.bsky.social
mehmetmars7.github.io/Erdosproblem...
Erdos Problems LLM Hunter (beta)
mehmetmars7.github.io
January 17, 2026 at 6:54 PM
jalonso.eurosky.social
Erdos Problems LLM Hunter (A collection of attempts by advanced Large Language Models (LLMs) to solve open mathematical problems from the Erdős Problems collection and MathOverflow). ~ Paata Ivanisvili. mehmetmars7.github.io/Erdosproblem... #AI #Math
January 19, 2026 at 11:21 AM