OpenAI

AWS began offering a preview of Amazon Bedrock, a managed agent service leveraging OpenAI technology, in the United States.

OpenAI has equipped ChatGPT with the new GPT-6 model and is offering the Intelligent UI feature, which generates interactive interfaces, to all users.

• •Intelligent UI was introduced, generating answers that include images, interactive buttons, and forms in addition to text.
• •A new feature was added that outputs answers while thinking.
• •The feature will roll out to paid plans first, expanding to free and Go plans the following day.

OpenAIがChatGPTに新しい「Intelligent UI」機能を導入し、テキストだけでなく図表やインタラクティブなボタンを組み合わせた視覚的な回答が可能になった

• •OpenAIがChatGPTに新しい「Intelligent UI」機能をリリースした
• •この更新はGPT-6の展開に合わせて全ユーザー向けに行われている
• •テキスト回答に加えて、図表、チャート、フォーム、タップ可能なボタンなどのインタラクティブな視覚要素を組み合わせることが可能になった

OpenAIがChatGPTにインタラクティブなビジュアル機能をもたらす新しいユーザーインターフェースをリリースした

• •OpenAIがChatGPTの新しいユーザーインターフェースのローンチを発表した
• •新インターフェースにより、ChatGPTにインタラクティブなビジュアル機能が導入される
• •ユーザー体験を視覚的に強化するためのUI刷新が実施された

OpenAI added a College Planner feature to its teen mode, allowing users to centrally manage university application requirements and deadlines.

• •A new tool supporting the university application process was added to the teen mode introduced in August.
• •College Planner consolidates application requirements, deadlines, tasks, and scholarship procedures for listed schools into a single plan.
• •It is designed to help students applying to multiple universities proceed efficiently.

A process for automatically converting AI-generated mathematical text into formal languages for verification may lack reliability in proving Navier-Stokes blow-up.

• •Automatic formalization is used to verify AI-generated mathematical texts, such as the Navier-Stokes blow-up proof announced by OpenAI.
• •In this process, AI systems translate from natural language into formal languages like Lean to enable mechanical verification.
• •The article argues that this translation process does not provide sufficient reliability for mathematical proofs.

Non-profit Common Sense Media, focused on youth safety, rated OpenAI's ChatGPT for Teens as posing an "unacceptable risk."

• •Common Sense Media is a non-profit organization focused on youth safety through reviews of apps, services, and entertainment.
• •OpenAI launched ChatGPT for Teens in August, designed for teens with learning support and guardrail features.
• •Common Sense Media points out that the service poses an "unacceptable risk" to young people.

OpenAI's large language model, GPT-6.1 Sol, is now officially available on the Amazon Bedrock cloud platform.

OpenAI revealed that it has published 722 mathematical results generated by its frontier models on GitHub, many of which include formal proofs using the Lean proof assistant.

• •722 mathematical results generated by internal frontier models have been published on GitHub.
• •Many of the results include formal proofs using the Lean proof assistant.
• •Referencing recommendations from the independent organization AGMAI, summaries of computational complexity and reasoning processes are also disclosed.

News that OpenAI has released 722 manuscripts related to mathematics.