DoomPosting
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
When you declare nature > nurture a thoughtcrime
Wait, even this guy in the comments is saying it must just be “culture”
Truth has no hope
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
Wait, even this guy in the comments is saying it must just be “culture”
Truth has no hope
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
💯5
Developing: Kingdom of Saudi Arabia is unwilling to prop up the oil market with supply cuts.
Saudis say they can tolerate low oil prices for a long period if necessary. Could suggest a shift towards producing more oil and expanding marketshare.
Crude down 2.71% on the news.
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
Saudis say they can tolerate low oil prices for a long period if necessary. Could suggest a shift towards producing more oil and expanding marketshare.
Crude down 2.71% on the news.
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
👀8👌2
DoomPosting
AI sycophancy problem OpenAI rolled back the latest update that had people furious 🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
Of course they put lying, sycophantic BS
— In the article they write to address their model’s lying sycophantic BS
OpenAI’s insane models are obviously a reflection of their creator
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
— In the article they write to address their model’s lying sycophantic BS
OpenAI’s insane models are obviously a reflection of their creator
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
💯8
BREAKING: US job openings dropped 288,000 in March, to 7.2 million, the second-lowest level since January 2021.
US available vacancies significantly missed expectations of 7.5 million.
The decline was driven by construction, transportation, private education, and real estate sectors.
As a result, the ratio of job openings to unemployed workers fell to 1.02, in-line with 2018 levels.
Meanwhile, the number of available government vacancies fell by 36,000, to 98,000, the lowest since 2020.
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
US available vacancies significantly missed expectations of 7.5 million.
The decline was driven by construction, transportation, private education, and real estate sectors.
As a result, the ratio of job openings to unemployed workers fell to 1.02, in-line with 2018 levels.
Meanwhile, the number of available government vacancies fell by 36,000, to 98,000, the lowest since 2020.
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
👀5👌2🫡1
DeepSeek doing big things
Releases DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4
“We perform a reinforcement learning stage to further enhance its ability to bridge informal reasoning with formal proof construction. Following the standard training objective for reasoning models, we use binary correct-or-incorrect feedback as the primary form of reward supervision.”
“The resulting model, DeepSeek-Prover-V2-671B, achieves state-of-the-art performance in neural theorem proving, reaching
88.9% pass ratio on the MiniF2F-test and solving 49 out of 658 problems from PutnamBench.”
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
Releases DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4
“We perform a reinforcement learning stage to further enhance its ability to bridge informal reasoning with formal proof construction. Following the standard training objective for reasoning models, we use binary correct-or-incorrect feedback as the primary form of reward supervision.”
“The resulting model, DeepSeek-Prover-V2-671B, achieves state-of-the-art performance in neural theorem proving, reaching
88.9% pass ratio on the MiniF2F-test and solving 49 out of 658 problems from PutnamBench.”
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
🔥4🤯3
Wouldn’t be surprised if DeepSeek crushes OpenAI
While OpenAI was filling their ranks with fake email job HR girls, DeepSeek was filling theirs with quants
OpenAI better be looking at buying them out if they want to survive, because they’re in trouble
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
While OpenAI was filling their ranks with fake email job HR girls, DeepSeek was filling theirs with quants
OpenAI better be looking at buying them out if they want to survive, because they’re in trouble
🄳🄾🄾🄼🄿🄾🅂🅃🄸🄽🄶
💯7👀4