TL;DROpenAI says its unreleased Astra model solved ten open maths problems, shipping Lean proofs on GitHub for roughly $2,000 in compute OpenAI says an internal version of its next major model, called ...

Alpöge’s discovery is the latest in a string of high-profile mathematical breakthroughs made by large language models. Recent examples include OpenAI’s disproof of the unit distance conjecture, and ...

Baboons and macaques appear to use some of the same mental strategies as humans when matching shapes, suggesting that the ...

Physicists, mathematicians and philosophers have been exploring the possibility of going forward to the future or back to the ...

Fields Medal 2026 winners were announced July 23 at ICM Philadelphia: Hong Wang, Yu Deng, John Pardon, and Jacob Tsimerman ...

Chemists have demonstrated that neutral chalcogen-bond donors can induce asymmetry in chemical reactions, addressing a challenge that has limited the development of chalcogen-bonding catalysis.

As AI climbs on the shoulders of many mathematicians before it, humans are also able to reach further due to advances by AI.

As millions of people were coming down from the excitement of the FIFA World Cup final at the start of this week, a different ...

For more than a decade, mathematicians have been unable to settle the question of whether the ABC conjecture has been solved.

For most of the past century, mathematicians have been exploring the limits of Ramsey theory, the study of order hiding inside chaos—or, more accurately, how much disorder can be packed into a system ...

Canada-based startup Reflect10 has developed a photovoltaic module design that it claims can increase energy production by 20% compared to a conventional solar module. The panel integrates a ...