henry retweetledi
henry
206 posts

henry retweetledi

You guys neeed to see this
Analysis Fact@AnalysisFact
Bolzano-Weierstrass: Every bounded sequence of real numbers has a convergent subsequence.
English
henry retweetledi
henry retweetledi
henry retweetledi

@malaka87179181 i almost cried looking at these questions nick what the fuck
English

I took this a few days ago without studying. Super easy!
Dan Hendrycks@hendrycks
Yesterday students across the country took the Putnam exam, the hardest undergrad math exam. The exam lasts 6 hours. I gave OpenAI o1 pro the questions, and it took around 0.5 hours. Its answers are in the thread---hopefully experts can help grade to see how well o1 pro did!
English


