Emerging Capabilities of LLMs

Solving olympiad geometry without human demonstrations

This study introduces AlphaGeometry, a neuro-symbolic system for solving complex Euclidean geometry theorems at the olympiad level without human-provided proofs. Using a neural model trained on synthesized theorem-proving data, AlphaGeometry guides symbolic deduction to solve 25 of 30 recent olympiad problems, surpassing previous methods. Notably, it generates human-readable proofs, solves historical IMO problems, and generalizes

Solving olympiad geometry without human demonstrations Read More »

Can large language models provide useful feedback on research papers? A large-scale empirical analysis

This study assesses GPT-4’s effectiveness in providing scientific feedback on research papers. Comparing GPT-4 feedback with human peer reviewers across over 4,800 papers, researchers found comparable overlap between GPT-4 and human reviews, especially for lower-quality submissions. In a user study of 308 researchers, 57.4% rated GPT-4 feedback as helpful, and 82.4% found it more beneficial

Can large language models provide useful feedback on research papers? A large-scale empirical analysis Read More »

Using Large Language Models for Idea Generation in Innovation

This study evaluates large language models (LLMs) for generating new product ideas targeting college students. Comparing human-generated ideas with those produced by GPT-4 (zero-shot and few-shot prompts), results show AI-generated ideas have higher purchase intent but lower novelty and diversity. Few-shot prompting slightly outperforms zero-shot, and AI-generated ideas are seven times more likely to rank

Using Large Language Models for Idea Generation in Innovation Read More »