Lawmakers are neglecting AI safety even as it shows more deceptive behavior. That is a grave mistake. https://www.japantimes.co.jp/commentary/2025/06/02/world/ai-deceives-survive/?utm_medium=Social&utm_source=mastodon #commentary #worldnews #ai #chatgpt #claude #artificialintelligence #tech #deepseek
Ayuda por favor: ¿conocen medios en español que informen objetivamente acerca de temas de #InteligenciaArtificial generativa? Busco cobertura acerca de los costos ambientales de los modelos, #DerechosDeAutor, "alucinaciones", etcétera.
Gracias. 
#IA #capitalismo #tecnología #ChatGPT #Gemini #DeepSeek #Claude #MetaAI #Grok
We did the math on AI’s energy footprint. Here’s the story you haven’t heard.
The emissions from individual AI text, image, and video queries seem small—until you add up what the industry isn’t tracking and consider where it’s heading next.
https://www.technologyreview.com/2025/05/20/1116327/ai-energy-usage-climate-footprint-big-tech/
Paywall Free: https://archive.is/mnHb8
Investors are excited by Pakistan's claim of a Chinese victory over advanced Western jets, seeing it as a potential boost for China's defense industry and its ability to expand military exports globally. https://www.japantimes.co.jp/commentary/2025/05/19/world/chinas-defense-industry-deepseek/?utm_medium=Social&utm_source=mastodon #commentary #worldnews #china #pakistan #india #defense #ai #avicchengduaircraft #dassaultaviation #rheinmetall #deepseek #j10c #rafale #mig29 #su30
It’s Breathtaking How Fast AI Is Screwing Up the Education System
Thanks to a new breed of chatbots, American stupidity is escalating at an advanced pace.
https://gizmodo.com/its-breathtaking-how-fast-ai-is-screwing-up-the-education-system-2000603100
Deepfakes, Scams, and the Age of Paranoia
As AI-driven fraud becomes increasingly common, more people feel the need to verify every interaction they have online.
https://www.wired.com/story/paranoia-social-engineering-real-fake/
Readings shared May 2, 2025. https://jaalonso.github.io/vestigium/posts/2025/05/02-readings_shared_05-02-25 #AI #ChatGPT #DeepSeek #ITP #IsabelleHOL #LLMs #LeanProver #Math #Python #Rocq
Frontier of formal theorem proving with large language models: Insights from the DeepSeek-Prover. ~ Huajian Xin. https://europroofnet.github.io/_pages/WG5/Edinburgh25/abstracts/6.pdf #ITP #LeanProver #LLMs #DeepSeek
Why AI Benchmarks are an 'Illusion'
Chatbot Arena is the most popular AI benchmarking tool, but new research says its scores are misleading and benefit a handful of the biggest companies.
https://www.404media.co/email/870adfaa-fa00-42ab-8261-3907a9dfdc75
DeepSeek Releases Massive 671B Prover V2 Model For Mathematical Theorem Proving Ahead of R2 Release
#AI #ChinaAI #DeepSeek #OpenSourceAI #Math #TheoremProving #Lean4 #MachineLearning #DeepLearning #MathAI
#SouthKorea says #DeepSeek transferred user data, prompts without consent
An Alarming Number of Gen Z AI Users Think It's Conscious
The majority of young people use AI, and they try to be polite when interacting with chatbots like ChatGPT, but some might have too much of an attachment to it, according to a new study.
https://www.pcmag.com/news/an-alarming-number-of-gen-z-ai-users-think-its-conscious
Another reminder of the virtues of running #LLM locally e.g. via #Ollama
DeepSeek Breach Opens Floodgates to Dark Web
> [Researchers discovered] a publicly accessible .. database belonging to #DeepSeek, containing more than a million lines of log streams with highly sensitive information. This exposed data included chat history, #API keys ...
https://www.darkreading.com/cyberattacks-data-breaches/deepseek-breach-opens-floodgates-dark-web
Do "reasoning" #LLMs like #DeepSeek's truly deliberate?
Wang et al. found such #AI systems exhibited cognitive biases.
And injecting phrases like "wait, let me think about it" may have exacerbated one bias!
They dub this "superficial reflection bias".
https://doi.org/10.48550/arXiv.2504.09946
Chinese artificial intelligence firm DeepSeek is a "profound threat” to U.S. national security, a bipartisan House committee said Wednesday. https://www.japantimes.co.jp/news/2025/04/17/world/politics/deepseek-security-threat-us/?utm_medium=Social&utm_source=mastodon #worldnews #politics #china #ai #deepseek #us #tech
