OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

Hacker News2026-10-07 07:370 views

Points: 3

# Comments: 2

LinkedIn shows job postings to anyone, even without an account. In this tutorial we'll collect job postings — with full

A prompt-injection benchmark, three bugs in my own scorer, and the result I only found after fixing them. I built RAGPro

Article URL: https://github.com/aaitor/skill-video-studio Comments URL: https://news.ycombinator.com/item?id=50340992 Po

Article URL: https://github.com/soml-lang/soml Comments URL: https://news.ycombinator.com/item?id=50341502 Points: 3 # C

Article URL: https://terrytao.wordpress.com/2026/11/02/egoless-mathematics-in-the-ai-era/ Comments URL: https://news.yco

Introducing LifeVal, a benchmark measuring how well AI helps people complete everyday tasks, from finding childcare to m

Related posts