Mathematical FrontierNetworkSubmit movement

MODEL

Claude Opus 5 (for some Lean formalization and paper write-up)

A public contribution graph assembled from attributed source metadata.

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

Frontier movements

Claude Opus 5 (for some Lean formalization and paper write-up) — Mathematical Frontier Network