We can only see a short distance ahead, but we can see plenty there that needs to be done.”
"
—Alan Turing
An internal version of OpenAI’s next major model produced solutions spanning high-dimensional geometry, coding theory, group theory, operator algebras, quantum complexity and lattice cryptography. None of the ten results has been independently verified.
Beyond technical evaluations, the researchers argue that building trustworthy legal AI requires independent, community-driven benchmarking supported by the right institutions.
Developed by Zetrix AI in collaboration with Parti Keadilan Rakyat (PKR), PMX AI is trained on Prime Minister Anwar Ibrahim’s speeches, writings and government policies to help Malaysians access government services and answer questions in English and Malay.
The AI triage tool in NHS app is part of £10 billion funding received by NHS to digitalize healthcare system.
Google DeepMind’s AlphaProof Nexus agent autonomously solved nine open problems associated with Hungarian mathematician Paul Erdős — two of them open for 56 years. The announcement, days after OpenAI claimed to have disproved an Erdős conjecture from 1946, signals a shift in how AI labs are testing mathematical reasoning.
