"How much beauty have we lost?" Mathematicians react with shock and disgust as OpenAI bulldozes their field
OpenAI released over 700 manuscripts claiming solutions to hundreds of open math problems, shocking leading mathematicians.
14
Stories per day · 30 days
3 RSS
4 stories, newest first · one card per story
Stories tagged #proofs
OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
OpenAI published about 700 mathematical preprints of proofs and counterexamples on GitHub.
Mathematical manuscripts and supporting proof artifacts produced by OpenAI
OpenAI published mathematical manuscripts and supporting proof artifacts on GitHub.
Seal, Then Sample: Sampled Layerwise Proofs for Verifiable LLM Inference from GPT-2 to 70B
Researchers propose Sampled Layerwise Proofs to audit outsourced LLM inference through Llama-2-70B.