One would imagine that an AI capable of solving the hardest Olympiad problems would naturally produce novel scientific ...

In at least two cases, the AI tool was “able to construct an original and valid proof” to unsolved conjectures.

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the ...

AI coding tools have enabled a flood of bad code that threatens to overwhelm many projects. Building new features is easier ...

The same AI that aced the genius test can't count how many times the letter "R" appears in "strawberry." OpenAI's o3 just cleared artificial general intelligence (AGI) benchmarks. Eighty-seven percent ...

Generative AI can be used to combat misinformation. However, it can also exacerbate the problem by producing convincing manipulations that are difficult to detect and can quickly be copied and ...

Many school districts are ill-prepared to defend themselves against the growing threat of AI-powered cyberattacks, a problem that has been exacerbated by federal government cuts to programs that ...

Subtle shifts in how users described symptoms to AI chatbots led to dramatically different, sometimes dangerous medical advice.

The most dangerous part of AI might not be the fact that it hallucinates—making up its own version of the truth—but that it ceaselessly agrees with users’ version of the truth. This danger is creating ...