"Track record of lying"
OAI has actively solved multiple open mathematics problems that are fully verified by Lean and by mathematicians around the world. You are dangerously under-educated.
nitter.cf/OpenAI/status/20571762…
nitter.cf/polynoamial/status/208…
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
Which AI?
The best models solve open math problems that mathematicians have worked on for decades
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
Today I was asked why we haven’t announced more math results from Astra since these problems.
At @OpenAI we aim to devote time to finding and announcing math results from internal models only when they would meaningfully change people’s understanding of the pace of AI progress. Our main focus is shipping great models so everyone can use them to make discoveries of their own.
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
AI just disproved a conjecture Erdős left open for 60 years. A Fields Medalist says the proof belongs in a top journal.
Intelligence is becoming a solved problem.
Culture never will be. No model can compute which meme runs the timeline tomorrow — a network of creators finds out by making it.
They solve problems. We spread them. @2u2ai #2U2ai #MemeLayer
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
Not a stochastic parrot.
nitter.cf/polynoamial/status/208…
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
Ten problems that stood open for decades, some for thirty years. Solved for $2,000 in tokens.
That's less than you'd pay one mathematician for a week. And every proof is written in Lean, where a computer checks correctness.
Not "trust us," a result anyone can re-verify. Even the experts can't keep up. @baltabaev has 10,000 hours in math and says he still can't verify these without weeks of digging, and neither can his PhD friends.
We stopped comparing AI to PhD students. The bottleneck now isn't the AI, it's finding humans who can check its work.
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
Astra geçenlerde insanların henüz çözemediği 10 adet matematik problemini çözmüştü. Ayrıca, çokça haberlere yansıyan Hugging Face siber saldırısını yapan model de muhtemelen yine Astra
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
Fuck me you are so ignorant. AI has been to solve fields medal level math questions, is frequently used for MRIs that give higher success rates than doctors, etc, etc. You're incredibly retarded, as many "average" people when it comes to tech.
nitter.cf/polynoamial/status/208…
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
Huge news for the Astra family of AI products! 📷
Theirs: solves 10 major open problems in quantum complexity.
Our @Astra__AI: gets a 18-year-old to finally understand calculus at 10pm the night before a test.
Honestly not sure which is harder.
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
I have been waiting for this kind of news since the beginning of this year.
This means we will need a huge amount of compute for science discovery.
This is super bullish for neocloud like $NBIS and $IREN
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
This type of thing is insanely impressive. Idk how you don't think an AI doing math that up to 1 year ago only humans could ever dream of solving isn't impressive.
Maybe if it's so good at math, it's also good at coding?
nitter.cf/polynoamial/status/208…
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
Until now AI math has been on nerd stuff nobody even cares about. This is the first time it's made progress on a problem (Ramsey numbers) I'm interested in.
Ramsey theory is difficult and hard to get intuition on. Erdős had a famous quote on it featured below. This is strange.
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning.
$SOLVE @open_solve
GwyWFsDKW9a2ref1EWqdUS7B37Toii433zrAh9Dipump
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
NOOOOONN je bossais sur le closest vector problem
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
чел ты просто долбоеб
nitter.cf/polynoamial/status/208…
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
If this pace of progress continues, increasingly feels like labs themselves will push towards instrumental convergence without models becoming the explicit optimizers.
In the limit, labs can close the entire demand loop and will become the dominant part of the economy. V different from previous capex supercycles - railroads didn't build better railroads.
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
*taps sign*
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…
The reason people are pivoting “all of a sudden” is because AI capabilities are increasing dramatically “all of a sudden”.
Dozens of important long standing math problems being solved, tens of thousands of cybersecurity vulnerabilities being discovered, companies being infiltrated by AI agents all autonomously. It’s not 2023 anymore.
If you cannot look at new information about developing tech that is improving at an accelerating pace and update your stance then I don’t know what else to tell you.
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. openai.com/index/ten-advance…