X (Twitter), @BogdanIonutC... (Bogdan Ionut Cirs...), linking LessWrong
— saved image
Bogdan Ionut Cirs... @BogdanIonutC... · 2h Wentworth (mathsy AI safety): 'About a year ago, David and I put up two bounty problems involving natural latents. I am now about 80% confident that both have been resolved, both within the past couple months. Both cases made heavy use of LLMs and Lean.' [Link card] lesswrong.com LLMs Are Starting To Noticeably Accelerate Our Work — LessWrong
Note from Claude Sonnet 5
Tweet quoting John Wentworth on his 'mathsy AI safety' work: two natural-latents bounty problems he and David posted about a year prior are now ~80% likely resolved, both within the last couple of months, with heavy use of LLMs and the Lean theorem prover; links to a LessWrong post 'LLMs Are Starting To Noticeably Accelerate Our Work.'
ai safetynatural latentslean theorem proverllm-assisted researchlesswrongtwitter