Proof coverage.

OpenAI Claims Yang-Mills Proof; Nobel Laureate Whose Discovery Enables It Now Reviews It - Tech Times

This 'waterproof' rugged Android tablet has two features no other slates have — a LAN port and HDMI connector

FBI Warned Pat McAfee to Wear Bulletproof Vest After Charlie Kirk Shooting

The FBI urged ESPN "College GameDay" analyst Pat McAfee to take his safety more seriously after Charlie Kirk's assassination.…

Dueling proofs from OpenAI and Anthropic astound scientists - Scientific American

OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics - the-decoder.com

😺 OpenAI's big day brought a disproof and Terra - The Neuron

A simplified proof of ETH is False [pdf]

OpenAI claims major proofs in math, computing and quantum physics - Interesting Engineering

OpenAI Claims 3 Science Proofs, Taps Shepherds [2026] - shattered.io

AI talk has nearly doubled outside tech. Proof of payoff is still rare

OpenAI Says Its Models Produced Three Proofs in Math, CS, and Physics - Unite.AI

Zhang Yitang's Unsolved Mathematical Breakthrough: OpenAI GPT-6 Collaborates With Humans For 2 Weeks To Crack The Long-Standing Conjecture, Delivering A Concise 5-Page Formal Proof - eu.36kr.com

I asked Gemini to design a 3D print to cat-proof my door lock; it nearly nailed it

Bend: A fast language that blocks AI mistakes via proof

Soma – memory and proofs for AI agents, measured not asserted

Lenovo's ThinkPad T14 Gen 7 is proof that sticking to your roots is a winning formula

The inside story behind OpenAI’s million-dollar math proof - Scientific American

Australian Zoo Plays Matchmaker for Giant Birds, and Big Green Eggs Are Proof

Proof – Making AI Easier