In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Leaving Cert maths paper 1 may have “struck a bum note” with some students, with a very testing paper focused heavily on calculus, algebra, and sequences. The 2026 State exams continued on Friday, ...

The World Economic Forum’s " Future of Jobs Report 2025 " projects that AI and information processing will transform employers by 2030. It identifies AI and big data as the fastest-growing skills, and ...

The aerospace and defense sector is in the middle of one of the most significant wealth creation cycles in its history.

Qualcomm Tenstorrent acquisition talks value the RISC-V AI chip startup at up to $10 billion — nearly triple its prior ...

Quality teaching and the way we learn isn't changing because of AI, but the context means we have to make it the centrepiece ...

ChatGPT's breakthrough is not what it seems.

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

OpenAI's AI model solved the unit distance problem posed by Paul Erdos in 1946 The AI found a counterexample disproving Erdos's conjecture on unit-distance pairs The solution shows unit-distance pairs ...

The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got six or seven of the ten questions right.

“If you are a mathematician,” one of the world’s leading mathematicians recently wrote, “you may want to make sure you are sitting down before reading further.” And you’ll definitely need to sit down ...