← heapsort-ai

mathematics

25 items

NEWS↑ trendingReddit r/MachineLearning·vor 20T

OpenAI claims a general-purpose reasoning model found a counterexample to Erdos's unit-distance bound [D]

OpenAI gab heute bekannt, dass eines seiner Allzweck-Argumentationsmodelle eine Konstruktion gefunden hat, die eine vermutete Obergrenze im Erdős'schen Problem der planaren Einheitsdistanz widerlegt. Dies stellt eine bedeutende Entwicklung in der Fähigkeit der KI zum fortgeschrittenen mathematischen Denken und zur Problemlösung dar.

42
RESEARCHarXiv CS.AI·vor 7T

Universal Quantum Transformer

Der Universal Quantum Transformer (UQT) ist eine neuartige, quanten-native Computerarchitektur, die entwickelt wurde, um die Schwierigkeiten klassischer neuronaler Netzwerke bei exakten mathematischen Symmetrien zu überwinden. Er nutzt die physikalischen Eigenschaften von Multi-Qubit-Systemen für präzises mathematisches und algebraisches Denken und demonstriert perfektes Lernen der zyklischen modularen Arithmetik auf einem kompakten 5-Qubit-Substrat.

29
RESEARCHDEV.to AI·4/25/2026

Self-Reference Cluster: A Lean 4 Common-Encoding Attempt for Lob's Theorem, Reflective Programming, and Acausal Decision Theory (Paper 135)

Dieses Forschungspapier versucht eine gemeinsame Kodierung in Lean 4 für den Satz von Lob, reflektierende Programmierung und akasale Entscheidungstheorie. Es ist ein Papier zur Entdeckung skelettaler Kodierungen, das eine META-DB-Beobachtung untersucht und keine Beweisführung oder Problemlösung darstellt.

27
RESEARCHDEV.to AI·vor 19T

Paper 154 v0.0 (OUTLINE) — Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics

Dies ist ein v0.0-Entwurf des Papiers 'Rei as a Formal-Verification Compilation Pass for AI-Generated Mathematics', das Reis Vorschlag als formale Verifikations-Kompilationsphase für KI-generierte Hypothesen erläutert. Die aktuelle Validierung befindet sich im Gerüst-Level-Smoke-Run-Stadium, wobei eine vollständige Demonstration für die v0.1-Promotion noch aussteht.

27
DOCHugging Face (YouTube)·vor 7T

What Are Tensors?

Dieser Inhalt erklärt, was Tensoren sind, eine grundlegende Datenstruktur, die in der linearen Algebra und künstlichen Intelligenz verwendet wird. Er beschreibt ihre Bedeutung und Anwendung in Machine-Learning-Modellen.

What Are Tensors?
27
RESEARCHarXiv CS.LG·5/5/2026

Polynomial-Time Optimal Group Selection via the Double-Commutator Eigenvalue Problem

Diese Arbeit stellt einen Polynomzeit-Algorithmus zur optimalen Gruppenauswahl im algebraischen Diversitätsrahmen vor, der das kombinatorische Problem auf ein verallgemeinertes Eigenwertproblem reduziert. Die Methode ermöglicht die direkte Konstruktion des optimalen Gruppengenerators aus dem minimalen Eigenvektor der Doppelkommutatormatrix.

27
RESEARCHarXiv CS.LG·vor 21T

Mirror Descent-Type Algorithms for the Variational Inequality Problem with Functional Constraints

Dieses Papier befasst sich mit eingeschränkten Variationsungleichheitsproblemen mit funktionalen Einschränkungen und schlägt Mirror-Descent-ähnliche Algorithmen vor. Diese Algorithmen werden auf ihre optimale Konvergenzrate für Probleme mit beschränkten und monotonen Operatoren sowie Lipschitz-konvexen funktionalen Einschränkungen analysiert.

27
ARTICLEDEV.to AI·4/8/2026

# I Spent Weeks Designing Two Interface Systems That Don't Exist Yet — Here's the Full Technical Breakdown (with working HTML demo)

O conteúdo explora a próxima evolução na interação humano-computador, sugerindo a substituição de objetos por padrões como primitivos fundamentais em interfaces inteligentes. Apresenta uma análise técnica completa de dois novos sistemas, o MFI e o GDI, e inclui uma demonstração HTML funcional.

27