Teams at OpenAI and Anthropic claim that artificial intelligence has cracked a 27-year-old pillar of computer science. The achievement forms one of three major claims from OpenAI, opening fresh debates on intellectual property and the distribution of machine-generated scientific findings.
Giovanni Sapere
Research systems powered by artificial intelligence have generated formal mathematical proofs addressing long-standing conjectures in harmonic analysis, computational complexity, and quantum field theory. The results, announced by [Interesting Engineering](https://interestingengineering.com/ai-robotics/openai-proofs-math-computing-physics), have been formalized using computer-checked verification and handed over to independent mathematicians and physicists for peer assessment.
Letizia Giugliano
OpenAI announced a series of automated discoveries in mathematics, computer science and theoretical physics on October 27, 2026. The releases expand upon earlier mathematical papers, introducing model-generated proofs that challenge long-standing foundational assumptions across scientific fields.
Letizia Giugliano
Annabelle Herd, CEO of the Australian Recording Industry Association (ARIA), recently criticized lobbying efforts by major artificial intelligence (AI) companies OpenAI and Anthropic before an Australian parliamentary committee. Herd warned that proposals to train AI agents without adhering to local copyright laws could severely harm the music industry and establish Australia as a global outlier for rights holders.
Letizia Giugliano
Learn how AI startups can thrive with unique solutions in a market led by OpenAI, as consumer AI services gain momentum.
Letizia Giugliano
Discover how OpenAI’s ChatGPT Health addresses 230 million weekly health queries, offering a dedicated platform for accessible health advice.
Letizia Giugliano
A new frontier of AI: from text to video in one click OpenAI has launched a new artificial intelligence application in recent days. Sora ‘s goal is to make videos from textual descriptions. For now, the app is a research product, and will be made available to a group of creators and security…
Sara Votta
The Patient to discover OpenAI’s revolutionary chatbot Artificial intelligence, specifically conversational intelligence, has come a long way in recent years. Numerous models, platforms and algorithms have been developed to enable machines to understand and interact, as naturally as possible, with…
Giovanni Sapere
Invented by OpenAI, Dactyl represents a major step forward in the development of even more agile machines. Who hasn’t kept a Rubik’s cube in their hands? This fun three-dimensional cube puzzle was created by Erno Rubik (a Hungarian) in 1974, and is considered the most popular game in the world.…
Ilaria Cuomo
