Digest — April 26, 2026

An amateur solves a 60-year math conjecture with ChatGPT, Stanford's LLM creates working viruses, and OpenAI gets caught funding a fake news operation.

Liam Price, a 23-year-old with no advanced math training, used GPT-5.4 Pro to prove an Erdős conjecture about primitive sets — collections of whole numbers where no number divides another evenly.

The AI took a novel approach using a well-known formula that mathematicians hadn't previously applied to this class of problems. Terence Tao confirmed the proof's validity, noting the AI avoided the "standard sequence of moves" that had stalled previous attempts.

scientificamerican.com · r/singularity

Stanford: LLM Fed DNA Sequences Created 16 Working Viruses Researchers fed a language model DNA sequences and asked it to design new viruses. It wrote hundreds of candidates; 16 were functional. One used a protein not found in any known organism. Major biosecurity implications for open-weight model access.

OpenAI Caught Funding Fake News Site to Attack Safety Advocates Acutus Wire, linked to OpenAI's $125M super PAC via Republican operative Patrick Hynes, publishes AI-generated articles using fake reporters who solicit real expert quotes. 69% of content flagged as fully AI-generated. Directly violates OpenAI's own usage policies.

S&P 500 White-Collar Employment Falls 400K in 2025 First annual decline since 2016. The number of S&P 500 employees fell to 28.1 million, posting a sharp drop as companies accelerate AI-driven automation of knowledge work.

Kinetix AI Teases Most Human-Like Humanoid Robot Yet KAI features more degrees of freedom than any humanoid to date, hybrid dexterous hands, and 18,000 distributed sensors in a soft flexible body. A single "superintelligence model" blends vision, touch, language, action, and emotion.

Google DeepMind Introduces Vision Banana Instruction-tuned image generator that beats SAM 3 on segmentation and Depth Anything V3 on metric depth estimation. A single model handling both generation and perception — a step toward unified visual intelligence.

OpenAI Officially Drops SWE-Bench Verified Update: OpenAI formally abandons SWE-Bench Verified, citing 16.4% flawed test cases and data leakage across all frontier models. Recommends SWE-Bench Pro instead. Confirms the benchmark quality crisis flagged months ago.

antirez Ports DeepSeek V4 Flash to llama.cpp Redis creator antirez adds experimental DeepSeek V4 Flash support to llama.cpp with 2-bit quantized GGUF. Runs at 17 t/s on M3 Max with 128GB RAM. Even heavily quantized, quality is "very solid." Model fits in 128GB.

Hipfire — RDNA-Native LLM Inference for AMD GPUs Open-source inference engine in Rust, optimized for AMD RDNA GPUs from 5700 XT through 9070 XT. Custom MQ4/MQ6 quantization, speculative decoding with DFlash. 132 t/s on 9B model with RX 7900 XTX. Ollama-style CLI.

From Reddit

r/StableDiffusion r/comfyui

Trellis 2 gets a proper ComfyUI workflow, and a security warning for anyone running ComfyUI publicly.

Trellis 2 Gets Polished ComfyUI Workflow Community workflow for Microsoft's TRELLIS 2 3D generation model. Image-to-3D with refinement pipeline, easy install via ComfyUI-Easy-Install. Includes custom refiner node for higher quality output.

1,000+ Exposed ComfyUI Instances Hit by Crypto Mining Bots Users reporting crypto mining bots installing after ComfyUI setup. Over 1,000 exposed instances found online. GPU usage spikes while idle. Don't expose ComfyUI to the internet without authentication.

From Reddit

r/macapps r/selfhosted

Notepad++ arrives on Mac natively, MinIO gets archived, and a few handy open-source utilities.

An independent community port of Notepad++ is now available for macOS, built from the official source code in Objective-C++ with native Apple APIs.

Universal Binary for Apple Silicon and Intel. 80+ syntax languages, plugin ecosystem, split-view editing, macro recording, regex search. Free and open source (GPLv3), zero telemetry. Not affiliated with the original author but fully functional.

notepad-plus-plus-mac.org · r/macapps

MinIO Repository Archived The popular S3-compatible self-hosted object storage project was archived on April 25. Community discussing alternatives like SeaweedFS and Garage. If you're running MinIO, time to evaluate your options.

Kedip — Open Source Break Reminder for Mac Tiny menu bar app that reminds you to take screen breaks. Free, open source, still early but functional. Good alternative to paid break reminder apps.

PaddleOCR-VL-1.5 — Digitize Books via llama.cpp Local OCR pipeline running through llama-server. Handles complex layouts, tables, and mixed text/figure pages. Process entire book photo folders into Markdown end-to-end. Runs on Vulkan (Windows) and other backends.