AI creates new mathematical knowledge

openai produced a novel solution to the unit distance problem, representing a major milestone in ai's capability to perform formal mathematical reasoning and create new knowledge. anthropic bolstered its research capabilities by hiring andrej karpathy to work on recursive self-improvement, aiming to automate the process of making ai systems smarter. on the regulatory front, the white house released an executive order on ai safety, while the legal landscape shifted as a judge dismissed elon musk's lawsuit against openai for being filed too late. additionally, metr released a risk report concluding that current frontier models lack the means and motive to cause catastrophic harm but warned that this safety buffer may not last indefinitely.