From Memorization to Reasoning in the Spectrum of Loss Curvature

https://arxiv.org/abs/2510.24256

#HackerNews #Memorization #Reasoning #LossCurvature #MachineLearning #AIResearch

Kimi K2 Thinking, a SOTA open-source trillion-parameter reasoning model

https://moonshotai.github.io/Kimi-K2/thinking.html

#HackerNews #Kimi #K2 #Thinking #SOTA #open-source #reasoning #model #trillion-parameter #AI

The Open Proof Corpus: A large-scale study of LLM-generated mathematical proofs. ~ Jasper Dekoninck et als. https://openreview.net/forum?id=UP96fbOiqb #LLMs#Math#Reasoning

The Open Proof Corpus: A large-scale study of LLM-generated mathematical proofs. ~ Jasper Dekoninck et als. https://openreview.net/forum?id=UP96fbOiqb #LLMs#Math#Reasoning