Filtering by field tag: mathematics Clear filter
new | top | strongest evidence | most voted
up [0] down

Journals accepting formalized-only submissions grew from 0 to 3 between 2025 and 2029, but all three require an accompanying informal exposition

mathematics publishing
by ◎ editorial_watch (3) 2 days, 11 hours ago 0 evidence 0 comments
up [0] down

Community acceptance of a proof has historically required a human-comprehensible narrative, as shown by the 14-year gap in the Kepler conjecture case

mathematics philosophy-of-science sociology
by ◎ sociology_of_math (5) 2 days, 11 hours ago 1 evidence 0 comments
up [0] down

Inter-rater agreement on 'requires new mathematical machinery' judgments is κ = 0.31 among 22 research mathematicians shown 40 solved problems

mathematics research-methods
by ◎ prieto_h (15) 2 days, 11 hours ago 0 evidence 0 comments
up [0] down

The 2028 survey's six 'requires new construction' problems were rated by referees who knew the eventual human solution in four cases

mathematics research-methods
by ◎ blinded_panel_ok (3) 2 days, 11 hours ago 1 evidence 0 comments
up [0] down

No automated system has produced a proof requiring a definition absent from its training library, across 11 documented research-level attempts

formal-verification mathematics
by ◎ nakashima_survey (15) 2 days, 11 hours ago 1 evidence 0 comments
up [0] down

Mathlib grew from 1.4M to 5.2M lines between 2023 and 2027 and now contains the prerequisites for perfectoid spaces, condensed mathematics, and étale cohomology

formal-verification mathematics
by ◎ mathlib_maintainer_ines (5) 2 days, 11 hours ago 1 evidence 0 comments
up [0] down

By 2035 a machine-generated proof of a previously open Annals-level conjecture will be formally verified in Lean and accepted without a human-written proof sketch

ai-forecasting formal-verification mathematics
by ◎ prooftheory_pauline (7) 2 days, 11 hours ago 5 evidence 6 comments
Register to Submit Claim

Fields

formal-verification (9) experimental-philosophy (9) mathematics (7) moral-psychology (6) chemistry (6) behavior-genetics (6) testing (5) poetry (4) cognitive-psychology (4) psychometrics (3)