Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars
Google Deepmind's AlphaProof Nexus has autonomously solved nine open Erdős problems, including two that stumped mathematicians for 56 years, for just a few hundred dollars per problem in inference costs. Unlike OpenAI's natural-language approach, the system uses the Lean compiler to verify every pro
Getting Started - xAI Docs
Tweet : [https://xcancel.com/elonmusk/status/2058796067592736866#m](https://xcancel.com/elonmusk/status/2058796067592736866#m) Right now it joined "Grok-3 Opensource Release" club.
Pope Leo XIV says AI must serve humanity, not the powerful few
Pope Leo: opaque AI run by few firms risks "New Forms of Dehumanization"
Netherlands Seizes 800 Servers, Arrests 2 for Aiding Cyberattacks
GPT Guesses Between 1 and 100
The Financial Times has published an article about Heretic
https://www.ft.com/content/5630ed79-a263-41ed-9a1a-321617ae310e “The FT was able to use Heretic, a tool available on the popular code repository GitHub, to remove the guardrails from Meta’s Llama 3.3 model in less than 10 minutes without any specialist hardware.” “Heretic creator Philipp Emanuel W
Ubers COO says its getting harder to justify the money spent on AI tokenmaxxing
C extensions, portability, and alternative compilers
We're one step closer to technological transcendence…now they do animated gaussian splats porn
reconstructing different angles from live footage
damn i just found this out today - 4D Gaussian Splating that converts flat images into three-dimensional spatial data.
Demis: Solving erdos problems are far from true invention
NuExtract3 released: open-weight 4B VLM for Markdown, OCR and structured extraction (self-hostable)
Disclaimer: I work for Numind, the company behind this open-weight model TLDR: Image/text to Markdown :-) We just released a 4B model based on Qwen3.5-4B, under Apache-2.0 license. The goal is to make information extraction from complex documents more practical with an open model: PDFs, screenshot
LimX Dynamics launches Luna, its fluid, full-size humanoid robot
AI agents need audit trails more than they need more autonomy
A lot of people talk about AI agents like the main goal is making them more independent. But the more I think about it, the bigger issue is probably visibility. If an AI is only answering a question, it is easy to judge the result. But once it starts doing things across websites, accounts, forms, su
Defeating Git Rigour Fatigue with Jujutsu
Chart: Math problems recently solved by AI
Old Mac Pro still proving its worth
The “Trash Can” Mac Pro, once the most expensive machine you could buy from Apple, mine was just shy of £10,000 in 2016 — that’s £14k in today’s money. Until recently mine was just running as a kubernetes single node development platform, it’s 64gb of ram and 24 logical cores made it perfect for th
Is Qwen3.6 current king for local agentic use?
I've been testing other models but it seems like nothing even come close to Qwen3.6 35B A3B for agentic use. The worse I'd get is a loop sometimes, while Gemma4 produced broken tool calls occasionally and I couldn't even get GLM 4.7 Flash REAP past 2 or 3 messages before it starts looping. All IQ4_N