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 ...

Top artificial intelligence systems now ace many textbook-style math questions, yet they still fall apart on genuinely new ...

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

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 ...

Somehow, people have trouble acknowledging that a technology can be simultaneously incredible and flawed. Hello again, and welcome back to Fast Company’s Plugged In.

India AI Impact Summit 2026: AI has an enormous hallucination problem. It doesn't really understand what's true and what's ...