Brad Neuberg

@bradneuberg

Tech Lead for Edge Compute/Staff ML Engineer @ planet. Prev Dropbox & Google. Started coworking. Interests: EO, ML, Space, XR. http://codinginparadise.org

following
followers

OpenAI Publishes Hundreds of AI-Generated Manuscripts Claiming Solutions to Open Math Problems

A post says only 10 of 719 manuscripts show the model's reasoning; it calls verification the harder task.

66 Sources, 3h ago, updated 3h ago

AI-assisted math results and the struggle to understand them

A commenter says AI math papers lack figures and offer only summarized reasoning traces, making their results harder to understand.

3 Sources, 20d ago, updated 20d ago

Featured in

OpenAI Publishes Hundreds of AI-Generated Manuscripts Claiming Solutions to Open Math Problems

AI-assisted math results and the struggle to understand them

Featured in

OpenAI Publishes Hundreds of AI-Generated Manuscripts Claiming Solutions to Open Math Problems

AI-assisted math results and the struggle to understand them