| Mobile Web

Search results for Private AI

AI & Enterprise

Cardano founder shocked by advances in AI mathematical proofing

Cardano founder Charles Hoskinson said AI is advancing faster than expected, reaching a level where it can generate complex mathematical proofs and formally verify them. He highlighted AI-generated claims tied to the Navier-Stokes equations, a Millennium Prize problem, and said he did not anticipate AI completing proofs directly. Hoskinson warned that the provenance of AI-generated results and protection of research data need scrutiny, calling for private AI environments to safeguard sensitive information and intellectual property.

AI & Enterprise

Bae Gyeong-hun ends multiple roles, seeks to focus on core work as AI policy duties shift

Bae Gyeong-hun (배경훈), deputy prime minister and science and ICT minister, is ending a period of holding multiple AI policy roles as the presidential office and the National AI Strategy Committee fill key posts. The reshuffle is expected to clarify role-sharing and could speed policy decisions if coordination works smoothly. With AI projects expanding and the ministry’s AI budget rising sharply next year, attention is on whether Bae can deliver execution results while also overseeing broader science and R&D agendas.

AI & Enterprise

SKT, KT and Kakao ready rollout of \'Everyone\'s AI\' with beta due this month

South Korea has launched the \"Everyone\'s AI\" project to help the public use AI services more easily in daily life. Three consortia led by SK Telecom, KT and Kakao plan to roll out beta services from late this month and move to a nationwide launch within the year. The science ministry outlined development plans and support measures. The government plans to spend about 250 billion won next year, including funds for GPU leasing, system operations and AI agent expansion.