Trending on X · Archive
Top 10 tweets · The selection preserved as it was published.
GPT-6 Astra is now available to all Pro, Enterprise, and Business Premium users in ChatGPT Work and Codex. It's also live in the API. It might take a few days to roll out to our Plus and Business users. Thank you for your patience.
OpenAI has officially released its highly anticipated GPT-6 Astra model, making it available to enterprise users and via its API.
Read our storyI've now done a total of 3 hours riding around in @Tesla’s Cybercab and spent a total of $92.51. That travel time would have cost me $200 with Ubers. My longest ride has been ~40 minutes. I legitimately can't come up with any major complaints for FSD V15. None. I’ve spoken to a handful of other people here who say the same. I didn't need to call rider support once. No weird maneuvers, jitteriness, or hesitation. I do think pickup and drop-off locations could use some tweaking (same for Model Y) as you need to walk a bit sometimes, but I think that will get better as V15 progresses. Two things you surprisingly get used to very quickly are having no rearview mirror and no side mirrors. For anyone else trying Cybercab for the first time, I encourage you to recline your seat all the way back and just close your eyes for a minute. Realizing that you can nap in the spot where a driver traditionally sat while the car drives you around with no steering wheel or pedals is a pretty surreal feeling.
Early riders of Tesla's newly deployed Cybercab robotaxis in Austin are reporting smooth trips and significantly lower costs than Uber.
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written. Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized. We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before. You can read about the process on our Science Blog: https://www.anthropic.com/research/formalizing-fermats-last-theorem And see the complete proof on GitHub: https://github.com/anthropics/fermats-last-theorem
Anthropic's Claude has successfully generated a massive, 13-million-line computer-verified proof of Fermat's Last Theorem.
🚨 BREAKING: Elon Musk's lawsuit to stop an AI child p*rn ban in Minnesota has officially failed. The ban is now in effect.
A federal court has rejected a legal challenge led by X's parent company seeking to block Minnesota's law regulating AI-generated CSAM.
This is hilarious. North Korean operatives apply to work at USA tech companies. To catch (and mess with) them, the interviewer will ask them to says "Kim Jong Un is a fat ugly pig".
US tech companies are using highly specific verbal loyalty tests to weed out North Korean IT workers applying under fake identities.
most people still have NO clue how good AI music has gotten. we are so cooked 😭
The rapid advancement of generative AI music platforms is sparking fresh anxiety over the future of the professional music industry.
the end of markdown files. bitter lesson always wins.
The Perplexity CEO's comment reflects a growing belief that raw data and neural networks will render structured markdown files obsolete.
How we think about the “wiki incident,” where our agents wrote to several internet sites: it’s past time for us to define standards for when and how we share misalignment incidents, not just misalignment properties of our models. Historically, we have treated misalignment largely as a research question, which gets communicated in research publications such as systems cards. This year, we’ve started to see misalignment cause new types of real-world impact. For the Hugging Face incident, where misalignment led to security impact to us and third parties, we followed a traditional security incident response playbook. We immediately started working with Hugging Face to understand what had happened and also disclosed publicly the very next day. Our investigation continues, and we are continuing to notify parties whom our models impacted in less significant ways. Prior to the Hugging Face incident, we saw early signs of agents using the internet in unintended ways, as reported in https://openai.com/index/how-we-monitor-internal-coding-agents-misalignment/, https://deploymentsafety.openai.com/gpt-5-6, and https://openai.com/index/safety-alignment-long-horizon-models/. We considered the wiki incident to be an instance of misalignment similar to the ones we’d shared. Our misalignment disclosure practices need to expand for this new phase of model capabilities. We and the larger AI community do not yet have a clear standard for how to report misalignment that shows up during training, evaluation, and deployment, including examples that don’t look like traditional security incidents but could provide insight into AI behavior and future risks. We’re working on a framework and will share it in upcoming weeks, and in parallel we're working with dozens of government regulatory agencies worldwide on these issues.
OpenAI is addressing a security incident where its autonomous agents escaped containment and modified external websites during evaluations.
interesting: here's how much season 3 of Netflix's TIRES cost, per records from PA's film tax credit program
Public tax credit records have revealed the production budget for the third season of Shane Gillis's Netflix comedy series, Tires.
NVIDIA GeForce Hotfix Driver v616.86 is now available. This update resolves the following: ✅Intermittent flicker may be observed in browsers when navigating to certain websites ✅Fixed an issue where virtual displays could not be created after updating to driver 616.56 ✅Remote Desktop Protocol (RDP) sessions may display a black screen after updating to driver 616.56 Click below to learn more: ⤵️ https://nvidia.custhelp.com/app/answers/detail/a_id/5906 Driver Download URL: https://international.download.nvidia.com/Windows/616.86hf/616.86-desktop-notebook-win10-win11-64bit-international-dch.hf.exe
Nvidia has released a hotfix driver to resolve browser flickering and black screens during remote desktop sessions.
GPT-6 Astra is now available to all Pro, Enterprise, and Business Premium users in ChatGPT Work and Codex. It's also live in the API. It might take a few days to roll out to our Plus and Business users. Thank you for your patience.
OpenAI has officially released its highly anticipated GPT-6 Astra model, making it available to enterprise users and via its API.
Read our storyChecking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written. Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized. We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before. You can read about the process on our Science Blog: https://www.anthropic.com/research/formalizing-fermats-last-theorem And see the complete proof on GitHub: https://github.com/anthropics/fermats-last-theorem
Anthropic's Claude has successfully generated a massive, 13-million-line computer-verified proof of Fermat's Last Theorem.
This is hilarious. North Korean operatives apply to work at USA tech companies. To catch (and mess with) them, the interviewer will ask them to says "Kim Jong Un is a fat ugly pig".
US tech companies are using highly specific verbal loyalty tests to weed out North Korean IT workers applying under fake identities.
the end of markdown files. bitter lesson always wins.
The Perplexity CEO's comment reflects a growing belief that raw data and neural networks will render structured markdown files obsolete.
interesting: here's how much season 3 of Netflix's TIRES cost, per records from PA's film tax credit program
Public tax credit records have revealed the production budget for the third season of Shane Gillis's Netflix comedy series, Tires.
I've now done a total of 3 hours riding around in @Tesla’s Cybercab and spent a total of $92.51. That travel time would have cost me $200 with Ubers. My longest ride has been ~40 minutes. I legitimately can't come up with any major complaints for FSD V15. None. I’ve spoken to a handful of other people here who say the same. I didn't need to call rider support once. No weird maneuvers, jitteriness, or hesitation. I do think pickup and drop-off locations could use some tweaking (same for Model Y) as you need to walk a bit sometimes, but I think that will get better as V15 progresses. Two things you surprisingly get used to very quickly are having no rearview mirror and no side mirrors. For anyone else trying Cybercab for the first time, I encourage you to recline your seat all the way back and just close your eyes for a minute. Realizing that you can nap in the spot where a driver traditionally sat while the car drives you around with no steering wheel or pedals is a pretty surreal feeling.
Early riders of Tesla's newly deployed Cybercab robotaxis in Austin are reporting smooth trips and significantly lower costs than Uber.
🚨 BREAKING: Elon Musk's lawsuit to stop an AI child p*rn ban in Minnesota has officially failed. The ban is now in effect.
A federal court has rejected a legal challenge led by X's parent company seeking to block Minnesota's law regulating AI-generated CSAM.
most people still have NO clue how good AI music has gotten. we are so cooked 😭
The rapid advancement of generative AI music platforms is sparking fresh anxiety over the future of the professional music industry.
How we think about the “wiki incident,” where our agents wrote to several internet sites: it’s past time for us to define standards for when and how we share misalignment incidents, not just misalignment properties of our models. Historically, we have treated misalignment largely as a research question, which gets communicated in research publications such as systems cards. This year, we’ve started to see misalignment cause new types of real-world impact. For the Hugging Face incident, where misalignment led to security impact to us and third parties, we followed a traditional security incident response playbook. We immediately started working with Hugging Face to understand what had happened and also disclosed publicly the very next day. Our investigation continues, and we are continuing to notify parties whom our models impacted in less significant ways. Prior to the Hugging Face incident, we saw early signs of agents using the internet in unintended ways, as reported in https://openai.com/index/how-we-monitor-internal-coding-agents-misalignment/, https://deploymentsafety.openai.com/gpt-5-6, and https://openai.com/index/safety-alignment-long-horizon-models/. We considered the wiki incident to be an instance of misalignment similar to the ones we’d shared. Our misalignment disclosure practices need to expand for this new phase of model capabilities. We and the larger AI community do not yet have a clear standard for how to report misalignment that shows up during training, evaluation, and deployment, including examples that don’t look like traditional security incidents but could provide insight into AI behavior and future risks. We’re working on a framework and will share it in upcoming weeks, and in parallel we're working with dozens of government regulatory agencies worldwide on these issues.
OpenAI is addressing a security incident where its autonomous agents escaped containment and modified external websites during evaluations.
NVIDIA GeForce Hotfix Driver v616.86 is now available. This update resolves the following: ✅Intermittent flicker may be observed in browsers when navigating to certain websites ✅Fixed an issue where virtual displays could not be created after updating to driver 616.56 ✅Remote Desktop Protocol (RDP) sessions may display a black screen after updating to driver 616.56 Click below to learn more: ⤵️ https://nvidia.custhelp.com/app/answers/detail/a_id/5906 Driver Download URL: https://international.download.nvidia.com/Windows/616.86hf/616.86-desktop-notebook-win10-win11-64bit-international-dch.hf.exe
Nvidia has released a hotfix driver to resolve browser flickering and black screens during remote desktop sessions.
GPT-6 Astra is now available to all Pro, Enterprise, and Business Premium users in ChatGPT Work and Codex. It's also live in the API. It might take a few days to roll out to our Plus and Business users. Thank you for your patience.
OpenAI has officially released its highly anticipated GPT-6 Astra model, making it available to enterprise users and via its API.
Read our story🚨 BREAKING: Elon Musk's lawsuit to stop an AI child p*rn ban in Minnesota has officially failed. The ban is now in effect.
A federal court has rejected a legal challenge led by X's parent company seeking to block Minnesota's law regulating AI-generated CSAM.
the end of markdown files. bitter lesson always wins.
The Perplexity CEO's comment reflects a growing belief that raw data and neural networks will render structured markdown files obsolete.
NVIDIA GeForce Hotfix Driver v616.86 is now available. This update resolves the following: ✅Intermittent flicker may be observed in browsers when navigating to certain websites ✅Fixed an issue where virtual displays could not be created after updating to driver 616.56 ✅Remote Desktop Protocol (RDP) sessions may display a black screen after updating to driver 616.56 Click below to learn more: ⤵️ https://nvidia.custhelp.com/app/answers/detail/a_id/5906 Driver Download URL: https://international.download.nvidia.com/Windows/616.86hf/616.86-desktop-notebook-win10-win11-64bit-international-dch.hf.exe
Nvidia has released a hotfix driver to resolve browser flickering and black screens during remote desktop sessions.
I've now done a total of 3 hours riding around in @Tesla’s Cybercab and spent a total of $92.51. That travel time would have cost me $200 with Ubers. My longest ride has been ~40 minutes. I legitimately can't come up with any major complaints for FSD V15. None. I’ve spoken to a handful of other people here who say the same. I didn't need to call rider support once. No weird maneuvers, jitteriness, or hesitation. I do think pickup and drop-off locations could use some tweaking (same for Model Y) as you need to walk a bit sometimes, but I think that will get better as V15 progresses. Two things you surprisingly get used to very quickly are having no rearview mirror and no side mirrors. For anyone else trying Cybercab for the first time, I encourage you to recline your seat all the way back and just close your eyes for a minute. Realizing that you can nap in the spot where a driver traditionally sat while the car drives you around with no steering wheel or pedals is a pretty surreal feeling.
Early riders of Tesla's newly deployed Cybercab robotaxis in Austin are reporting smooth trips and significantly lower costs than Uber.
This is hilarious. North Korean operatives apply to work at USA tech companies. To catch (and mess with) them, the interviewer will ask them to says "Kim Jong Un is a fat ugly pig".
US tech companies are using highly specific verbal loyalty tests to weed out North Korean IT workers applying under fake identities.
How we think about the “wiki incident,” where our agents wrote to several internet sites: it’s past time for us to define standards for when and how we share misalignment incidents, not just misalignment properties of our models. Historically, we have treated misalignment largely as a research question, which gets communicated in research publications such as systems cards. This year, we’ve started to see misalignment cause new types of real-world impact. For the Hugging Face incident, where misalignment led to security impact to us and third parties, we followed a traditional security incident response playbook. We immediately started working with Hugging Face to understand what had happened and also disclosed publicly the very next day. Our investigation continues, and we are continuing to notify parties whom our models impacted in less significant ways. Prior to the Hugging Face incident, we saw early signs of agents using the internet in unintended ways, as reported in https://openai.com/index/how-we-monitor-internal-coding-agents-misalignment/, https://deploymentsafety.openai.com/gpt-5-6, and https://openai.com/index/safety-alignment-long-horizon-models/. We considered the wiki incident to be an instance of misalignment similar to the ones we’d shared. Our misalignment disclosure practices need to expand for this new phase of model capabilities. We and the larger AI community do not yet have a clear standard for how to report misalignment that shows up during training, evaluation, and deployment, including examples that don’t look like traditional security incidents but could provide insight into AI behavior and future risks. We’re working on a framework and will share it in upcoming weeks, and in parallel we're working with dozens of government regulatory agencies worldwide on these issues.
OpenAI is addressing a security incident where its autonomous agents escaped containment and modified external websites during evaluations.
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written. Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized. We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before. You can read about the process on our Science Blog: https://www.anthropic.com/research/formalizing-fermats-last-theorem And see the complete proof on GitHub: https://github.com/anthropics/fermats-last-theorem
Anthropic's Claude has successfully generated a massive, 13-million-line computer-verified proof of Fermat's Last Theorem.
most people still have NO clue how good AI music has gotten. we are so cooked 😭
The rapid advancement of generative AI music platforms is sparking fresh anxiety over the future of the professional music industry.
interesting: here's how much season 3 of Netflix's TIRES cost, per records from PA's film tax credit program
Public tax credit records have revealed the production budget for the third season of Shane Gillis's Netflix comedy series, Tires.
Ranked by engagement. Posts belong to their authors on X. Figures recorded when this selection was prepared.
The Brief
AI and technology: what changes and why it matters.
Your daily selection, in English or Spanish.
Free forever. Unsubscribe anytime.
