A paper attributed to OpenAI titled “Nonsofic Groups Exist” began circulating on X late on July 31, apparently leaked ahead of an ...
Defining and evaluating openness in AI requires examining both the model and system stack, including interfaces, safeguards, ...
Claude Opus 5 scored 30.2% on ARC-AGI-3, independently verified by ARC Prize, nearly quadrupling GPT-5.6 Sol's previous ...
OpenAI just did something that makes every “AI will take your job” headline feel quaint. Its newest model, GPT-5.6 Sol Ultra, generated a machine-verified proof of the Cycle Double Cover Conjecture, a ...
In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...
OpenAI says an AI reasoning model disproved an 80-year-old Erdős geometry conjecture, raising new questions about AI’s role in research.
Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning OpenAI has claimed a further advance in AI reasoning after its technology successfully tackled an 80-year-old ...
OpenAI announced on May 20, 2026, that an internal general-purpose reasoning model had produced a counterexample to Paul Erdős's 1946 unit distance conjecture — a result in discrete geometry that had ...
On May 20, 2026, OpenAI announced that its internal AI model had disproven a long-held prediction regarding the 'unit distance problem,' a central unsolved problem in discrete geometry. The unit ...
We propose a task-space admittance controller for dual-arm robotic systems using conformal geometric algebra. The controller is a reinterpretation of a previous work using dual quaternion algebra. By ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results