11h ago

Researcher Asks If LLMs Will Spike Negative Math Conjecture Resolutions

——0——
Original post
OPGeoffrey Irving#347Geoffrey Irving@GEOFFREYIRVING

Someone should do a plot over time about the number of conjectures that resolve positively vs. negatively. Will the LLMs cause negatively to spike, since it's easier for AIs to find counterexamples by shallow integration of multiple subfields than it is to invent new theories?

12:55 AM · May 28, 2026 View on X
REPLYGeoffrey Irving#347Geoffrey Irving@GEOFFREYIRVING

@allTheYud Do you think the LLMs will cause negativity to spike?

Geoffrey IrvingGeoffrey Irving@geoffreyirving

Someone should do a plot over time about the number of conjectures that resolve positively vs. negatively. Will the LLMs cause negatively to spike, since it's easier for AIs to find counterexamples by shallow integration of multiple subfields than it is to invent new theories?

7:55 AM · May 28, 2026 · 4.5K Views
8:15 AM · May 28, 2026 · 627 Views