AI

AI

New GPT-3 capabilities: Edit & insert

OpenAI has updated its GPT-3 language model to include editing and inserting capabilities. This means the model can now modify existing text instead o...

Mar 15 🗳️ 0 💬 0
AI

Economic impacts research at OpenAI

OpenAI is seeking researchers to study the economic effects of its large language models. The goal is to understand how these models impact various in...

Mar 03 🗳️ 0 💬 0
AI

Solving (some) formal math olympiad problems

Researchers have developed a neural theorem prover that can solve certain formal math problems. The system uses Lean, a proof assistant language, and ...

Feb 02 🗳️ 0 💬 0