automated reasoning - Modern Sciences

Modern Sciences is a premier science journal that bridges the gap between science and its application to society.

LATEST STORIES

Generative AI has changed mathematics forever. Where to from here?

Generative AI has changed mathematics forever. Where to from here?

Reef relief: how a late summer monsoon helped cool the Great Barrier Reef at just the right time

Reef relief: how a late summer monsoon helped cool the Great Barrier Reef at just the right time

Exploring the Moon will require rovers that can think for themselves – an upcoming NASA mission will test whether they can

Butterflies are on the move as the planet warms: new research

Butterflies are on the move as the planet warms: new research

Generative AI has changed mathematics forever. Where to from here?

Read More

4 minute read

Generative AI has changed mathematics forever. Where to from here?

A little over a week ago, artificial intelligence company OpenAI announced ten advances in mathematics and computer science made with…

August 31, 2026

A new ‘golden age’ of mathematics may be dawning — thanks to AI and human ingenuity

Read More

4 minute read

Math and the Sciences

A new ‘golden age’ of mathematics may be dawning — thanks to AI and human ingenuity

Trefor Bazett, University of Victoria In May 2026, OpenAI released a new math result that sent shock waves…

byTrefor Bazett

August 10, 2026