Fields Medalist John Pardon says AI now understands his proofs
Read original source →reddit.com
Pardon says AI catches subtle errors in even his messiest proofs and proves nontrivial results, calling the progress "world-changing for mathematics." He says he would have said the opposite a year ago.
People · John Pardon
1 source
More stories today
Tutorial builds browser-agent environment with Muse Spark, OpenEnv, Helium
merve·3 hours ago
ChatGPT agents can now message other chats and projects
A Reddit user reports that ChatGPT sessions can now message other projects or workspaces, a capability they say they had been waiting on. The post is a single user report with a screenshot and no official documentation.
r/ChatGPT·3 hours ago
Essay: agentic coding has made code malleable "clay"
Essay argues the cost of changing code collapsed after November 2025, letting developers reshape whole products in days rather than demolish and rebuild. It warns that cheap edits don't make judgment cheap: without taste and refinement, work collapses into a "sloppity-slop puddle."
Hacker News·3 hours ago
DeepSeek open-sources DeepInfer inference framework
DeepSeek released its in-house inference framework, the stack powering DeepSeek-V4.1-Flash at scale with high throughput and low latency. The company says sharing it aims to lower community compute costs and energy use.
DeepSeek·3 hours agoOpenAI Platform adds Decisions API playground
TestingCatalog News·3 hours ago
Leaderboards launch for OpenAI's HealthBench benchmarks
Artificial Analysis·3 hours ago
LocalLLaMA users discuss practical uses for DiffusionGemma
A r/LocalLLaMA thread asks whether anyone has found a place for DiffusionGemma in local workflows, with the poster citing its massive speeds on the right hardware. The post frames it as the fast, capable-enough model they had assumed would require ASIC-style dedicated hardware.
r/LocalLLaMA·3 hours agoTess-4.5-27B Qwen finetune claims same scores with less thinking
MigTissera, author of Synthia, released Tess-4.5-27B, a Qwen-based finetune, with GGUF versions posted to Hugging Face. The model card claims it reaches the same score as its predecessor while doing less thinking.
r/LocalLLaMA·3 hours ago