뉴스 > 경제

삼성전자 노사, 경영진과 입장차 좁혔다… 향후 협상 전망은? (+삼성전자, 노사협상, 노동조합, 한국경제)

호수뉴스 김별 기자

🚨 신고

/ 사진 = 호수뉴스

SOURCE URL ORIG_TITLE 발행일 차트 보기

(서울=호수뉴스) 룩온체인에 따르면, 5월 19일 시장 소식통은 한국 삼성의 노동조합이 회사 경영진과 일부 이견을 좁혔다고 전했다. 이로 인해 회사와 노동조합 사이의 갈등이 일부 완화될 것으로 보인다.

그뿐만 아니라, 이더리움 공동 창업자인 비탈릭 부테린은 AI와 결합된 형식 검증 기술이 소프트웨어 개발의 핵심이 될 것이라고 언급했다. 그는 또한 AI 기반 위협으로부터 네트워크 보안을 강화하는 중요한 수단이 될 것이라고 덧붙였다.

삼성 노동조합, 경영진과 이견 좁혀…향후 변화는?

5월 19일 시장 소식통은 한국 삼성의 노동조합이 회사 경영진과 일부 이견을 좁혔다고 전했다. 이러한 소식은 양측의 긴장 완화에 대한 기대감을 높이고 있다. 다만, 이번 합의가 구체적으로 어떤 변화를 가져올지는 아직 지켜봐야 할 부분이다.

한편, 암호화폐 공포·탐욕 지수는 25를 기록하며 다시 '극심한 공포' 구간에 진입했다. 이는 시장 참여자들의 심리가 위축되었음을 보여주는 지표다. 그러나 이러한 상황은 때때로 새로운 기회를 탐색하는 계기가 되기도 한다.

또한, 메타는 전체 인력의 10%를 감축하고 7,000명의 직원을 AI 프로젝트로 재배치하는 구조조정 계획을 발표했다. 이는 회사의 AI 역량 강화에 집중하려는 움직임으로 풀이된다. 게다가, 이더리움 재단에서는 주요 연구원들의 연이은 퇴사가 이어지고 있어 주목받고 있다.

비탈릭 부테린, AI와 형식 검증의 중요성 강조…이더리움 미래는?

5월 19일 이더리움 공동 창업자인 비탈릭 부테린은 형식 검증 기술의 현황과 미래에 대해 깊이 있는 논의를 했다. 그는 AI와 형식 검증을 결합하면 소프트웨어 개발의 궁극적인 형태가 될 것이라고 주장했다. 그러면서도 AI 기반의 강력한 위협으로부터 네트워크 보안을 보호하는 중요한 방법이 될 것이라고 덧붙였다.

그는 형식 검증의 핵심이 코드의 정확성을 컴퓨터가 자동으로 확인할 수 있는 수학적 증명으로 바꾸는 것이라고 설명했다. 그러므로 이는 일반적인 테스트나 수동 감사보다는 수학적 증명을 통해 소프트웨어 보안을 보장한다. 또한, 양자 내성 서명, STARK 증명 시스템, BFT 합의 알고리즘, ZK-EVM과 같이 목표가 구축 방식보다 훨씬 단순한 경우에 특히 효과적이라고 언급했다.

하지만 비탈릭은 형식 검증이 모든 문제를 해결하는 것은 아니라고 인정했다. 일반적인 문제점에는 코드의 일부만 검증하는 것이 포함된다. 아울러, 이러한 기술은 이더리움의 다음 단계 업그레이드를 위한 핵심 기술 요소들이라고 덧붙였다.