OpenAI makes breakthrough on 80-year-old maths problem
https://www.theguardian.com/technology/2026/may/21/openai-paul-erdos-maths-problem-breakthrough
OpenAI makes breakthrough on 80-year-old maths problem
https://www.theguardian.com/technology/2026/may/21/openai-paul-erdos-maths-problem-breakthrough
What Do Gödel's Incompleteness Theorems Mean?
https://www.quantamagazine.org/what-do-godels-incompleteness-theorems-truly-mean-20260518/
#HackerNews #Gödel #Incompleteness #Theorems #Mathematics #Philosophy #Logic #Science
🧠 “Is #Intelligence a mathematical structure?”🔢 – #Zoomposium with #GittaKutyniok
The key to the next generation of intelligent systems – On computability, limitations, and the future of AI
📎https://philosophies.de/index.php/2026/04/24/intelligenz-mathe-struktur/
#ArtificialIntelligence #AI #Mathematics #NeuralNetworks #DeepLearning #MachineLearning #Intelligence #CognitiveScience #MathematicsAndAI #AIResearch #ExplainableAI #Computability #NeuromorphicComputing #Science
A famous proof by contradiction is that the square root of 2 is an irrational number, i.e. it can't be written as a quote of two whole numbers.
In one of my books you're asked to show that the square root of 5 is also irrational.
Now, without searching for it, I have the feeling this must be true for any prime number. Amirite?