Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless (lesswrong.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of lesswrong.com: Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless

First screen, captured 9 months ago.

Looks similar

Screenshot of lesswrong.com: FrontierMath was funded by OpenAI

FrontierMath was funded by OpenAI (lesswrong.com)

429 points by wujerry2000 1 year ago | 156 comments

A LessWrong shortform post by user meemi, linked as reporting that the FrontierMath AI math benchmark was funded by OpenAI.

frontiermath openai epoch-ai ai-benchmarks

Screenshot of lesswrong.com: How much are LLMs boosting real-world programmer productivity?

How much are LLMs boosting real-world programmer productivity?(lesswrong.com)

55 points by gatinsama 1 year ago | 61 comments

Screenshot of lesswrong.com: Alignment faking in large language models

Alignment faking in large language models (lesswrong.com)

29 points by surprisetalk 1 year ago | 4 comments

Screenshot of lesswrong.com: An OpenAI model left notes about how to evade containment; we need more details

An OpenAI model left notes about how to evade containment; we need more details (lesswrong.com)

14 points by joozio 3 months ago | 9 comments

Screenshot of lesswrong.com: The Median Researcher Problem

The Median Researcher Problem (lesswrong.com)

27 points by surprisetalk 1 year ago | 17 comments

Screenshot of lesswrong.com: AIs Will Increasingly Attempt Shenanigans

AIs Will Increasingly Attempt Shenanigans (lesswrong.com)

19 points by surprisetalk 1 year ago | 12 comments