OpenAI's GPT-5.6 Sol and the new playbook for AI-assisted math proofs
OpenAI says its GPT-5.6 Sol helped resolve a decades-old math conjecture-highlighting how prompting, verification, and tool use are reshaping what "AI can do" in formal reasoning.
A 98‑Qubit Quantum Computer Hits a New Accuracy Mark-Here's Why That Matters
A 98-qubit machine built from trapped atoms has set a new benchmark for accuracy. The result highlights how quantum hardware is shifting from "more qubits" to "better qubits," and what that means for...
OpenAI's AI Tackles Erdős' Unit Distance Problem, Forcing Mathematicians to Rethink What "Discovery" Looks Like
An OpenAI-built AI system has produced a result tied to Paul Erdős' decades-old unit distance conjecture. The episode highlights how modern AI can search, conjecture, and sometimes surprise in pure...
OpenAI and Ginkgo Bioworks test what it means for an AI model to ‘do science' in an autonomous lab
A collaboration between OpenAI and Ginkgo Bioworks explores how an AI model can propose hypotheses, design biology experiments, interpret results, and iterate through an autonomous lab workflow.