Goblin
News
AI news by
promptgoblins.ai
|
News
About
News
About
Filtered by:
automated-theorem-proving
Clear
Titles
Summaries
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
2 Weeks Ago
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
Last Month
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
Filters
Signal
Title
Category
Sources
Posted
Discuss
