OpenAI mistranslated mathematics into code for its Navier-Stokes proof
New Scientist says OpenAI mistranslated math into code for its Navier-Stokes proof.
403 stories, newest first · one card per story
New Scientist says OpenAI mistranslated math into code for its Navier-Stokes proof.
An arXiv paper finds chat templates change how LLMs use self-referential voice.
Research on improving long-horizon rollout stability in neural surrogate solvers, reducing error by 40% while matching full-resolution models on physics benchmarks.
A research paper on low-precision EEG decoders examines adversarial robustness across compression techniques.

AI startup Basecamp Research raised $140M from Nvidia and Anthropic to train biological AI models on massive novel genetic datasets for drug discovery.
Reviews current trust management in edge-enabled IoT, proposes taxonomy, and identifies gaps for future research.
Vision-Language-Action (VLA) policies achieve strong performance in robotic manipulation but remain brittle once execution deviates from nominal trajectories. We propose CARE (Corrective Atomic Robotic Execution), a…

Amazon researchers explain why ML research agents avoid benchmark overfitting, attributing generalization to compressibility of successful strategies.

Richard Socher's new lab Recursive, backed by $4.65B seed, targets AI systems that automate AI research itself.











Today 1.6K readers · 2.4K views · 776 reads · all time 189K views