AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we can't verify them. How will we know if they're right?

Microsoft Math Solver is a free tool that uses AI to recognize both printed and handwritten math. It’s particularly strong with geometric proofs and interactive graphing, and it pulls learning ...

OpenAI’s unreleased model solved five of 10 unpublished research-level math problems and proposed a breakthrough physics formula, signaling a new era for AI in science.

When my cofounder and I were accepted into a competitive startup accelerator program in fall 2025, we applied with an ambitious idea: to build an “AI scientist” for machine learning research. What ...

OpenAI’s o3 just cleared artificial general intelligence (AGI) benchmarks. Eighty-seven percent on ARC-AGI, the test that’s supposed to measure whether machines can actually think. Silicon Valley ...

NVIDIA CEO Jensen revealed that not only does Space AI solve the AI energy scaling problem and the compute scaling problem, ...

An error has occurred. Please try again. With a The Portland Press Herald subscription, you can gift 5 articles each month. It looks like you do not have any active ...

WestWater Research projects that U.S. data center water consumption will jump 170% from 2023 to 2030, driven largely by AI ...

Ed Zitron has done the math on the AI industry. He does not like what he found. Zitron, a tech analyst and writer behind the ...

The reading achievement gap affects us all through heavy special education spending and societal problems. AI can have a transformational impact on these endemic issues.

New generations of memristors could reliably store information directly within the molecular structures of graphene-like materials. In a new review published in Nanoenergy Advances, Gennady Panin of ...