Tag: proof generation
-
Slashdot: Mathematicians Find GPT-5 Makes Critical Errors in Original Proof Generation
Source URL: https://science.slashdot.org/story/25/09/08/165206/mathematicians-find-gpt-5-makes-critical-errors-in-original-proof-generation?utm_source=rss1.0mainlinkanon&utm_medium=feed Source: Slashdot Title: Mathematicians Find GPT-5 Makes Critical Errors in Original Proof Generation Feedly Summary: AI Summary and Description: Yes Summary: The text discusses a study by University of Luxembourg mathematicians that evaluated the capabilities of GPT-5 in extending a qualitative mathematical theorem. The findings revealed significant shortcomings of the AI, particularly…
-
Hacker News: DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data
Source URL: https://arxiv.org/abs/2405.14333 Source: Hacker News Title: DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data Feedly Summary: Comments AI Summary and Description: Yes Summary: The paper introduces DeepSeek-Prover, an innovative approach that leverages large-scale synthetic data to improve the capabilities of large language models (LLMs) in formal theorem proving. It highlights the challenges…