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.
Read MoreAligning language models to follow instructions
We’ve trained language models that are much better at following user intentions than GPT-3 while also making them more truthful and less toxic, using techniques developed through our alignment research. These InstructGPT models, which are trained with humans in the loop, are now deployed as the default language models on our API.
Read More
How Accountability Practices Are Pursued by AI Engineers in the Federal Government
By John P. Desmond, AI Trends Editor Two experiences of how AI developers within the federal government are pursuing AI accountability practices were outlined at the AI World Government event held virtually and in-person this week in Alexandria, Va. Taka Ariga, chief data scientist and director at the US Government Accountability Office, described an AI accountability framework he uses within his agency […]
Read More
Five Modernization Trends Impacting the Future of Digital Integration Architecture
Integration architecture has evolved over the years. The first generation was characterized by tools and architectures that lasted from the 1990s to the early 2000s. A service-oriented architecture/enterprise service bus defined the second generation. Now, simplified API-enabled applications, the need to connect data and systems in a multi-cloud environment, and the application of AI to…
Read More
The Digital Adoption Platform: Enabling Sustainable Change During Digital Transformation
In the quest to stay competitive, more and more companies are pursuing ambitious digital transformations that promise to deliver automation, efficiency, and scalability — and that will change the way they operate. But it’s crucial to realize that technology by itself won’t deliver the anticipated benefits. People are at the core of the success or…
Read More
Adopt AI, Accelerate Digital: Transforming Finance for the Future
During the past century, finance has grown in sophistication, precision, and importance – however, the operating model of the finance function has changed surprisingly little. Now is the time for finance, like many enterprise functions, to adopt a more agile mindset focused on decision-support, growth, and profitability. By leveraging today’s technologies such as artificial intelligence,…
Read More
A New Route to Customers for Consumer Goods Brands
For decades, consumer goods companies had a set path to their customers through physical stores. They recognized the importance of direct-to-consumer channels but did not perceive those channels as a necessity. The pandemic shifted this mindset. The accelerated speed of change in customer behavior happened virtually overnight. With no access to stores, and with concerns…
Read More
Building Profitable Digital Platforms with a DVR Framework
One key challenge organizations face is getting the most from digital sales and marketing platforms. During the past few years, many organizations have invested in digital platforms focused on B2C/B2B customers, partners, and dealers. These include marketing, content and experience, and ecommerce platforms. But how do companies measure the value these platforms are creating,…
Read More
English