Solving (some) formal math olympiad problems
We built a neural theorem prover for Lean that learned to solve a variety of challenging high-school olympiad problems, including problems from the AMC12 and AIME competitions, as well as two problems adapted from the IMO. Source link
Rupee rises 16 paise to 95.03 against US dollar during early trade | Finance News
The rupee appreciated 16 paise to 95.03 against US dollar in early trade on Tuesday, as the market weighed India’s strong domestic fundamentals against ongoing geopolitical uncertainty. Forex traders said the USD/INR pair opened on a positive note this morning on a slight risk off sentiment. However, the uncertainty surrounding West Asia continues […]
Grand Theft Auto V cheat service gets hacked, exposing thousands of gamers
Atlas Menu, a cheat service for popular online video game Grand Theft Auto V, has been hacked, according to data breach notification website Have I Been Pwned. The stolen data included users’ email addresses, usernames, scrambled passwords, IP addresses, and support tickets, according to Have I Been Pwned, which said almost 64,000 accounts were part […]
A research agenda for assessing the economic impacts of code generation models
A research agenda for assessing the economic impacts of code generation models Source link
Economic impacts research at OpenAI
Call for expressions of interest to study the economic impacts of large language models. Source link
A new app, The Mall, is building a universal feed for online shopping
The mall is making a comeback. As younger people return to American shopping malls in greater numbers, a startup called “The Mall” is bringing the concept online with an app that lets users create a personalized virtual mall from their favorite brands and track sales in one place. The idea itself is simple, if not […]
Nifty below 23,400 level; media shares in demand | Capital Market News
The key equity benchmarks traded with minor cuts in morning trade. Nifty traded below the 23,400 level. Media shares extended losses for the third consecutive trading session. At 10:30 IST, the barometer index, the S&P BSE Sensex, declined 46.18 points or 0.02% to 74,255.24. The Nifty 50 index fell 30.50 points or 0.13% to 23,354. […]
Water access is now a risk factor in SpaceX’s IPO
SpaceX has added new language to its IPO filing that warns prospective investors about the company’s access to a potentially scarce resource: water. The company, which now includes Elon Musk’s AI company, xAI, wrote in an amended version of the filing on Monday that access to water — required to cool its data centers — […]
Lessons learned on language model safety and misuse
We describe our latest thinking in the hope of helping other AI developers address safety and misuse of deployed models. Source link
Hackers hijacked Instagram accounts by tricking Meta AI support chatbot into granting access
Instagram has resolved a security issue that allowed several users’ accounts to get hacked. The attack appeared to rely on tricking Meta’s own AI-powered support chatbot into granting access to a victim’s account. Over the weekend, several users on Reddit claimed that their Instagram accounts had been compromised, and a number of users on X […]