Hacker News: 1283751https://news.ycombinator.com/user?id=1283751Hacker News RSShttps://hnrss.org/hnrss v2.1.1Fri, 04 Sep 2026 07:29:08 +0000<![CDATA[New comment by 1283751 in "GPT-6 Astra"]]>With very little review: https://github.com/openai/PrimeGaps186/blob/main/formalizati...

"No independent human semantic review. Whole-file sorry counts and a complete auxiliary-declaration audit are not established; separate declaration lint has not been run."

]]>Thu, 03 Sep 2026 19:58:12 +0000https://news.ycombinator.com/item?id=495559471283751https://news.ycombinator.com/item?id=49555947https://news.ycombinator.com/item?id=49555947