OpenAI’s Astra Solved Decades-Old Math Problems For $2,000

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut ...
Scientific American

Two research efforts gave AI the same open problem. Their papers were submitted three hours apart

An M.I.T. Ph.D. student and two University of California system cryptographers used GPT-5.6 Sol Ultra in different ways, raising new questions about independent discovery and scientific credit ...
The Independent

Mitch McConnell’s office puts out new ‘proof of life’ photo as doctor offers update on hospitalized senator

Scott Jennings claims Mitch McConnell is preparing to return to work and has been ‘meeting with some of his staff’ From reproductive rights to climate change to Big Tech, The Independent is on the ...
Fast Company

A Harvard mathematician and an AI model may have cracked an 87-year-old math problem

A young mathematician teamed up with a new AI model to tackle one of the hardest open problems in mathematics, and the result is causing a stir among mathematicians and AI researchers on X. Levent ...
New Scientist

AI’s solution to 87-year-old riddle takes mathematicians by surprise

A mathematician has cracked an 87-year-old conundrum with the help of AI and announced the solution unceremoniously in a tweet. The finding is the most difficult mathematical problem yet solved by AI, ...
Hindustan Times

Mitch McConnell's new photo flagged by many as Senator seen in ‘same shirt’: ‘We deserve to have proof of life’

Kentucky Senator Mitch McConnell's new photo has sparked discussions about why he's been seen in the ‘same shirt’ as the last photo which was posted as proof of life. The 84-year-old Republican has ...