OSS Surge + Math Breakthrough: Qwen/DeepSeek + OpenAI Erdős
Key Questions
What new model releases are coming from Qwen and DeepSeek?
Qwen released its 3.7 preview while DeepSeek launched V4 and R1, contributing to the ongoing open-source LLM surge.
How did an OpenAI model impact the Erdős unit distance conjecture?
An internal OpenAI model refuted Erdős’s unit distance conjecture, producing results considered publishable in mathematics.
What is Meta's AIRA project focused on?
Meta's AIRA-Compose and AIRA-Design enable agentic discovery of neural architectures through autonomous exploration.
What new architecture explores parallel LLM streams?
Multi-Stream LLMs introduce parallel processing for prompts, thinking, and I/O to improve efficiency and separation.
Which papers address continual learning and credit assignment?
Recent papers cover self-distillation for continual learning and curriculum reinforcement learning for verifiable subproblems in LLM reasoning.
What progress has AlphaProof Nexus made on math problems?
AlphaProof Nexus solved 9 Erdős problems and proved 44 sequence conjectures, highlighting advances in automated mathematical discovery.
How are models being trained for clinical event prediction?
New research trains large language models to predict clinical events using specialized datasets and architectures.
What attention mechanisms are proposed for efficiency?
DashAttention introduces a differentiable and adaptable sparse hierarchical attention approach to reduce computational overhead.
Qwen 3.7; DeepSeek V4/R1; Meta AIRA; Multi-Stream LLMs; OpenAI refutes Erdős unit distance conjecture (publishable math); papers on ACC, Spreadsheet-RL, Gated DeltaNet.