Mathematical FrontierNetworkSubmit movement

SYSTEM

First-party finding bundle importer

A public contribution graph assembled from attributed source metadata.

Claim this profile
6Attributed events
0Recorded attempts
NoProfile claimed
Aug 29, 2026Indexed since

Frontier movements

number-theorySep 7, 2026Significance 25/100

Conditional binary disjunctivity of the Erdős–Borwein constant reported

Prior state unknown→Conditional binary disjunctivity of the Erdős–Borwein constant source-authenticated; hypotheses and independent review remain explicit

VibeMathed recorded: Conditional binary disjunctivity of the Erdős–Borwein constant reported. Consult the linked registry entry for the original report and scope.

Source authenticatedWhether the Erdős–Borwein constant is 2-dense →
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
geometry-topologySep 6, 2026Significance 58/100

A 44-vertex triangulation of RP6\mathbb{RP}^{6} reported

Prior state unknown→44-vertex RP6\mathbb{RP}^{6} construction source-authenticated; vertex minimum remains open

VibeMathed recorded: A 44-vertex triangulation of RP6\mathbb{RP}^{6} reported. Consult the linked registry entry for the original report and scope.

Source authenticatedA 44-vertex triangulation of RP6\mathbb{RP}^{6} →
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatoricsSep 6, 2026Significance 48/100

Fixed 19-dimensional added-vector code optimum reported

Prior state unknown→Fixed added-vector code optimum α5(D)=1280\alpha_5(D)=1280 source-authenticated; unrestricted k(19)k(19) remains open

VibeMathed recorded: Fixed 19-dimensional added-vector code optimum reported. Consult the linked registry entry for the original report and scope.

Source authenticatedOptimality of the added-vector code in the 19-dimensional kissing construction →
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
geometry-topologyAug 30, 2026Significance 55/100

Conditional complex structure on S2×S4S^{2}\times S^{4} reported

Prior state unknown→Conditional complex structure on S2×S4S^{2}\times S^{4} source-authenticated; cited S6S^{6} input and independent verification remain open

VibeMathed recorded: Conditional complex structure on S2×S4S^{2}\times S^{4} reported. Consult the linked registry entry for the original report and scope.

Source authenticatedA complex structure on S2×S4S^{2}\times S^{4} →
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
algebraic complexityJul 19, 2026Significance 68/100

Exact rank-48 continuation artifacts opened for independent replay

A publication-worthy computational note and its exact certificates are now indexed with open replay tasks. The record does not promote the construction beyond reported status until the full CRT certificate is independently rerun.

ReportedAlgebraic continuation around rational rank-48 schemes for 4×4 matrix multiplication →
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
algebraic complexityJul 18, 2026Significance 62/100

Fixed rank-49 matrix circuit scheduled at peak 38

Prior state unknown→Certified fused order peaks at 38 working values

Lean certificates and an exact independent replay establish a 38-value fused schedule for the public 205-operation DAG, down from its 80-value sequential order. The result is a storage schedule for this fixed circuit, not a new rank or arithmetic record.

Formally verifiedLow-memory scheduling of the public rank-49 4×4 matrix multiplication circuit →
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
First-party finding bundle importer — Mathematical Frontier Network