Goblin
News
AI news by
promptgoblins.ai
|
News
About
News
About
Filtered by:
automated-theorem-proving
Clear
Titles
Summaries
April
8
Amateur Solves 60-Year-Old Math Problem Using a Single ChatGPT Prompt
Research
1
Apr 27
8
Amateur Solves 60-Year-Old Math Problem Using a Single ChatGPT Prompt
Research
· 1 src · Apr 27
Discuss
8
AI Models Break Into Research Mathematics, Solving Novel Problems and Accelerating Discovery
Research
1
Apr 13
8
AI Models Break Into Research Mathematics, Solving Novel Problems and Accelerating Discovery
Top
Research
· 1 src · Apr 13
Discuss
March
8
HorizonMath: New Benchmark Tests AI on Unsolved Math Problems
Research
1
Mar 30
8
HorizonMath: New Benchmark Tests AI on Unsolved Math Problems
Research
· 1 src · Mar 30
Discuss
6
Aristotle Agent Brings Machine-Checkable Proof Verification to Mathematics
Products
1
Mar 19
6
Aristotle Agent Brings Machine-Checkable Proof Verification to Mathematics
Products
· 1 src · Mar 19
Discuss
7
Mistral Releases Leanstral: Open-Source Lean 4 Agent for Formal Verification
Open Source
1
Mar 17
7
Mistral Releases Leanstral: Open-Source Lean 4 Agent for Formal Verification
Open Source
· 1 src · Mar 17
Discuss
Last Month
8
Claude Mythos Solves 1946 Erdős Conjecture With Simple Proof
Research
1
May 27
8
Claude Mythos Solves 1946 Erdős Conjecture With Simple Proof
Top
Research
· 1 src · May 27
Discuss
8
AlphaProof Nexus Cracks Decades-Old Math Problems for Hundreds of Dollars
Research
1
May 26
8
AlphaProof Nexus Cracks Decades-Old Math Problems for Hundreds of Dollars
Research
· 1 src · May 26
Discuss
9
OpenAI Model Produces Verified Disproof of 80-Year-Old Erdős Geometry Conjecture
Updated
Research
5
Jun 1
9
OpenAI Model Produces Verified Disproof of 80-Year-Old Erdős Geometry Conjecture
Top
Research
· 5 srcs · Jun 1
Discuss
Filters
Signal
Title
Category
Sources
Posted
Discuss
