#erdos-problems

[ follow ]
#large-language-models #gpt-5 #mathematics #automated-literature-search #mathematical-reasoning
#large-language-models
fromwww.scientificamerican.com
4 days ago
Artificial intelligence

AI uncovers solutions to Erdos problems, moving closer to transforming math

AI language models helped mathematicians find references and solutions, moving about 100 Erdos conjectures from open to solved by combining literature search and theorem synthesis.
fromTechCrunch
1 month ago
Artificial intelligence

AI models are starting to crack high-level math problems | TechCrunch

Advanced LLMs like GPT-5.2 can solve open mathematical problems and produce novel, verifiable proofs that extend mathematical research.
more#large-language-models
#gpt-5
fromFuturism
3 months ago
Artificial intelligence

OpenAI Researcher Forced to Delete "Embarrassing" Tweet Claiming Huge Breakthrough

fromFuturism
3 months ago
Artificial intelligence

OpenAI Researcher Forced to Delete "Embarrassing" Tweet Claiming Huge Breakthrough

more#gpt-5
[ Load more ]